Sign in
Julien Lamboley
Publication Activity (10 Years)
Years Active: 2008-2008
Publications (10 Years): 0
</>
Publications
</>
Frédéric Dadeau
,
Julien Lamboley
,
Thierry Moutet
,
Marie-Laure Potet
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.
ABZ
(2008)