Security Testing and Formal Methods for High Levels Certification of Smart Cards.
Boutheina ChetaliPublished in: TAP@TOOLS (2009)
Keyphrases
- high levels
- smart card
- formal methods
- security requirements
- development lifecycle
- information security
- java card
- security properties
- security analysis
- security mechanisms
- authentication protocol
- sys tems
- secret key
- digital signature
- model checking
- secure communication
- authentication scheme
- public key infrastructure
- formal analysis
- knowledge based systems
- security model
- software engineering
- security policies
- network security
- rfid tags
- artificial intelligence
- formal specification
- security issues
- power analysis
- static analysis
- access control
- software systems
- security protocols