Securing the distribution and storage of secrets with trusted platform modules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4462 LNCS, Issue , 2007, Pages 53-66

  Sevinç, Paul E ^a   Strasser, Mario ^a   Basin, David ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA TRANSFER; NETWORK PROTOCOLS; USER INTERFACES; COMPUTATION THEORY; HARDWARE SECURITY; INTELLIGENT BUILDINGS; SECURITY OF DATA; SMART CARDS; UBIQUITOUS COMPUTING;

DOCUMENT PROCESSING; DISHONEST USERS; PROTOCOL CANS; SECURE DOCUMENTS; TAMPER PROOF; TRUSTED PLATFORMS;

SECURITY OF DATA; TRUSTED COMPUTING;

EID: 37149049972     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72354-7_5     Document Type: Conference Paper

References (25)

1. Bishop, M.: Computer Security: Art and Science. Addison Wesley Professional (2003)
2. Trusted Computing Group: TCG architecture overview. (TCG Specification)
3. Trusted Computing Group: TCG TPM specification version 1.2. (TCG Specification)
4. Anderson, R., Bond, M., Clulow, J., Skorobogatov, S.: Cryptographic processors - a survey. Technical Report 641, University of Cambridge (2005)
5. Smith, S.W.: Trusted Computing Platforms: Design and Applications. Springer-Verlag (2005)
6. Strasser, M.: A software-based TPM emulator for Linux. Semesterarbeit, ETH Zurich (2004)
7. Microsoft: Windows Vista beta 2 trusted platform module services step by step guide. (Published on the WWW)
8. Kay, R.L.: This ain't your father's internet: How hardware security will become nearly ubiquitous as a rock solid solution to safeguarding connected computing. (Published on the WWW)
9. Pearson, S., ed.: Trusted Computing Platforms: TCPA Technology in Context. Prentice Hall (2003)
10. Grawrock, D.: The Intel Safer Computing Initiative. Intel Press (2006)
11. Mitchell, C., ed.: Trusted Computing. Volume 6 of IEE Professional Applications of Computing. The Institution of Electrical Engineers (2005)
12. Brickell, E., Camenisch, J., Chen, L.: Direct anonymous attestation. In Pfitzmann, B., Liu, P., eds.: Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS 2004), ACM Press (2004) 132-145
13. Camenisch, J.: Better privacy for trusted computing platforms. In Samarati, P., Ryan, P., Gollmann, D., Molva, R., eds.: Proceedings of the 9th European Symposium on Research in Computer Security (ESORICS 2004). Volume 3193 of Lecture Notes in Computer Science., Springer-Verlag (2004) 73-88
14. Marchesini, J., Smith, S.W., Wild, O., MacDonald, R.: Experimenting with TCPA/TCG hardware, or: How I learned to stop worrying and love the bear. Technical Report Dartmouth TR2003-476, Dartmouth College (2003)
15. Marchesini, J., Smith, S.W., Wild, O., Barsamian, A., Stabiner, J.: Open-source applications of TCPA hardware. In: Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), IEEE Computer Society (2004) 294-303
16. Sailer, R., Zhang, X., Jaeger, T., van Doom, L.: Design and implementation of a TCG-based integrity measurement architecture. In: Proceedings of the 13th Usenix Security Symposium. (2004) 223-238
17. Sailer, R., Jaeger, T., Zhang, X., van Doom, L.: Attestation-based policy enforcement for remote access. In: Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS 2004). (2004) 308-307
18. Sandhu, R., Zhang, X.: Peer-to-peer access control architecture using trusted computing technology. In: Proceedings of the 10th ACM Symposium on Access Control Models and Technologies (SACMAT 2005). (2005) 147-158
19. Zhang, X., Chen, S., Sandhu, R.: Enhancing data authenticity and integrity in p2p systems. IEEE Internet Computing 9(6) (2005) 42 -49
20. Sandhu, R., Ranganathan, K., Zhang, X.: Secure information sharing enabled by trusted computing and pei models. In: Proceedings of the 2006 ACM Conference on Computer and Communications Security (ASIACCS 2006), ACM Press (2006) 2-12
21. Caleiro, C., Viganò, L., Basin, D.: Deconstructing Alice and Bob. In: Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005). Volume 135 of Electronic Notes in Theoretical Computer Science. (2005) 3-22
22. Lin, A.H.: Automated analysis of security APIs. Master's thesis, Massachusetts Institute of Technology (2005)
23. Sevinç, P.E., Basin, D., Olderog, E.R.: Controlling access to documents: A formal access control model. In Müller, G., ed.: Proceedings of the 1st International Conference on Emerging Trends in Information and Communication Security (ETRICS 2006). Volume 3995 of Lecture Notes in Computer Science., Springer-Verlag (2006) 352-367
24. Sevinç, P.E., Basin, D.: Controlling access to documents: A formal access control model. Technical Report 517, ETH Zurich (2006)
25. Sevinç, P.E.: Securing Information by Controlling Access to Data in Documents. PhD thesis, ETH Zurich (2007)