Towards Automatic Property Generation for SoC Security Verification.
Xingxin WangShibo TangWei HuPublished in: ISOCC (2022)
Keyphrases
- high security
- java card
- integrity verification
- information security
- cryptographic protocols
- intrusion detection
- security requirements
- access control
- model checking
- blind signature scheme
- statistical databases
- security issues
- network security
- security analysis
- verification method
- data security
- information assurance
- security policies
- security problems
- high assurance
- security threats
- security mechanisms
- security measures
- operating system
- computer networks
- security level
- security model