In a language-based system
, the operating system
has both the kernel
and applications implemented using a high level programming language
, such as Java
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.