A metamodel of access control for distributed environments: applications and properties
From MaRDI portal
(Redirected from Publication:462495)
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
Cites work
- scientific article; zbMATH DE number 2043522 (Why is no real title available?)
- scientific article; zbMATH DE number 1848374 (Why is no real title available?)
- A meta-model of access control in a fibred security language
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
- Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
- An Efficient Unification Algorithm
- An extension of basic functionality theory for -calculus
- Channel dependent types for higher-order mobile processes
- Combinatory reduction systems: Introduction and survey
- Flexible support for multiple access control policies
- Intersection type assignment systems with higher-order algebraic rewriting
- Logic programming and knowledge representation
- Logics in Artificial Intelligence
- Narrowing based procedures for equational disunification
- Normalization results for typeable rewrite systems
- On theories with a combinatorial definition of 'equivalence'
- Specifying and Reasoning About Dynamic Access-Control Policies
- Term Rewriting and Applications
- The lambda calculus. Its syntax and semantics. Rev. ed.
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
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)
