formal methods
Extending Anticipation Games with Location Penalty and Timeline
By Elie Bursztein @FAST 2008
0 reaction(s) | 532 downloads
We present a three-fold extension to the anticipation-game framework designed to model network cooperation, the cost of attacks based on its duration and the introduction of new vector of attacks over time.
Downloads
You might also like reading
Formal methods 2008
NetQi A Model checker for Anticipation Game
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 2007
Time has something to tell us about network address translation
Blog 2010
45% of the popular websites use a javascript framework
Comments
Thanks for downloading!
You may want to share it with your friends
You might also like reading
Formal methods 2008
NetQi A Model checker for Anticipation Game
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...
Network security 2007
Time has something to tell us about network address translation