Quantitative Verification and Synthesis of Attack-Defence Scenarios.

Zaruhi Aslanyan Flemming Nielson David Parker

Published in: CSF (2016)

Keyphrases

attack scenarios
real world
qualitative and quantitative
data sets
model checking
countermeasures
agent oriented
application scenarios
face verification
texture synthesis
real time
network analysis
dos attacks
program synthesis
functional programs
intrusion detection system
functional verification