A Formal Analysis of Authentication in the TPM.

Stéphanie Delaune Steve Kremer Mark Dermot Ryan Graham Steel

Published in: Formal Aspects in Security and Trust (2010)

Keyphrases

formal analysis
trusted platform module
ban logic
trusted computing
formal methods
security analysis
authentication protocol
biometric authentication
agent model
remote attestation
security mechanisms
computing platform
business process
security requirements
multimodal biometrics