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 at the end of the talk.
Recent News
- Publication: Using Strategy Objectives for Network Security Analysis
- Publication: NetQi: A Model checker for Anticipation Game
- Publication: Extending Anticipation Games with Location, Penalty and Timeline.
- Presentation: NetQi presented at MITACS
- Code release: version 1.1
- Code release: version 1.0
- Publication: A Logical Framework for Evaluating Network Resilience Against Faults and Attacks



