Common Criteria Based Security Scenario Verification.
Atsushi OhnishiPublished in: ICSOFT (Selected Papers) (2008)
Keyphrases
- data sets
- high security
- real world
- security issues
- integrity verification
- java card
- cryptographic protocols
- information security
- intrusion detection
- security problems
- security mechanisms
- security analysis
- evaluation criteria
- multi criteria
- high assurance
- data security
- security management
- security properties
- formal verification
- access control
- selection criteria
- computer security
- information assurance
- model checking
- statistical databases
- network security
- protocol specification
- security measures
- database
- asynchronous circuits
- communication protocols
- security protocols
- key management
- functional requirements
- formal analysis
- network management