Sprachbasiertes System

In einem Sprachbasierten System (Betriebssystem) wurden sowohl der Kernel, als auch die Programme in einer Hochsprache, wie zum Beispiel Java programmiert.^[1]

Schutz

In einem sprachbasierten Schutz-System gestattet der Kernel nur die Ausführung solchen Codes, der von einem als vertrauenswürdig eingestuften Compiler erzeugt wurde. Der Code muss zudem in einer als vertrauenswürdig angesehenen Sprache verfasst sein. Eine solche Sprache könnte dann beispielsweise so umgesetzt sein, dass sie es einem Programmierer unmöglich macht, sie für etwas einzusetzen, was den festgelegten Sicherheitsregeln des Systems widerspricht (siehe auch Managed Code).^[2]

Beispiele

• JX (Betriebssystem)
• Singularity
• Inferno (Betriebssystem)

Einzelnachweise

1. ↑ Michael Golm, Meik Felser, Christian Wawerish, Jürgen Kleinöder: JX - Ein flexibles Betriebssystem (Schaubild). Universität Erlangen. Abgerufen am 21.04.
2. ↑ A Language-Based Approach to Security, Schneider F., Morrissett G. (Cornell University) and Harper R. (Carnegie Mellon University). Informatics: 10 Years Back, 10 Years Ahead. (2000)

Quellenangaben

• A Sabelfeld, AC Myers Language-based information-flow security IEEE Journal on Selected Areas in Communications, 2003 Volume: 21, Issue: 1 pp. 5- 19
• V Haldar, D Chandra, M Franz Semantic remote attestation—a virtual machine directed approach to trusted computing USENIX Virtual Machine Research and Technology Symposium, 2004
• Giacobazzi, Mastroeni Abstract non-interference: parameterizing non-interference by abstract interpretation Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages Pages: 186 - 197 (2004)
• Algis Rudys, Dan S. Wallach Termination in language-based systems ACM Transactions on Information and System Security (TISSEC) Volume 5 , Issue 2 (May 2002) pp. 138 - 168