Keyphrases
- formal methods
- smart card
- security requirements
- information security
- security properties
- java card
- fuzzy vault
- security analysis
- security mechanisms
- authentication protocol
- sensitive data
- secure communication
- security enforcement
- development lifecycle
- digital signature
- formal analysis
- model checking
- secret key
- artificial intelligence
- security issues
- access requests
- knowledge based systems
- fingerprint authentication
- security level
- formal specification
- security systems
- software engineering
- network security
- user authentication
- access control
- factor authentication
- machine learning
- security policies
- countermeasures
- modeling language
- key management
- communication networks
- intrusion detection
- biometric template
- rfid tags