Language-based system

Language-based system

In a language-based system, the operating system has both the kernel and applications implemented using a high level programming language, such as Java. [cite web
title=JX - A flexible Java Operating System (poster)
url=http://www4.informatik.uni-erlangen.de/Projects/JX/poster/jx-poster.jpg
author=Michael Golm, Meik Felser, Christian Wawerish, Jürgen Kleinöder
publisher=University of Erlangen|accessdate=2007-04-21]

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. [http://www.cs.cmu.edu/~rwh/papers/langsec/dagstuhl.pdf 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)]

Examples

*JX (operating system)
*Singularity (operating system)
*Inferno (operating system)
*JNode

References

*A Sabelfeld, AC Myers " [http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1159651&isnumber=25986 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 " [http://www.vivekhaldar.com/pubs/trustedvm-tr.pdf Semantic remote attestation—a virtual machine directed approach to trusted computing] " USENIX Virtual Machine Research and Technology Symposium, 2004
*Giacobazzi, Mastroeni " [http://doi.acm.org/10.1145/964001.964017 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 " [http://doi.acm.org/10.1145/505586.505589 Termination in language-based systems] " ACM Transactions on Information and System Security (TISSEC) Volume 5 , Issue 2 (May 2002) pp. 138 - 168


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Valuation based system — (VBS) is a framework for knowledge representation and inference. Real world problems are modeled in this framework by a network of interrelated entities, called variables. The relationships between variables (possibly uncertain or imprecise) are… …   Wikipedia

  • Pimsleur language learning system — The Pimsleur language learning system is a language acquisition method developed by Paul Pimsleur. The system is centered around four main ideas: anticipation, graduated interval recall, core vocabulary, and organic learning. [http://www.pimsleur …   Wikipedia

  • Language education — Language Teaching redirects here. For the journal, see Language Teaching (journal). Linguistics …   Wikipedia

  • Language expectancy theory — (LET) is a language based theory of persuasion [M. Burgoon and Miller, 1985; M. Burgoon, Hunsaker Dawson, 1994; M. Burgoon, Jones Stewart, 1975)] . The theory looks at the effects of linguistic variations on persuasive messages. It is based on… …   Wikipedia

  • Language attrition — is the loss of a first or second language or a portion of that language by individuals; it should be distinguished from language loss within a community (the latter process is referred to as language shift or language death). Language attrition… …   Wikipedia

  • Language assessment — or Language Testing is a field of study under the umbrella of applied linguistics. Its main focus is the assessment of first, second or other language in the school, college, or university context; assessment of language use in the workplace; and …   Wikipedia

  • Language teaching methods — Main article: Language education Language education may take place as a general school subject or in a specialized language school. There are many methods of teaching languages. Some have fallen into relative obscurity and others are widely used; …   Wikipedia

  • System call — In computing, a system call is the mechanism used by an application program to request service from the kernel. Background A system call is a request made by any arbitrary program to the kernel for performing tasks picked from a predefined set… …   Wikipedia

  • System Restore — Infobox Software name = System Restore caption = System Restore in Windows Vista SP1 collapsible = author = developer = Microsoft released = latest release version = 6.0.6001 latest release date = February 4, 2008 latest preview version = latest… …   Wikipedia

  • System File Checker — Infobox Software name = System File Checker caption = collapsible = author = developer = Microsoft released = latest release version = latest release date = latest preview version = latest preview date = frequently updated = programming language …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”