A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What makes Rosetta different from existing approaches is that its syntax is essentially a fragment of English. The language also has formal semantics, and we can prove whether a permission follows from a set of Rosetta policies in polynomial time. These features make it fairly easy for policy language developers to provide translations between their languages and ours. As a result, policy writers and (human) readers can create and access policies via the interface of their choice; these policies can be translated to Rosetta; and once in Rosetta can be translated to an appropriate language for enforcement. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Weissman, V., & Lagoze, C. (2004). Towards a policy language for humans and computers. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3232, 513–525. https://doi.org/10.1007/978-3-540-30230-8_47
Mendeley helps you to discover research relevant for your work.