A metamodel of access control for distributed environments: applications and properties
From MaRDI portal
Publication:462495
DOI10.1016/J.IC.2014.07.009zbMATH Open1360.68206OpenAlexW2000492088MaRDI QIDQ462495FDOQ462495
Authors: Clara Bertolissi, Maribel Fernández 
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
Recommendations
- A meta-model of access control in a fibred security language
- Semantic access control model: a formal specification
- A metamodel for the design of access-control policy enforcement managers: work in progress
- A metamodel of the B modeling of access-control policies: work in progress
- A computational model of XACML-based access control management in distributed networks
Grammars and rewriting systems (68Q42) Distributed systems (68M14) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- The lambda calculus. Its syntax and semantics. Rev. ed.
- An extension of basic functionality theory for \(\lambda\)-calculus
- Combinatory reduction systems: Introduction and survey
- On theories with a combinatorial definition of 'equivalence'
- An Efficient Unification Algorithm
- Normalization results for typeable rewrite systems
- Logic programming and knowledge representation
- Term Rewriting and Applications
- Flexible support for multiple access control policies
- Specifying and Reasoning About Dynamic Access-Control Policies
- A meta-model of access control in a fibred security language
- Narrowing based procedures for equational disunification
- Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
- Channel dependent types for higher-order mobile processes
- Title not available (Why is that?)
- Logics in Artificial Intelligence
- Intersection type assignment systems with higher-order algebraic rewriting
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
Cited In (10)
- A computational model of XACML-based access control management in distributed networks
- Tableaux methods for access control in distributed systems
- A graph-based framework for the analysis of access control policies
- A meta-model of access control in a fibred security language
- Distributed Computing – IWDC 2005
- A metamodel for the design of access-control policy enforcement managers: work in progress
- A metamodel of the B modeling of access-control policies: work in progress
- Access control and obligations in the category-based metamodel: a rewrite-based semantics
- Semantic access control model: a formal specification
- Decentralized governance of distributed systems via interaction control
Uses Software
This page was built for publication: A metamodel of access control for distributed environments: applications and properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q462495)
