Formal methods for smart cards: an experience report.
Cees-Bart BreunesseNéstor CatañoMarieke HuismanBart JacobsPublished in: Sci. Comput. Program. (2005)
Keyphrases
- formal methods
- smart card
- model checking
- formal specification
- java card
- formal analysis
- artificial intelligence
- security requirements
- knowledge based systems
- security analysis
- digital signature
- information security
- safety critical
- software engineering
- security mechanisms
- secret key
- power analysis
- remote user authentication scheme
- authentication protocol
- modeling language
- relational databases
- database
- sys tems