Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics

DOI10.1007/978-3-319-17822-6_9zbMath1457.68027OpenAlexW641318568MaRDI QIDQ2949705

Sandra Alves, Maribel Fernández, Anatoli Degtyarev

Publication date: 2 October 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/5221

zbMATH Keywords

rewritingaccess controlsecurity policiesobligations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Computer security (68M25)

Related Items (2)

\texttt{EVL}: a typed higher-order functional language for events ⋮ A Typed Language for Events

This page was built for publication: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics