Extending the schematic protection model. I. conditional tickets and authentication

Vijay Varadharajan*, Claudio Calvelli

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

3 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings of the IEEE Computer Society Symposium on Research in Security and Privacy
Place of PublicationPistacaway, NJ
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages213-226
Number of pages14
ISBN (Print)0818656778, 0818656751
DOIs
Publication statusPublished - 1994
Externally publishedYes
EventProceedings of the 1994 IEEE Symposium on Research in Security and Privacy - Oakland, CA, USA
Duration: 16 May 199418 May 1994

Other

OtherProceedings of the 1994 IEEE Symposium on Research in Security and Privacy
CityOakland, CA, USA
Period16/05/9418/05/94

Fingerprint Dive into the research topics of 'Extending the schematic protection model. I. conditional tickets and authentication'. Together they form a unique fingerprint.

Cite this