Satem: Trusted service code execution across transactions

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 2006, Pages 321-334

  Gang, Xu ^a,c   Borcea, Cristian ^b   Iftode, Liviu ^a  

^a RUTGERS UNIVERSITY   (United States)

^b University Heights   (United States)

^c AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; NETWORK PROTOCOLS; PROBLEM SOLVING;

SERVICE CODE; SERVICE ORIENTED ARCHITECTURES; TRUSTED SERVICE CODE EXECUTION;

WEB SERVICES;

EID: 38949139795     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SRDS.2006.42     Document Type: Conference Paper

References (33)

1. http://www.w3.org/2002/ws.
2. http://msdn.microsoft.com/architecture/soa.
3. Apache project, http://www.apache.org.
4. Carnegie Mellon CERT Coordination Center. http://www.cert.org.
5. Enforcer project, http://enforcer.sourceforge.net.
6. Internet System Consortium Inc. http://www.isc.org/index.pl?/sw/bind/.
7. Oprofile project, http://oprofile.sourceforge.net.
8. The SANS Institute, http://www.sans.org.
9. W. Arbaugh, D. Farber, and J. Smith. A secure and reliable bootstrap architecture. In Proceedings of IEEE Symposium on Security and Privacy, 1997.
10. B. Chen and R. Morris. Certifying program execution with secure processors. In the Proceedings of 9th Workshop on Hot Topics in Operating Systems, 2003.
11. J. Chow, B. Pfaff, T. Garfinkel, K. Christopher, and M. Rosenblum. Understanding data lifetime via whole system simulation. In Proceedings of the 13th Usenix Security Symposium, 2004.
12. B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, I. Pratt, A. Warfield, P. Barham, and R. Neugebauer. Xen and the art of virtualization. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, 2003.
13. U. Erlingsson and F. B. Schneider. SASI enforcement of security policies: A retrospective. In Proceedings of the New Security Paradigms Workshop (NSPW), 1999.
14. T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, and D. Boneh. Terra: A virtual machine-based platform for trusted computing. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, 2003.
15. M. Gasser, A. Goldstein, C. Kaufman, and B. Lampson. The digital distributed system security architecture. In Proceedings of 12th NIST-NCSC National Computer Security Conference, 1989.
16. R.Goldberg. Survey of virtual machine research. In IEEE Computer Magazine, June 1974.
17. R. Kennell and L. H. Jamieson. Establishing the genuinity of remote computer systems. In Proceedings of 12th USENIX Security Symposium, 2003.
18. D. Lie, C. Thekkath, M. Mitchell, P. Lincoln, D. Boneh, J. Mitchell, and M. Horowitz. Architectural support for copy and tamper resistant software. In Architectural Support for Programming Languages and Operating Systems, 2000.
19. Microsoft Corp. Next generation secure computing base. http://www.microsoft.com/resources/ngscb.
20. R. Sailer, X. Zhang, T. Jaeger, and L. van Doom. Design and implementation of a TCG-based integrity measurement architecture. In Proceedings of 13th USENIX Security Symposium, 2004.
21. F. B. Schneider. Enforceable security policies. In ACM Transactions on Information and System Security, 2000.
22. R. Sekar and P. Uppuluri. Synthesizing fast intrusion prevention/detection systems from high-level specifications. In Proceedings of the 8th USENIX Security Syposium, 1999.
23. R. Sekar, V. Venkatakrishnan, S. Basu, S. Bhatkar, and D. C. DuVarney. Model-carrying code: A practical approach for safe execution of untrusted applications. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, 2003.
24. A. Seshadri, M. Luk, E. Shi, A. Perrig, L. V. Doom, and P. Khosla. Pioneer: Verifying integrity and guaranteeing execution of code on legacy platforms. In Proceedings of the 20th ACM Symposium on Operating Systems Principles, 2005.
25. A. Seshadri, A. Perrig, L. van Doom, and P. Khosla. SWATT: Software-based attestation for embedded devices. In Proceedings of 2004 IEEE Symposium on Security and Privacy, 2004.
26. E. Shi, A. Perrig, and L. van Doom. Bind: A time-of-use attestation service for secure distributed system. In Proceedings of IEEE Symposium on Security and Privacy, 2005.
27. S. W. Smith and S. H. Weingart. Building a high performance, programmable secure co-processor. In Computer Networks (Special Issue on Computer Network Security), April 1999.
28. Trusted Computing Group. TCG 1.2 Specifications. https://www. trustedcomputinggroup.org/.
29. J. Voas. A Recipe for Certifying High Assurance Software. In IEEE Software, 1999.
30. C. A. Waldspurger. Memory resource management in VMware ESX server. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation, 2002.
31. X. Wang, Y. Yin, and H. Yu. Finding collisions in the full SHA1. In Proceedings of Crypto, 2005.
32. S. White, S. Weingart, W. Arnold, and E. Palmer. Introduction to the Citadel architecture: Security in physically exposed environments. Technical Report TR RC16672, IBM Thomas J. Watson Research Center, 1991.
33. B. Yee. Using secure co-processors. Technical report, Carnegie Mellon University, 1994. PH.D Thesis.