Giters

dantasfiles / Aspects-of-Access-Control

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

dantasfiles/Aspects-of-Access-Control Stargazers