Team Comète

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Other Grants and Activities

Actions nationales

Project ACI Securité ROSSIGNOL

Participants : Kostas Chatzikokolakis, Catuscia Palamidessi.

The project ROSSIGNOL has started in 2003 and ended in 2006 and included the following participants:

ROSSIGNOL focuses on the foundations of Security Protocols. The goal of this project is the development of abstract models, simple enough to be used for the definition of a comprehensible semantics for the language of security properties. In particular, the project focuses on probabilistic models.


Participants : Romain Beauxis, Kostas Chatzikokolakis, Catuscia Palamidessi, Carlos Olarte.

The project PRONOBIS has started in 2006 and includes the following participants:

The goal of the ProNobis project is to explore mixing probability and non-determinism in the semantics of transition systems, and also of programming languages. We plan to keep on eye on applications to typical computer related problems, in particular to problems stemming from security. Several interesting verification problems related to security involve proving that two processes are contextually equivalent. This usally uses notions such as bisimulation, which need to be better understood in a setting where probabilities, external non-determinism (choosing which action to fire in Markov decision processes), and internal non-determinism (where no visible action distinguishes between the various alternatives).


Logo Inria