Access control for the SPIN extensible operating system

Robert Grimm, Brian N. Bershad

Research output: Contribution to journalConference articlepeer-review


A security mechanism for the access control of SPIN extensible operating system with a version of domain and type enforcement (DTE) is presented. It associates subjects with domains and objects with type, and define legal access modes for repair of domains and types. This access control mechanism provides a solid foundation for future work on security in SPIN and other extensible systems since these systems support fine-grained composition of extensions in a single address space.

Original languageEnglish (US)
Number of pages1
JournalProceedings of the IEEE Computer Society Symposium on Research in Security and Privacy
StatePublished - 1997
EventProceedings of the 1997 IEEE Symposium on Security and Privacy - Oakland, CA, USA
Duration: May 4 1997May 7 1997

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Access control for the SPIN extensible operating system'. Together they form a unique fingerprint.

Cite this