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)