A metamodel of access control for distributed environments: applications and properties

DOI10.1016/j.ic.2014.07.009zbMath1360.68206OpenAlexW2000492088MaRDI QIDQ462495

Maribel Fernández, Clara Bertolissi

Publication date: 20 October 2014

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2014.07.009

zbMATH Keywords

operational semanticsrewritingsecurity policiesdistributed access control

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Distributed systems (68M14)

Related Items (1)

A graph-based framework for the analysis of access control policies

Uses Software

• Jakarta
• OBJ3
• Maude
• ITP
• SCC
• A3PAT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intersection type assignment systems with higher-order algebraic rewriting
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
• A meta-model of access control in a fibred security language
• An extension of basic functionality theory for \(\lambda\)-calculus
• Narrowing based procedures for equational disunification
• Combinatory reduction systems: Introduction and survey
• Normalization results for typeable rewrite systems
• On theories with a combinatorial definition of 'equivalence'
• Channel dependent types for higher-order mobile processes
• Flexible support for multiple access control policies
• Specifying and Reasoning About Dynamic Access-Control Policies
• An Efficient Unification Algorithm
• Logic programming and knowledge representation
• Logics in Artificial Intelligence
• Term Rewriting and Applications

This page was built for publication: A metamodel of access control for distributed environments: applications and properties