Sciweavers

ATVA
2008
Springer
86views Hardware» more  ATVA 2008»
14 years 1 months ago
NetQi: A Model Checker for Anticipation Game
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 framework, a va...
Elie Bursztein