Login / Signup
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.
Denis Sabatier
Pierre Lartigue
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
smart card
similarity measure
lightweight
security analysis