Restricted delegation and revocation in language-based security (Position paper)

D. Hassan; M.R. Mousavi; M.A. Reniers

doi:10.1145/1814217.1814222

Restricted delegation and revocation in language-based security (Position paper)

D. Hassan, M.R. Mousavi, M.A. Reniers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

2 Citaten (Scopus)

Samenvatting

In this paper, we introduce a notion of restricted revocable delegation and study its consequences in language-based security. In particular, we add this notion by means of delegate and revoke commands to a simple imperative programming language. We then define an operational semantics for our programming language, in the Natural Semantics style of Gilles Kahn. We briefly discuss our initial ideas about the security properties of the semantics, which are extensions of existing variations of the renowned non-interference property, e.g., in the context of delimited information release.

Originele taal-2	Engels
Titel	Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010, Toronto, Canada, June 10, 2010)
Plaats van productie	New York NY
Uitgeverij	Association for Computing Machinery, Inc
Pagina's	5-1/7
ISBN van geprinte versie	978-1-60558-827-8
DOI's	https://doi.org/10.1145/1814217.1814222
Status	Gepubliceerd - 2010

Toegang tot document

10.1145/1814217.1814222

Citeer dit

Hassan, D., Mousavi, M. R., & Reniers, M. A. (2010). Restricted delegation and revocation in language-based security (Position paper). In Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010, Toronto, Canada, June 10, 2010) (blz. 5-1/7). Association for Computing Machinery, Inc. https://doi.org/10.1145/1814217.1814222

@inproceedings{88351d09e9a4498e9f9637ed34d21232,

title = "Restricted delegation and revocation in language-based security (Position paper)",

abstract = "In this paper, we introduce a notion of restricted revocable delegation and study its consequences in language-based security. In particular, we add this notion by means of delegate and revoke commands to a simple imperative programming language. We then define an operational semantics for our programming language, in the Natural Semantics style of Gilles Kahn. We briefly discuss our initial ideas about the security properties of the semantics, which are extensions of existing variations of the renowned non-interference property, e.g., in the context of delimited information release.",

author = "D. Hassan and M.R. Mousavi and M.A. Reniers",

year = "2010",

doi = "10.1145/1814217.1814222",

language = "English",

isbn = "978-1-60558-827-8",

pages = "5--1/7",

booktitle = "Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010, Toronto, Canada, June 10, 2010)",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

}

Hassan, D, Mousavi, MR & Reniers, MA 2010, Restricted delegation and revocation in language-based security (Position paper). in Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010, Toronto, Canada, June 10, 2010). Association for Computing Machinery, Inc, New York NY, blz. 5-1/7. https://doi.org/10.1145/1814217.1814222

Restricted delegation and revocation in language-based security (Position paper). / Hassan, D.; Mousavi, M.R.; Reniers, M.A.
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010, Toronto, Canada, June 10, 2010). New York NY: Association for Computing Machinery, Inc, 2010. blz. 5-1/7.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Restricted delegation and revocation in language-based security (Position paper)

AU - Hassan, D.

AU - Mousavi, M.R.

AU - Reniers, M.A.

PY - 2010

Y1 - 2010

N2 - In this paper, we introduce a notion of restricted revocable delegation and study its consequences in language-based security. In particular, we add this notion by means of delegate and revoke commands to a simple imperative programming language. We then define an operational semantics for our programming language, in the Natural Semantics style of Gilles Kahn. We briefly discuss our initial ideas about the security properties of the semantics, which are extensions of existing variations of the renowned non-interference property, e.g., in the context of delimited information release.

AB - In this paper, we introduce a notion of restricted revocable delegation and study its consequences in language-based security. In particular, we add this notion by means of delegate and revoke commands to a simple imperative programming language. We then define an operational semantics for our programming language, in the Natural Semantics style of Gilles Kahn. We briefly discuss our initial ideas about the security properties of the semantics, which are extensions of existing variations of the renowned non-interference property, e.g., in the context of delimited information release.

U2 - 10.1145/1814217.1814222

DO - 10.1145/1814217.1814222

M3 - Conference contribution

SN - 978-1-60558-827-8

SP - 5-1/7

BT - Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010, Toronto, Canada, June 10, 2010)

PB - Association for Computing Machinery, Inc

CY - New York NY

ER -

Restricted delegation and revocation in language-based security (Position paper)

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit