Keyphrases
- protocol specification
- formal verification
- high security
- asynchronous circuits
- java card
- integrity verification
- model checking
- formal methods
- access control
- security requirements
- intrusion detection
- information security
- cryptographic protocols
- security model
- security issues
- formal specification
- statistical databases
- high level
- information assurance
- security properties
- network security
- security analysis
- smart card
- computer security
- specification language
- security policies
- user authentication
- data security
- security protocols
- communication protocols
- security problems
- security management
- high assurance
- functional verification
- biometric systems