Abstract
The Schematic Protection Model, SPM, allows us to specify the protection structure of a system and gives an algorithm to reason about the transmission of privileges in the system. This paper extends the SPM model to include for conditional tickets and to provide authentication. We also extend the decision algorithm of the safety problem to take into account these modifications.
Original language | English |
---|---|
Title of host publication | Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy |
Place of Publication | Pistacaway, NJ |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 213-226 |
Number of pages | 14 |
ISBN (Print) | 0818656778, 0818656751 |
DOIs | |
Publication status | Published - 1994 |
Externally published | Yes |
Event | Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy - Oakland, CA, USA Duration: 16 May 1994 → 18 May 1994 |
Other
Other | Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy |
---|---|
City | Oakland, CA, USA |
Period | 16/05/94 → 18/05/94 |