• DocumentCode
    1884735
  • Title

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

  • Author

    Varadharajan, Vijay ; Calvelli, Claudio

  • Author_Institution
    Hewlett-Packard Labs., Bristol, UK
  • fYear
    1994
  • fDate
    16-18 May 1994
  • Firstpage
    213
  • Lastpage
    229
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/RISP.1994.296579
  • Filename
    296579
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1884735