Are Smart Cards the Ideal Domain for Applying Formal Methods?
Jean-Louis LanetPublished in: ZB (2000)
Keyphrases
- formal methods
- smart card
- formal analysis
- safety critical
- security analysis
- information security
- digital signature
- java card
- knowledge based systems
- security requirements
- remote user authentication scheme
- model checking
- security properties
- security mechanisms
- secret key
- formal specification
- software engineering
- process algebra
- artificial intelligence
- packet filtering
- database
- authentication protocol
- modeling language
- information systems