Verification of Cryptographic Protocols Implemented in JavaCard
Renaud Marlet, Daniel Le Métayer · 2003
Cryptographic protocols are used to ensure secure communications in a hostile environment, when the decisions taken by the principals depend crucially on the authenticity and integrity of messages that they receive. Typically, when a message is received, a principal wants to be sure that this message has been created recently and in good faith for a particular purpose by the principal who claims to have