Policy algebras for access control the predicate case

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Conference on Computer and Communications Security

• Publication date

  2002-11-18

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1145/586110.586134
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A propositional policy algebra for access control

  2003cited by this paper
• Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

  2002cited by this paper
• Flexible support for multiple access control policies

  2001cited by this paper
• Dynamic logic

  2001cited by this paper
• Policy algebras for access control: the propositional case

  2001cited by this paper
• Role-based authorization constraints specification

  2000cited by this paper
• A modular approach to composing access control policies

  2000cited by this paper
• Enforceable security policies

  2000cited by this paper
• The ARBAC97 model for role-based administration of roles

  1999cited by this paper
• A flexible authorization mechanism for relational data management systems

  1999cited by this paper
• A logic for state transformations in authorization policies

  1997cited by this paper
• Role-Based Access Control Models

  1996cited by this paper
• A General Theory of Composition for a Class of "Possibilistic'' Properties

  1996cited by this paper
• Access control: principle and practice

  1994cited by this paper
• A general theory of composition for trace sets closed under selective interleaving functions

  1994cited by this paper
• A framework for expressing models of security policy

  1989cited by this paper
• The algebra of security

  1988cited by this paper
• The Foundations of Program Verification

  1987cited by this paper
• The Foundations of Program Verification, 2nd ed

  1987cited by this paper
• Defining Liveness

  1984cited by this paper
• The Science of Programming

  1981cited by this paper
• Soundness and Completeness of an Axiom System for Program Verification

  1978influential reference
• A mathematical introduction to logic

  1972influential reference

• A novel predicate based access control scheme for cloud environment using open stack swift storage

  2020cites this paper
• Mining Social Dependencies in Dynamic Interaction Networks

  2012cites this paper
• Policy Administration in Tag-Based Authorization

  2012cites this paper
• Multi-Decision Policy and Policy Combinator Specifications

  2012cites this paper
• TBA : A Hybrid of Logic and Extensional Access Control Systems

  2011cites this paper
• Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité. (Algebraic methods for designing and analyzing security policies)

  2011cites this paper
• Algebra and logic for access control

  2010cites this paper
• Evolution of the Ethane Architecture

  2009influential citation
• Access control policy combining: theory meets practice

  2009cites this paper
• Distributed event-based access control

  2009cites this paper
• Practical declarative network management

  2009influential citation
• Status-Based Access Control

  2008cites this paper
• Efficient access control for service-oriented IT infrastructures: enabling secure distributed service compositions

  2008cites this paper
• Expressing and Enforcing Flow-Based Network Security Policies

  2008influential citation
• An algebraic-functional framework for distributed access control

  2008cites this paper
• Enforcing Security Policies in Requirements Engineering Using AFUML

  2008cites this paper
• Query Evaluation in the Presence of Fine-grained Access Control

  2008cites this paper
• Technische Universität München Fakultät für Informatik Lehrstuhl III - Datenbanksysteme Efficient Access Control for Service-oriented IT Infrastructures

  2007cites this paper
• Do As I SaY! Programmatic Access Control with Explicit Identities

  2007cites this paper
• Dynamic Event-Based Access Control as Term Rewriting

  2007cites this paper
• Dezentrale rollenbasierte Autorisierung und Administrierung

  2007cites this paper
• Automated Trust Negotiation in Open Systems

  2007cites this paper
• Resolution for conflicts of inter-operation in multi-domain environment

  2007cites this paper
• Action-Status Access Control as Term Rewriting

  2007cites this paper
• The 2007 Federated Conference on Rewriting, Deduction and Programming Paris, France

  2007cites this paper
• Games for controls

  2006cites this paper
• Detecting and Resolving Redundancies in EP3P Policies

  2006cites this paper
• Abduction and Deduction in Logic Programming for Access Control for Autonomic Systems

  2005cites this paper
• Timed constraint programming: a declarative approach to usage control

  2005cites this paper
• Interactive Credential Negotiation for Stateful Business Processes

  2005cites this paper
• A Survey of Some Implementation Techniques for Security Membranes ?

  2005cites this paper
• A Hierarchical Release Control Policy Framework

  2004cites this paper
• Analyzing information flow control policies in requirements engineering

  2004cites this paper
• Introduction to Logical Foundations of an Adaptive Security Infrastructure

  2004cites this paper
• Interactive Access Control in Autonomic Communication

  2004cites this paper
• A Survey at the Beginning of the Millennium

  2003cites this paper
• An access control framework for business processes for web services

  2003cites this paper
• A unified scheme for resource protection in automated trust negotiation

  2003cites this paper
• Automated Trust Establishment in Open Systems

  2003cites this paper
• An Access Control System for Business Processes for Web Services

  2002influential citation
• Cyber Warfare

  2002cites this paper