Security Benchmarking using Partial Verification.
Thomas E. HartMarsha ChechikDavid LiePublished in: HotSec (2008)
Keyphrases
- high security
- integrity verification
- information security
- java card
- cryptographic protocols
- security systems
- model checking
- network security
- security policies
- security issues
- statistical databases
- security mechanisms
- computer security
- access control
- security threats
- security analysis
- information assurance
- multimodal biometrics
- security properties
- signature verification
- functional requirements
- security requirements
- encryption algorithm
- formal verification
- database
- fingerprint verification
- security management
- image encryption
- verification method
- rfid tags
- data management
- neural network