NGSCB: A trusted open system

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

Volumn 3108, Issue , 2004, Pages 86-97

  Peinado, Marcus ^a   Chen, Yuqun ^a   England, Paul ^a   Manferdelli, John ^a  

^a MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; COMMERCE; COMPUTER PRIVACY; SECURITY OF DATA;

COMMERCIAL REQUIREMENTS; DEVICE DRIVER; EXECUTABLE CODES; HIGH ASSURANCE; NETWORK AUTHENTICATION; NEXT-GENERATION SECURE COMPUTING BASE; SYSTEM ARCHITECTURES; TRUSTED COMPUTING BASE;

OPEN SYSTEMS;

EID: 33646445517     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27800-9_8     Document Type: Article

References (28)

1. M. Abadi. Trusted computing, trusted third parties and verified communications. 2004.
2. M. Abadi and T. Wobber. A logical account of NGSCB. 2004.
3. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of visualization. In Proceedings of the 19th Symposium on Operating Systems Principles (SOSP'03), pages 164-177, 2003.
4. D. Bell and L. La Padula. Secure computer systems: Mathematical foundations and model. Technical Report M74-244, Mitre Corporation, 1975.
5. T. Berson and G. Barksdale. KSOS - a development methodology for a secure operating system. In Proceedings of the 1979 AFlPS National Computer Conference, pages 365-371, 1979.
6. Y. Chen, P. England, M. Peinado, and B. Willman. High assurance computing on open hardware architectures. Technical Report MSR-TR-2003-20, Microsoft Research, 2003.
7. DOD, Washington, DC. Department of defense trusted computer system evaluation criteria, December 1985. DOD 5200.28-STD.
8. P. England and M. Peinado. Authenticated operation of open computing devices. In Information Security and Privacy - Proceedings of ACISP 2002, pages 346-361, 2002.
9. D. Engler, M. F. Kaashoek, and J. O'Toole, Jr. Exokernel: An operating system architecture for application-level resource management. In Proceedings of the 15th Symposium on Operating Systems Principles (15th SOSP'95), Operating Systems Review, pages 251-266, 1995.
10. eTestingLab. Business Winstone 2002 and Multimedia Content Creation Winstone 2002, 2002. http://www.winstone.com.
11. L. Fraim. Scomp: A solution to the multilevel security problem. IEEE Computer, 16:26-34, 1983.
12. 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 Symposium on Operating Systems Principles (SOSP'03), 2003.
13. T. Garfinkel, M. Rosenblum, and D. Boneh. A broader vision of trusted computing. In Proceedings of the 9th USENIX Workshop on Hot Topics in Operating Systems (HotOS-IX), 2003.
14. H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter. The performance of μ-kernel-based systems. In Proceedings of the 16th Symposium on Operating Systems Principles (SOSP'97), 1997.
15. Hermann Härtig. Security architectures revisited, 2002.
16. http://research.microsoft.com/research/pubs/.
17. P. Karger, M. Zurko, D. Bonin, A. Mason, and C. Kahn. A restrospective on the VAX VMM security kernel. IEEE Transactions on Software Engineering, 17(11):1147-1165, November 1991.
18. B. Lampson. Protection. ACM Operating Systems Review, 8(1):18-24, 1974.
19. B. Leslie and G. Heiser. Towards untrusted device drivers. Technical Report UNSW-CSE-TR-0303, University of New South Wales, 2003.
20. NIST. Common Criteria for InformationTechnology Security Evaluation, version 2.1 edition, August 1999.
21. R. Parmelee, T. Peterson, C. Tillman, and D. Hatfield. Virtual storage and virtual machine concepts. IBM Systems Journal, 11(2):99-130, 1972.
22. B. Pfitzmann, J. Riordan, C. Stüble, M. Waidner, and A. Weber. The Perseus system architecture. Technical report, IBM Research Division, 2001.
23. G. Popek and R. Goldberg. Formal requirements for virtualizable third generation architectures. Communications of the ACM, 17(7):412-421, 1974.
24. J. Robin and C. Irvine. Analysis of the Intel Pentium's ability to support a secure virtual machine monitor. In Proceedings of the 9th USENIX Security Symposium (SECURITY-00), pages 129-144. The USENIX Association, 2000.
25. R. Schell, T. Tao, and M. Heckman. Designing the GEMSOS security kernel for security and performance. In Proceedings of the 8th DoD/NBS Computer Security Conference, pages 108-119, 1985.
26. J. Shapiro, J. Smith, and D. Faber. EROS: a fast capability system. In Proceedings of the 17th Symposium on Operating Systems Principles (SOSP-99), Operating Systems Review, pages 170-185. ACM Press, 1999.
27. A. Whitaker, M. Shaw, and S. Gribble. Scale and performance in the Denali isolation kernel. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI'02), pages 195-209, 2002.
28. C. Wright, C. Cowan, S. Smalley, J. Morris, and G. Kroah-Hartman. Linux security modules: General security support in the Linux kernel. In Proceedings of the 11th USENIX Security Symposium, 2002.