Sign in
Attack model for verification of interval security properties for smart card C codes.
Pascal Berthomé
Karine Heydemann
Xavier Kauffmann-Tourkestansky
Jean-François Lalande
Published in:
PLAS (2010)
Keyphrases
</>
smart card
formal model
security properties
e government
end to end