Access control for the SPIN extensible operating system

Robert Grimm, Brian N. Bershad

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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)
Title of host publicationProceedings of the IEEE Computer Society Symposium on Research in Security and Privacy
Editors Anon
PublisherIEEE
Pages205
Number of pages1
StatePublished - 1997
EventProceedings of the 1997 IEEE Symposium on Security and Privacy - Oakland, CA, USA
Duration: May 4 1997May 7 1997

Other

OtherProceedings of the 1997 IEEE Symposium on Security and Privacy
CityOakland, CA, USA
Period5/4/975/7/97

Fingerprint

Access control
Repair
Chemical analysis

ASJC Scopus subject areas

  • Software

Cite this

Grimm, R., & Bershad, B. N. (1997). Access control for the SPIN extensible operating system. In Anon (Ed.), Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy (pp. 205). IEEE.

Access control for the SPIN extensible operating system. / Grimm, Robert; Bershad, Brian N.

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy. ed. / Anon. IEEE, 1997. p. 205.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Grimm, R & Bershad, BN 1997, Access control for the SPIN extensible operating system. in Anon (ed.), Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy. IEEE, pp. 205, Proceedings of the 1997 IEEE Symposium on Security and Privacy, Oakland, CA, USA, 5/4/97.
Grimm R, Bershad BN. Access control for the SPIN extensible operating system. In Anon, editor, Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy. IEEE. 1997. p. 205
Grimm, Robert ; Bershad, Brian N. / Access control for the SPIN extensible operating system. Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy. editor / Anon. IEEE, 1997. pp. 205
@inproceedings{acfa67fceaf44fea8eb8b6414a30a855,
title = "Access control for the SPIN extensible operating system",
abstract = "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.",
author = "Robert Grimm and Bershad, {Brian N.}",
year = "1997",
language = "English (US)",
pages = "205",
editor = "Anon",
booktitle = "Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy",
publisher = "IEEE",

}

TY - GEN

T1 - Access control for the SPIN extensible operating system

AU - Grimm, Robert

AU - Bershad, Brian N.

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030672128&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030672128&partnerID=8YFLogxK

M3 - Conference contribution

SP - 205

BT - Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

A2 - Anon, null

PB - IEEE

ER -