Secure and trusted partial grey-box verification.
Yixian CaiGeorge KarakostasAlan WassyngPublished in: Int. J. Inf. Sec. (2019)
Keyphrases
- trusted computing
- cryptographic protocols
- integrity verification
- secure multi party
- model checking
- formal verification
- authentication protocol
- security requirements
- high security
- grey relational analysis
- face verification
- identity management
- security issues
- sensitive data
- signature verification
- information systems
- trust relationships
- multi party
- remote attestation
- covert channel
- lightweight