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

Vijay Varadharajan; Claudio Calvelli

doi:10.1109/RISP.1994.296579

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 proceeding › Conference proceeding contribution › peer-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 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	https://doi.org/10.1109/RISP.1994.296579
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

Access to Document

10.1109/RISP.1994.296579

Cite this

@inproceedings{d60e5d64f67a45a9be79cd64825fe856,

title = "Extending the schematic protection model. I. conditional tickets and authentication",

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.",

author = "Vijay Varadharajan and Claudio Calvelli",

year = "1994",

doi = "10.1109/RISP.1994.296579",

language = "English",

isbn = "0818656778",

pages = "213--226",

booktitle = "Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy ; Conference date: 16-05-1994 Through 18-05-1994",

}

Varadharajan, V & Calvelli, C 1994, Extending the schematic protection model. I. conditional tickets and authentication. in Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy., 296579, Institute of Electrical and Electronics Engineers (IEEE), Pistacaway, NJ, pp. 213-226, Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy, Oakland, CA, USA, 16/05/94. https://doi.org/10.1109/RISP.1994.296579

Extending the schematic protection model. I. conditional tickets and authentication. / Varadharajan, Vijay; Calvelli, Claudio.

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy. Pistacaway, NJ : Institute of Electrical and Electronics Engineers (IEEE), 1994. p. 213-226 296579.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

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

AU - Varadharajan, Vijay

AU - Calvelli, Claudio

PY - 1994

Y1 - 1994

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0028062623&partnerID=8YFLogxK

U2 - 10.1109/RISP.1994.296579

DO - 10.1109/RISP.1994.296579

M3 - Conference proceeding contribution

AN - SCOPUS:0028062623

SN - 0818656778

SN - 0818656751

SP - 213

EP - 226

BT - Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Pistacaway, NJ

T2 - Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy

Y2 - 16 May 1994 through 18 May 1994

ER -

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

Abstract

Other

Access to Document

Other files and links

Fingerprint

Cite this