Pre-silicon security verification and validation: a formal perspective.
Xiaolong GuoRaj Gautam DuttaYier JinFarimah FarahmandiPrabhat MishraPublished in: DAC (2015)
Keyphrases
- high security
- formal methods
- java card
- integrity verification
- cryptographic protocols
- information security
- formal analysis
- viewpoint
- model checking
- low cost
- high assurance
- access control
- intrusion detection
- security requirements
- security policies
- security problems
- computer security
- key management
- high speed
- security measures
- security threats
- security analysis
- face verification
- security issues
- high density
- statistical databases
- network security
- formal model
- security mechanisms
- security systems
- encryption algorithm
- security level
- functional requirements
- operating system