Model checking agent knowledge in dynamic access control policies

Masoud Koleini; Eike Ritter; Mark Ryan

doi:10.1007/978-3-642-36742-7_31

Model checking agent knowledge in dynamic access control policies

Masoud Koleini, Eike Ritter, Mark Ryan

Computer Science

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

5 Citations (Scopus)

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Editors	N Piterman, SA Smolka
Publisher	Springer
Pages	448-462
ISBN (Electronic)	978-3-642-36742-7
ISBN (Print)	978-3-642-36741-0
DOIs	https://doi.org/10.1007/978-3-642-36742-7_31
Publication status	Published - 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7795
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-36742-7_31

http://link.springer.com/chapter/10.1007/978-3-642-36742-7_31

Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Ryan, M.
Engineering & Physical Science Research Council
1/04/10 → 30/09/15
Project: Research Councils

Cite this

Koleini, M., Ritter, E., & Ryan, M. (2013). Model checking agent knowledge in dynamic access control policies. In N. Piterman, & SA. Smolka (Eds.), Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings (pp. 448-462). (Lecture Notes in Computer Science; Vol. 7795). Springer. https://doi.org/10.1007/978-3-642-36742-7_31

Koleini, Masoud ; Ritter, Eike ; Ryan, Mark. / Model checking agent knowledge in dynamic access control policies. Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. editor / N Piterman ; SA Smolka. Springer, 2013. pp. 448-462 (Lecture Notes in Computer Science).

@inproceedings{06eca3c164b6464eb4c5104b8168e17b,

title = "Model checking agent knowledge in dynamic access control policies",

author = "Masoud Koleini and Eike Ritter and Mark Ryan",

year = "2013",

doi = "10.1007/978-3-642-36742-7_31",

language = "English",

isbn = "978-3-642-36741-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "448--462",

editor = "N Piterman and SA Smolka",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

}

Koleini, M, Ritter, E & Ryan, M 2013, Model checking agent knowledge in dynamic access control policies. in N Piterman & SA Smolka (eds), Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Lecture Notes in Computer Science, vol. 7795, Springer, pp. 448-462. https://doi.org/10.1007/978-3-642-36742-7_31

Model checking agent knowledge in dynamic access control policies. / Koleini, Masoud; Ritter, Eike ; Ryan, Mark.
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. ed. / N Piterman; SA Smolka. Springer, 2013. p. 448-462 (Lecture Notes in Computer Science; Vol. 7795).

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

TY - GEN

T1 - Model checking agent knowledge in dynamic access control policies

AU - Koleini, Masoud

AU - Ritter, Eike

AU - Ryan, Mark

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-36742-7_31

DO - 10.1007/978-3-642-36742-7_31

M3 - Conference contribution

SN - 978-3-642-36741-0

T3 - Lecture Notes in Computer Science

SP - 448

EP - 462

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Piterman, N

A2 - Smolka, SA

PB - Springer

ER -

Koleini M, Ritter E , Ryan M. Model checking agent knowledge in dynamic access control policies. In Piterman N, Smolka SA, editors, Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer. 2013. p. 448-462. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-36742-7_31

Model checking agent knowledge in dynamic access control policies

Publication series

Access to Document

Projects

Leadership Fellowships 2009 : Analysing Security and Privacy Properties

Cite this