A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. - Frédéric Dadeau; Julien Lamboley; Thierry Moutet; Marie-Laure Potet (ABZ, 2008)

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)