network security
Using Strategy Objectives for Network Security Analysis
By Elie Bursztein, John C. Mitchell @Inscrypt 2009
0 reaction(s) | 647 downloads
We introduce the notion of "strategy objectives" that mixes logical constraints
and numerical one. Using strategy objectives allows to perform a new
range of analysis,
such as evaluate what is the least costly defense,
that traditional attacks graphs system are unable to perform.
Strategy objectives are implemented in NetQi.
Downloads
You might also like reading
Formal methods 2007
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks
Formal methods 2008
NetQi A Model checker for Anticipation Game
Formal methods 2008
Extending Anticipation Games with Location Penalty and Timeline
Captcha 2010
How Good are Humans at Solving CAPTCHAs A Large Scale Evaluation
Blog 2011
Analyzing web application performance
Comments
Thanks for downloading!
You may want to share it with your friends
You might also like reading
Formal methods 2007
A Logical Framework for Evaluating Network Resilience Against Faults and...
Formal methods 2008
NetQi A Model checker for Anticipation Game
Formal methods 2008
Extending Anticipation Games with Location Penalty and Timeline
Captcha 2010
How Good are Humans at Solving CAPTCHAs A Large Scale Evaluation