A Nitpicker's guide to a minimal-complexity secure GUI

Proceedings - Annual Computer Security Applications Conference, ACSAC

Volumn 2005, Issue , 2005, Pages 85-94

  Feske, Norman ^a   Helmuth, Christian ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MALWARE; NITPICKER'S GUIDE; SECURITY MECHANISMS;

COMPUTER OPERATING SYSTEMS; COMPUTER VIRUSES; NETWORK PROTOCOLS; SECURITY OF DATA;

GRAPHICAL USER INTERFACES;

EID: 33846306388     PISSN: 10639527     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSAC.2005.7     Document Type: Conference Paper

References (22)

1. Apple Mac OS X website. URL: http://www.apple.com/macosx/.
2. Coyotes website. URL: http://www.coyotos.org.
3. Fresco website. URL: http://www.fresco.org.
4. GNU Privacy Guard website. URL: http://www.gnupg.org.
5. Intel Vanderpool technology website. URL: http://www.intel.com/ technology/computing/vptech/.
6. Microsoft's Virtualization Architecture. TWAR05013 at WinHEC 2005.
7. NGSCB presentation at WinHEC 2004. URL: http://download.microsoft.com/ download/1/8/f/18f8cee2-0b64-41f2-893d-a6f2295b40c8/TW04008_WINHEC2004.ppt.
8. SINAvpn website. URL: http://www.sinavpn.com.
9. VMware website. URL: http://www.vmware.com.
10. XFree86 website. URL: http://www.xfree86.org.
11. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfleld. Xen and the Art of Virtualization. In Proceedings of the 19th ACM Symposium on Operating System Principles (SOSP), Oct. 2003.
12. J. Epstein. A prototype for Trusted X labeling policies. In Proceedings of the 6. Annual Computer Security Applications Conference, Dec. 1990.
13. J. Epstein, J. McHugh, H. Orman, R. Pascale, A. Marmor-Squires, and B. D. et al. A high assurance window system prototype.
14. N. Feste and H. Härtig. Demonstration of DOpE -a Window Server for Real-Time and Embedded Systems. In 24th IEEE Real-Time Systems Symposium (RTSS), pages 74-77, Cancun, Mexico, Dec. 2003.
15. N. Feske and C. Helmuth. Overlay window management: User interaction with multiple security domains. Technical Report TUD-FI04-02-März-2004, TU Dresden, 2004.
16. K. Fraser, S. Hand, I. Pratt, and A. Warfleld. Safe Hardware Access with the Xen Virtual Machine Monitor. In Proceedings of the 1st Workshop on Operating System and Architectural Support for the on demand IT Infrastructure (OASIS 2004), Boston, MA, Oct. 2004.
17. H. Härtig, M. Hohmuth, and J. Wolter. Taming Linux. In Proceedings of the 5th Annual Australasian Conference on Parallel And Real-Time Systems (PART '98), Adelaide, Australia, Sept. 1998.
18. M. Hohmuth. The Fiasco kernel: System architecture. Technical Report TUD-FI02-06-Juli-2002, TU Dresden, 2002.
19. J. Liedtke. L4 reference manual. Technical report, Sept. 1996. RC 20549, IBM T. J. Watson Research Center.
20. M. Peinado, P. England, and Y. Chen. An Overview of NGSCB.
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.