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

DOI10.1007/978-3-319-17822-6_9zbMATH Open1457.68027OpenAlexW641318568MaRDI QIDQ2949705FDOQ2949705

Sandra Alves, Maribel Fernández, Anatoli I. 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

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

Cited In (3)

• \texttt{EVL}: a typed higher-order functional language for events
• A meta-model of access control in a fibred security language
• A Typed Language for Events

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2949705)