Security architectures revisited

Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10

Volumn , Issue , 2002, Pages 16-23

  Härtig, Hermann ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTERFACE TECHNOLOGY; OPERATING SYSTEMS; RESOURCE CONTROL; SECURITY ARCHITECTURE; TUNNELING ,; VIRTUAL MACHINES;

COMPUTER OPERATING SYSTEMS;

ACCESS CONTROL;

EID: 70349262925     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133373.1133376     Document Type: Conference Paper

References (17)

1. A. Alkassar and C. Stüble. Towards secure IFF - preventing mafia fraud attacks. Accepted for IEEE Military Communications Conference 2002 (MILCOM), Anaheim, California, Oct. 7-10, 2002.
2. N. Associates. Trusted Mach - specifications. URL: http://www.nai.com/ research/nailabs/finishedprojects/trusted-mach.asp
3. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, D. Becker, S. Eggers, and C. Chambers. Extensibility, safety and performance in the Spin operating system. In 15th ACM Symposium on Operating System Principles (SOSP), pages 267-284, Dec. 1995.
4. U. Dannowski and H. Härtig. Policing offloaded. In Proceedings of the Sixth IEEE Real-Time Technology and Application Symposium, Washington D.C., May 2000.
5. M. Gasser, A. Goldstein, C. Kaufmann, and B. Lampson. The Digital distributed system security architecture. In 12th National Computer Security Conference (NIST/NCSC), pages 305-319, Baltimore, 1989.
6. H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter. The performance of μ-kernel-based systems. In 16th ACM Symposium on Operating System Principles (SOSP), pages 66-77, Oct. 1997.
7. H. Härtig, O. Kowalski, and W. Kühnhauser. The BirliX security architecture. Journal of Computer Security, 2(1):5-21, 1993.
8. H. Härtig, L. Reuther, J. Wolter, M. Borriss, and T. Paul. Cooperating resource managers. In Fifth IEEE Real-Time Technology and Applications Symposium (RTAS), Vancouver, Canada, June 1999.
9. M. Hohmuth, H. Tews, and S. G. Stephens. Applying source-code verification to a microkernel - the VFiasco project. Technical Report TUD-FI02-03-März 2002, Dresden University of Technology, 2002. URL: http://os.inf.tu-dresden.de/vfiasco/
10. S. Lehmann and A. Westfeld. Kapselung ausführbarer Binärdateien. slcaps: Implementierung von Capabilities für Linux. In D. Fox, M. Köhntopp, and A. Pfitzmann, editors, Verlässliche IT-Systeme (VIS), pages 21-35. GI, Vieweg, Sep. 2001.
11. J. Liedtke. Toward real μ-kernels. Commun. ACM, 39(9):70-77, Sept. 1996.
12. G. C. Necula and P. Lee. Safe kernel extensions without run-time checking. In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), pages 229-243, 1996.
13. B. Pfitzmann, J. Riordan, C. Stüble, M. Waidner, and A. Weber. The PERSEUS system architecture. Technical Report RZ 3335 (#93381), IBM Research Division, Zurich Laboratory, Apr. 2001.
14. R. Rajkumar, C. Lee, J. Lehoczky, and D. Siewiorek. A resource allocation model for qos management. In Proceedings of the 18th IEEE Real-Time Systems Symposium, 1997.
15. M. Seltzer, Y. Endo, C. Small, and K. Smith. Dealing with disaster: Surviving misbehaved kernel extensions. In 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 213-227, Seattle, WA, Oct. 1996.
16. J. Shapiro and N. Hardy. EROS: A principle driven operating system from the ground up. IEEE Software, pages 26-33, Jan. 2002.
17. R. Uhlig, R. Fishtein, O. Gershon, I. Hirsh, and H. Wang. SoftSDV: A pre-silicon software development environment for the IA-64 architecture. Intel Technology Journal, (4), 1999.