http://www.netqi.org Brings foresight to your world Sun, 26 Oct 2008 22:40:21 +0000 http://backend.userland.com/rss092 en Paper accepted at the 4th International Conferences on Information Security and Cryptology (INSCRYPT 2008). Beijing China. Abstract The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with the network. As attack graph based on model checking, ... http://www.netqi.org/publication/ The paper has been accepted to  the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08). Held at Seoul, Korea in October 2008 Abstract NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game ... http://www.netqi.org/publication/ Paper accepted at FAST'08, Malaga, Spain, Abstract Over the last few years, attack graphs have became a well recognized tool to analyze and model complex network attack. The most advanced evolution of attack graphs, called anticipation games, is based on game theory. However even if anticipation ... http://www.netqi.org/publication/ Elie Bursztein gave a talk about NetQI and how it can be use by network administrators to improve their security at the 1st Canada-France MITACS Workshop on Foundations & Practice of Security Montréal, Québéc May 31 - June 2, 2008. A quick demo of the new GUI, was also presented ... http://www.netqi.org/presentation/ We are please to release NetQi v1.1. This version mainly offers significant speed and memory usage improvements. This release also include the new version of the GUI (v0.8), that improves the ergonomy. Please note that the GUI realase is an early release and that the GUI is still under heavy developpement. As ... http://www.netqi.org/release/ After an extensive testing periode, we are proud to announce that NetQi version 1.0 is finally available.  This version have been tested against large examples and is considered as stable. For installation or upgrade, please read the documentation. If you found a bug or still have problem with NetQi , you ... http://www.netqi.org/release/ Accepted paper at ASIAN 2007 at Carnegie Mellon University in Qatar. Abstract We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faults. Our model uses a two-layered presentation of dependencies between files and services, and ... http://www.netqi.org/publication/