1. TCG Trusted Computing Group: TPM Main Part 2 TPM Structures Specification Version 1.2 Level 2 Revision 103 (2007),
www.trustedcomputing.org
2. TCG Trusted Computing Group: TPM Main Part 3 Commands Specification Version 1.2 Level 2 Revision 103 (March 2007),
www.trustedcomputing.org
3. Trusted Computing Group: TCG TPM Specification 1.2 (2006),
http://www.trustedcomputing.org
4. Gürgens, S., Ochsenschläger, P., Rudolph, C.: Authenticity and Provability – a Formal Framework. GMD Report 150, GMD – Forschungszentrum Informationstechnik GmbH (2001)
5. Lecture Notes in Computer Science;S. Gürgens,2002