115 

   116 @inproceedings{gran12,

   117   author    = {M.~Bugliesi and

   118                S.~Calzavara and

   119                R.~Focardi and

   120                M.~Squarcina},

   121   title     = {{G}ran: {M}odel {C}hecking {G}rsecurity {RBAC} {P}olicies},

   122   booktitle = {Proc.~of the 25th IEEE Computer Security Foundations Symposium (CSF)},

   123   year      = {2012},

   124   pages     = {126--138}

   125 }