Extension of work done in "A Simple and Expressive Semantic Framework for Policy Composition in Access Control" at ACM Formal Methods in Security Engineering
Home Page:https://dl.acm.org/citation.cfm?id=1314439
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool