changeset 16 | a5f4dc4bbc5d |
parent 2 | 301f567e2a8e |
--- a/document/root.bib Fri Sep 06 14:55:53 2013 +0100 +++ b/document/root.bib Fri Sep 20 12:14:39 2013 +0100 @@ -112,3 +112,14 @@ number = {1--2}, pages = {85--128} } + +@inproceedings{gran12, + author = {M.~Bugliesi and + S.~Calzavara and + R.~Focardi and + M.~Squarcina}, + title = {{G}ran: {M}odel {C}hecking {G}rsecurity {RBAC} {P}olicies}, + booktitle = {Proc.~of the 25th IEEE Computer Security Foundations Symposium (CSF)}, + year = {2012}, + pages = {126--138} +}