Formal methods research

Sort by:

Articles, softwares and blog posts related to formal methods

network security

Using Strategy Objectives for Network Security Analysis

We introduce the notion of "strategy objectives" that mixes logical constraints and numerical one. Using strategy objectives allows to perform a new range of analysis, such as evaluate what is the least costly defense, that traditional attacks graphs system are unable to perform. Strategy objectives are implemented in NetQi.

network security
formal methods

NetQi A Model checker for Anticipation Game

NetQi is a free and open-source model-checker that implements the anticipation game logic framework, a variant of timed game. NetQi was designed to analyze all kind of network evolutions. In particular it is well suited to analyze network attacks and intrusions.

formal methods
network security

Extending Anticipation Games with Location Penalty and Timeline

We present a three-fold extension to the anticipation-game framework designed to model network cooperation, the cost of attacks based on its duration and the introduction of new vector of attacks over time.

formal methods
network security

A Logical Framework for Evaluating Network Resilience Against Faults and Attacks

The anticipation-games are a logic-based framework designed to evaluate the resilience of networks against attacks. What set anticipation-games from standard attack graphs is that it allows to model the dynamic nature of the attack and to take into account how the administrator respond to attacks .

formal methods
network security

Netqi is a model checker for the anticipation game framework.

formal methods
network security

About me

Researcher at Google, specializing in Internet security and privacy.

Latest blog posts

Blog posts loading requires that you enable javascript.

Main menu

© Elie Bursztein 1999 - 2013

Publications

Contact

Elie Bursztein
Researcher at Google
about me

© Elie Bursztein 1999 - 2013

Search

Social Networks

© Elie Bursztein 1999 - 2013