Specification of a Smart Card Operating System.
Gustavo BetarteCristina CornesNora SzaszAlvaro TasistroPublished in: TYPES (1999)
Keyphrases
- operating system
- smart card
- computer systems
- information security
- java card
- authentication scheme
- secret key
- security mechanisms
- security analysis
- security requirements
- microsoft windows
- memory management
- virtual machine
- high level
- operating environment
- authentication protocol
- distributed systems
- remote user authentication scheme
- application level
- sensitive data
- database
- windows xp