Cyber Resilience-by-Construction: Modeling, Measuring & Verifying.

Yasir Imtiaz Khan Ehab Al-Shaer Usman Rauf

Published in: SafeConfig@CCS (2015)

Keyphrases

real time
multimedia
web services
high level
image sequences
probabilistic model
model checking
modeling framework