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 Schutzsystem 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]
Literatur
- A Sabelfeld, AC Myers: Language-based information-flow security. In: IEEE Journal on Selected Areas in Communications, 2003, Volume 21, Issue 1, S. 5–19.
- V Haldar, D Chandra, M Franz: Semantic remote attestation – a virtual machine directed approach to trusted computing (PDF; 108 kB). 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, 2004, S. 186–197, doi:10.1145/964001.964017.
- Algis Rudys, Dan S. Wallach: Termination in language-based systems. In: ACM Transactions on Information and System Security (TISSEC), Volume 5, Issue 2, May 2002, S. 138–168, doi:10.1145/505586.505589.
Einzelnachweise
- Michael Golm, Meik Felser, Christian Wawerish, Jürgen Kleinöder: JX – Ein flexibles Betriebssystem (Schaubild). Universität Erlangen. Abgerufen am 21. April 2007.
- F. Schneider, G. Morrissett, R. Harper: A Language-Based Approach to Security. (PDF; 175 kB) In: Informatics: 10 Years Back, 10 Years Ahead. 2000
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.