NetQi: A Model Checker for Anticipation Game-Reference-Cited by-同舟云学术

NetQi: A Model Checker for Anticipation Game

Published:2008 Issue: Volume: Page:246-251
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Bursztein Elie

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-88387-6_22

Reference8 articles.

1. Lecture Notes in Computer Science;G. Behrmann,2007

2. Bursztein, E.: Netqi, http://www.netqi.org

3. Bursztein, E.: Network administrator and intruder strategies. Technical Report LSV-08-02, LSV, ENS Cachan (January 2008)

4. Bursztein, E., Goubault-Larrecq, J.: A logical framework for evaluating network resilience against faults and attacks. In: 12th annual Asian Computing Science Conference (ASIAN), December 2007, pp. 212–227. Springer, Heidelberg (2007)

5. Lecture Notes in Computer Science;L. Alfaro de,2003

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Simulation-Based Cyber-Attack Assessment of Critical Infrastructures;Lecture Notes in Business Information Processing;2014

2. Game-based Simulation of Distributed Denial of Service (DDoS) Attack and Defense Mechanisms of Critical Infrastructures;2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA);2013-03

3. A Generic Approach to Critical Infrastructure Modeling and Simulation;2012 International Conference on Cyber Security;2012-12

4. A Stochastic Model of Multivirus Dynamics;IEEE Transactions on Dependable and Secure Computing;2012-01

5. Using Strategy Objectives for Network Security Analysis;Information Security and Cryptology;2010