SoC Security Verification using Property Checking.
Nusrat FarzanaFahim RahmanMark M. TehranipoorFarimah FarahmandiPublished in: ITC (2019)
Keyphrases
- high security
- verification method
- java card
- integrity verification
- information security
- cryptographic protocols
- access control
- model checking
- intrusion detection
- blind signature scheme
- security analysis
- network security
- hardware and software
- security issues
- smart card
- security problems
- security level
- security model
- security requirements
- computer security
- security policies
- embedded systems
- signature verification
- consistency checking
- public key
- neural network
- rfid tags
- network management
- countermeasures
- information assurance
- high speed