.:. Browse > List by authors > Moutet .:.

2 documents ordered by : Date Title first author name document type Submit date

Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès Dadeau F., Haddad A., Moutet T. Revue Technique et Science Informatiques (TSI) 28, 4 (2009) 533-563 [inria-00429230 - version 1]

A Verifiable Conformance Relationship between Smart Card Applets and B security Models Dadeau F., Lamboley J., Moutet T., Potet M.-L. Dans First International Conference on ASM, B and Z - ABZ'08 5238 (2008) 237-250 [inria-00329966 - version 1]