Logics for Authorizations and Security
2004 ◽
pp. 277-323
◽