theme image
Netqi a model checker for anticipation gameNetqi a model checker for anticipation game
  1. publications
  2. network security

Netqi a model checker for anticipation game

Available Media

Publication (Pdf)

Slides (pdf)

Conference6th International Symposium on Automated Technology for Verification and Analysis (ATVA) - 2008
AuthorElie Bursztein
Citation

Bibtex Citation

@inproceedings{ BURSZTEIN2008NETQI,title = {Netqi a model checker for anticipation game},author = {"Elie, Bursztein"},booktitle = {6th International Symposium on Automated Technology for Verification and Analysis},year = {2008},organization = {Springer}}

NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a variant of timed game tailored for network analysis. The main purpose of NetQi is to find, given a network initial state and a set of rules, the best strategy that fulfills player objectives by model-checking the anticipation game and comparing the outcome of each play that fulfills strategy constraints. For instance, it can be used to find the best patching strategy. NetQi has been successfully used to analyze service failure due to hardware, network intrusion, worms and multiple-site intrusion defense cooperation.

Recent

newsletter signup slide

Get cutting edge research directly in your inbox.

newsletter signup slide

Get cutting edge research directly in your inbox.