Paramecium: An Extensible Object-Based Kernel

L. van Doorn; P. Homburg; A.S. Tanenbaum

doi:10.1109/HOTOS.1995.513460

Paramecium: An Extensible Object-Based Kernel

L. van Doorn
, P. Homburg
, A.S. Tanenbaum

Computer Systems

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

In this paper we describe the design of an extensible kernel, called Paramecium. This kernel uses an object-based software architecture which together with instance naming, late binding and explicit overrides enables easy reconfiguration. Determining which components reside in the kernel protection domain is up to the user. An certification authority or one of its delegates certifies which components are trustworthy and therefore permitted to run in the kernel protection domain. These delegates may include validation programs, correctness provers, and system administrators. The main advantage of certifications is that it can handle trust and sharing in a non-cooperative environment.

Original language	English
Title of host publication	Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS
Publisher	IEEE
Pages	86-89
Number of pages	4
DOIs	https://doi.org/10.1109/HOTOS.1995.513460
Publication status	Published - 1995
Event	5th Workshop on Hot Topics in Operating Systems (HOTOS-V) - Orcas Island, United States Duration: 4 May 1995 → 5 May 1995

Workshop

Workshop	5th Workshop on Hot Topics in Operating Systems (HOTOS-V)
Country/Territory	United States
City	Orcas Island
Period	4/05/95 → 5/05/95

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 17 Partnerships for the Goals

Access to Document

10.1109/HOTOS.1995.513460

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{48f4cdc2ffea420db68a219140d2e5ad,

title = "Paramecium: An Extensible Object-Based Kernel",

abstract = "In this paper we describe the design of an extensible kernel, called Paramecium. This kernel uses an object-based software architecture which together with instance naming, late binding and explicit overrides enables easy reconfiguration. Determining which components reside in the kernel protection domain is up to the user. An certification authority or one of its delegates certifies which components are trustworthy and therefore permitted to run in the kernel protection domain. These delegates may include validation programs, correctness provers, and system administrators. The main advantage of certifications is that it can handle trust and sharing in a non-cooperative environment.",

author = "\{van Doorn\}, L. and P. Homburg and A.S. Tanenbaum",

year = "1995",

doi = "10.1109/HOTOS.1995.513460",

language = "English",

pages = "86--89",

booktitle = "Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS",

publisher = "IEEE",

note = "5th Workshop on Hot Topics in Operating Systems (HOTOS-V) ; Conference date: 04-05-1995 Through 05-05-1995",

}

TY - GEN

T1 - Paramecium: An Extensible Object-Based Kernel

AU - van Doorn, L.

AU - Homburg, P.

AU - Tanenbaum, A.S.

PY - 1995

Y1 - 1995

N2 - In this paper we describe the design of an extensible kernel, called Paramecium. This kernel uses an object-based software architecture which together with instance naming, late binding and explicit overrides enables easy reconfiguration. Determining which components reside in the kernel protection domain is up to the user. An certification authority or one of its delegates certifies which components are trustworthy and therefore permitted to run in the kernel protection domain. These delegates may include validation programs, correctness provers, and system administrators. The main advantage of certifications is that it can handle trust and sharing in a non-cooperative environment.

AB - In this paper we describe the design of an extensible kernel, called Paramecium. This kernel uses an object-based software architecture which together with instance naming, late binding and explicit overrides enables easy reconfiguration. Determining which components reside in the kernel protection domain is up to the user. An certification authority or one of its delegates certifies which components are trustworthy and therefore permitted to run in the kernel protection domain. These delegates may include validation programs, correctness provers, and system administrators. The main advantage of certifications is that it can handle trust and sharing in a non-cooperative environment.

UR - https://www.scopus.com/pages/publications/0029210351

UR - https://www.scopus.com/pages/publications/0029210351#tab=citedBy

U2 - 10.1109/HOTOS.1995.513460

DO - 10.1109/HOTOS.1995.513460

M3 - Conference contribution

SP - 86

EP - 89

BT - Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS

PB - IEEE

T2 - 5th Workshop on Hot Topics in Operating Systems (HOTOS-V)

Y2 - 4 May 1995 through 5 May 1995

ER -

Paramecium: An Extensible Object-Based Kernel

Abstract

Workshop

UN SDGs

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this