Thierry Moutet

According to our database, Thierry Moutet authored at least 2 papers between 2008 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès.

Frédéric Dadeau, Abderrahmane Haddad, Thierry Moutet

Tech. Sci. Informatiques, 2009

2008

A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.

Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008