Balanced self-checking asynchronous logic for smart card applications.
Simon W. MooreRoss J. AndersonRobert D. MullinsGeorge S. TaylorJacques J. A. FournierPublished in: Microprocess. Microsystems (2003)
Keyphrases
- smart card
- asynchronous circuits
- delay insensitive
- java card
- fingerprint authentication
- security analysis
- information security
- security requirements
- security mechanisms
- digital signature
- authentication scheme
- remote user authentication scheme
- security enforcement
- power analysis
- modal logic
- secure communication
- logic programming
- verification method
- authentication protocol
- differential power analysis
- intrusion detection