Guest editors' introduction: Special issue on Formal Methods for Smart Cards.
Marieke HuismanThomas P. JensenPublished in: J. Log. Algebraic Methods Program. (2004)
Keyphrases
- special issue
- formal methods
- smart card
- knowledge based systems
- formal specification
- ecml pkdd
- ai edam
- artificial intelligence
- java card
- international journal
- digital signature
- security requirements
- model checking
- virtual machine
- security analysis
- remote user authentication scheme
- power analysis
- security properties
- software engineering
- differential power analysis
- authentication protocol
- information security
- secret key
- applied intelligence
- security mechanisms
- petri net
- distributed systems
- database