Implementing a High-Assurance Smart-Card OS.
Paul A. KargerDavid C. TollElaine R. PalmerSuzanne McIntoshSamuel WeberJonathan W. EdwardsPublished in: Financial Cryptography (2010)
Keyphrases
- smart card
- high assurance
- operating system
- information security
- java card
- security requirements
- computer systems
- security analysis
- secret key
- secure communication
- authentication scheme
- security mechanisms
- digital signature
- virtual machine
- fault tolerant
- access control
- distributed systems
- open source
- software systems
- remote user authentication scheme
- information systems
- fingerprint authentication
- security enforcement
- efficient implementation
- authentication protocol
- efficient computation
- similarity search
- anomaly detection
- object oriented
- query processing
- case study