Attack, Solution and Verification for Shared Authorisation Data in TCG TPM

[ChenRyan2010Authdata] Liqun Chen and Mark Ryan. Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. In Proceedings of the Sixth International Workshop on Formal Aspects in Security and Trust (FAST'09), Springer. 2010.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.cs.bham.ac.uk/~mdr/research/papers/pdf/09-FAST.pdf