Fabio Massacci Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control. 421-435 1997 conf/ecsqaru/1997 ECSQARU-FAPR db/conf/ecsqaru/ecsqaru1997.html#Massacci97 http://dx.doi.org/10.1007/BFb0035639