Security verification of hardware-enabled attestation protocols

Keyphrases

• Security Architecture 100%
• Attestation Protocols 100%
• Security Verification 100%
• Software Security 66%
• Remote Computer 33%
• Design-time Verification 33%
• Potential Attacks 33%
• Finite State Model 33%
• Protocol Design 33%
• Security Properties 33%
• Computer Users 33%
• Attacker 33%
• Hardware Security 33%
• Attestation 33%
• New Requirements 33%

Computer Science

• Security Architecture 100%
• Essential Aspect 66%
• Software Security 66%
• Remote Computer 33%
• Attackers 33%
• Potential Attack 33%
• Hardware Security 33%
• Security Properties 33%