The nizza secure-system architecture

2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing

Volumn 2005, Issue , 2005, Pages

  Härtig, Hermann ^a   Hohmuth, Michael ^a   Feske, Norman ^a   Helmuth, Christian ^a   Lackorzynski, Adam ^a   Mehnert, Frank ^a   Peter, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; LEGACY SYSTEMS; SECURITY OF DATA;

DESIGN PRINCIPLES; KERNELIZED ARCHITECTURE; LEGACY SOFTWARE; TRUSTED COMPUTING BASES (TCB);

COMPUTER ARCHITECTURE;

EID: 33947691568     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Advanced Micro Devices, Inc. AMD Secure Virtual Machine Architecture Reference Manual, May 2005.
2. A. Carroll, M. Juarez, J. Polk, and T. Leininger. Microsoft "Palladium": A Business Overview, Aug. 2002. Available from URL: http://www.microsoft.com/ PressPass/features/2002/jul02/0724palladiumwp.asp.
3. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on Operating System Principles (SOSP), pages 73-88, Banff, Alberta, Canada, 2001. ACM Press.
4. P. Druschel and L. L. Peterson. Fbufs: A high-bandwidth cross-domain transfer facility. In Proceedings of the 14th ACM Symposium on Operating System Principles (SOSP), pages 189-202, Asheville, NC, Dec. 1993.
5. N. Feske and H. Härtig. DOpE - a Window Server for Real-Time and Embedded Systems. Technical Report TUD-FI03-10-September-2003, TU Dresden, 2003.
6. T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, and D. Boneh. Terra: a virtual machine-based platform for trusted computing. In Proceedings of the nineteenth ACM symposium on Operating systems principles, pages 193-206. ACM Press, 2003.
7. M. Gasser. Building a secure computer system. Van Nostrand Reinhold Co., 1988.
8. H. Härtig. Security Architectures Revisited. In Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, Sept. 2002.
9. H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Woher. The performance of μ-kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating System Principles (SOSP), pages 66-77, Saint-Malo, France, Oct. 1997.
10. M. Hohmuth and H. Haμrtig. Pragmatic nonblocking synchronization for real-time systems. In USENIX Annual Technical Conference, Boston, MA, June 2001.
11. Intel Corporation. Intel Virtualization Technology Specification for the IA-32 Intel Architecture, 2005. Apr.
12. J. LeVasseur, V. Uhlig, J. Stoess, and S. Götz. Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines. In Proceedings of the 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 17-30, San Francisco, CA, Dec. 2004.
13. J. Li, M. Krohn, D. Mazières, and D. Shasha. Secure Untrusted Data Repository (SUNDR). In Proceedings of the 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 121-136, San Francisco, CA, Dec. 2004.
14. J. Liedtke. Improving IPC by kernel design. In Proceedings of the 14th ACM. Symposium on Operating System Principles (SOSP), pages 175-188, Asheville, NC, Dec. 1993.
15. J. Liedtke. On μ-kernel construction. In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP), pages 237-250, Copper Mountain Resort, CO, Dec. 1995.
16. U. Maheshwari, R. Vingralek, and B. Shapiro. How to Build a Trusted Database System on Untrusted Storage. In Proceedings of the 4th USENIX Symposium on Operating System Design and Implementation (OSDI), pages 135-150, San Diego, CA, Oct. 2000.
17. F. Mehnert. Kapselung von Standard-Betriebssytemen. PhD thesis, TU Dresden, July 2005.
18. Norman Feske and Christian Helmuth. A Nitpicker's guide to a minimal-complexity secure GUI. In Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC), 2005.
19. B. Pfitzmann, J. Riordan, C. Stüble, M. Waidner, and A. Weber. Die PERSEUS System-Architektur. In D. Fox, M. Köhntopp, and A. Pfitzmann, editors, Verlässliche IT-Systeme (VIS). GI, Vieweg, Sept. 2001.
20. J. Shapiro, D. Farber, and J. M. Smith. The measured performance of a fast local IPC. In 5th International Workshop on Object Orientation in Operating Systems (IWOOOS), pages 89-94, Seattle, WA, Oct. 1996.
21. J. S. Shapiro. EROS: A Capability System. PhD thesis, University of Pennsylvania, Apr. 1999.
22. J. S. Shapiro, J. Vanderburgh, E. Northup, and D. Chizmadia. Design of the EROS Trusted Window System. In Proceedings of the. 13th USENIX Security Symposium (2004), pages 165-178, 2004.
23. Snapgear. Snapgear Embedded Linux. URL: http://ftp.snapgear.org/pub/ snapgear/src/snapgear-3.2.0.tar.gz.
24. Trusted Computing Group. TCG Specification Architecture Overview, Apr. 2004. URL: https://www.trustedcomputinggroup.org/downloads/ TCG_1_0_Architecture_overview.pdf.