formal methods
NetQi A Model checker for Anticipation Game
By Elie Bursztein @ATVA 2008
0 reaction(s) | 545 downloads
NetQi is a free and open-source model-checker that implements
the anticipation game logic framework, a variant of timed game. NetQi was designed to analyze
all kind of network evolutions. In particular it is well suited to analyze network attacks
and intrusions.
Downloads
You might also like reading
Formal methods 2008
Extending Anticipation Games with Location Penalty and Timeline
Formal methods 2007
NetQi
Video game 2011
OpenConflict Preventing Real Time Map Hacks in Online Games
Formal methods 2007
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks
Network security 2009
Using Strategy Objectives for Network Security Analysis
Comments
Thanks for downloading!
You may want to share it with your friends
You might also like reading
Formal methods 2008
Extending Anticipation Games with Location Penalty and Timeline
Formal methods 2007
NetQi
Video game 2011
OpenConflict Preventing Real Time Map Hacks in Online Games
Formal methods 2007
A Logical Framework for Evaluating Network Resilience Against Faults and...