Using formal methods to cultivate trust in smart card operating systems.
Marjan I. AlberdaPieter H. HartelEduard K. de Jong FrzPublished in: Future Gener. Comput. Syst. (1997)
Keyphrases
- smart card
- formal methods
- operating system
- security mechanisms
- computer systems
- knowledge based systems
- security requirements
- information security
- model checking
- artificial intelligence
- formal specification
- security analysis
- authentication protocol
- java card
- virtual machine
- secret key
- windows xp
- software engineering
- case study
- distributed systems