Language-based system
A language-based system the operating system has both the kernel and applications implemented using an high level programming language, such as Java.[1]
Protection
In a language-based protection system, the kernel will only allow code to execute that has been produced by a trusted language compiler. The language may then be designed such that it is impossible for the programmer to instruct it to do something that will violate a security requirement.[2]
Examples
- ^ Michael Golm, Meik Felser, Christian Wawerish, Jürgen Kleinöder. "JX - A flexible Java Operating System (poster)". University of Erlangen. Retrieved 2007-04-21.
{{cite web}}: CS1 maint: multiple names: authors list (link) - ^ 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)
