Title :
Extending the schematic protection model. I. Conditional tickets and authentication
Author :
Varadharajan, Vijay ; Calvelli, Claudio
Author_Institution :
Hewlett-Packard Labs., Bristol, UK
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
Keywords :
message authentication; security of data; authentication; conditional tickets; decision algorithm; safety problem; schematic protection model; Authentication; Information resources; Protection; Safety; Scanning probe microscopy; Sections;
Conference_Titel :
Research in Security and Privacy, 1994. Proceedings., 1994 IEEE Computer Society Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-5675-1
DOI :
10.1109/RISP.1994.296579
