Access control and obligations in the category-based metamodel: a rewrite-based semantics

DOI10.1007/978-3-319-17822-6_9MaRDI QIDQ2949705zbMATH OpenOpenAlexFDO

Authors Sandra Alves, Anatoli I. Degtyarev, Maribel Fernández

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)

Recommendations

• On obligations
• Semantic role based access control model
• A Logical Approach to Dynamic Role-Based Access Control
• scientific article; zbMATH DE number 1925554
• A metamodel of access control for distributed environments: applications and properties

Cited in

(4)

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

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)