Journal Article10.1504/IJICS.2009.031042
Distributed event-based access control
6
TL;DR: An event-based access control model that takes into account the behaviour of distributed systems, and the declarative nature of the model facilitates the analysis of policies, and direct implementations for access control checking even when resources and information are widely dispersed.
read more
Abstract: We propose an event-based access control model, called Distributed-DEBAC, that takes into account the behaviour of distributed systems. Distributed-DEBAC policies are specified using an algebraic-functional framework. The declarative nature of the model facilitates the analysis of policies, and direct implementations for access control checking even when resources and information are widely dispersed. We give examples of application.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A metamodel of access control for distributed environments
TL;DR: A declarative formalism is used in order to give an operational semantics to the distributed metamodel, and it is shown how properties of policies can be directly obtained from standard results for the operational semantics of access request evaluation.
46
A graph-based framework for the analysis of access control policies
TL;DR: A graph-based framework for the analysis of access control policies that aims at easing the specification and verification tasks for security administrators and shows applications in the context of emergency situations, where the framework can be used to analyse the interaction between access control and emergency management.
21
A Framework for the Analysis of Access Control Policies with Emergency Management
Sandra Alves,Maribel Fernández +1 more
TL;DR: A framework for the analysis of access control policies that aims at easing the specification and verification tasks for security administrators is defined and applications in the context of emergency situations are shown, where the framework can be used to analyse the interaction between access control and emergency management.
15
Automated analysis of rule-based access control policies
Clara Bertolissi,Worachet Uttha +1 more
- 22 Jan 2013
TL;DR: It is shown that automated analysis of rewrite-based security policies can be done using the CiME rewriting tool which is able to produce mechanically checkable traces of security policy properties, for instance through the Coq proof assistant.
10
Rewrite specifications of access control policies in distributed environments
Clara Bertolissi,Maribel Fernández +1 more
- 23 Sep 2010
TL;DR: This work defines a metamodel for access control that takes into account the requirements of distributed environments, where resources and access control policies may be distributed across several sites, and shows how various distributed access control models can be derived as instances of the distributed metAModel.
9
References
Role-based access control models
TL;DR: Why RBAC is receiving renewed attention as a method of security administration and review is explained, a framework of four reference models developed to better understandRBAC is described, and the use of RBAC to manage itself is discussed.
6.1K
•Book
Term rewriting and all that
Franz Baader,Tobias Nipkow +1 more
- 01 Jan 1998
TL;DR: This chapter discusses abstract reduction systems, universal algebra, and Grobner bases and Buchberger's algorithm, and a bluffer's guide to ML Bibliography Index.
2.8K
A calculus for access control in distributed systems
TL;DR: This work provides a logical language for accesss control lists and theories for deciding whether requests should be granted, and studies some of the concepts, protocols, and algorithms for access control in distributed systems from a logical perspective.
Logic programming and knowledge representation
Chitta Baral,Michael Gelfond +1 more
TL;DR: This paper considers extensions of the language of definite logic programs by classical (strong) negation, disjunction, and some modal operators and shows how each of the added features extends the representational power of thelanguage.
519
•Journal Article
The Maude 2.0 system
Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn L. Talcott +6 more
TL;DR: Maude 2.0 as discussed by the authors is the most recent version of the Maude system, which supports rewriting logic and membership equational logic, operational semantics issues, new built-in modules, the more general Full Maude module algebra, the new META-LEVEL module, the LTL model checker, and new implementation techniques yielding substantial performance improvements in rewriting modulo.
279