A B Formal Framework for Security Developments in the Domain of Smart Card Applications.

Frédéric Dadeau Marie-Laure Potet Régis Tissot

Published in: SEC (2008)

Keyphrases

smart card
security requirements
java card
security analysis
information security
authentication scheme
security mechanisms
authentication protocol
secure communication
access control
lightweight
cost effective
software architecture