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 language||English (US)|
|Number of pages||1|
|Journal||Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy|
|State||Published - 1997|
|Event||Proceedings of the 1997 IEEE Symposium on Security and Privacy - Oakland, CA, USA|
Duration: May 4 1997 → May 7 1997
ASJC Scopus subject areas