Logic in access control

No abstract is available for this paper.

• Publication year

  2003

• Venue

  18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.

• Publication date

  2003-06-22

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/LICS.2003.1210062
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On Access Control, Data Integration, and Their Languages

  2004cited by this paper
• A logical framework for reasoning about access control models

  2003cited by this paper
• Beyond proof-of-compliance: safety and availability analysis in trust management

  2003cited by this paper
• DATALOG with Constraints: A Foundation for Trust Management Languages

  2003cited by this paper
• A General and Flexible Access-Control System for the Web

  2002cited by this paper
• Design of a role-based trust-management framework

  2002cited by this paper
• Binder, a logic-based security language

  2002cited by this paper
• A logical reconstruction of SPKI

  2001cited by this paper
• SD3: a trust management system with certified evaluation

  2001cited by this paper
• A Logic of Access Control

  2001cited by this paper
• SAFKASI

  2000cited by this paper
• Delegation Logic: A Logic-based Approach to Distrbuted Authorization

  2000cited by this paper
• A Formal Semantics for SPKI

  2000cited by this paper
• Local names in SPKI/SDSI

  2000cited by this paper
• The KeyNote Trust-Management System Version 2

  1999cited by this paper
• Proof-carrying authentication

  1999cited by this paper
• A logic for SDSI's linked local name spaces

  1999cited by this paper
• On SDSI’s linked local name spaces

  1997cited by this paper
• The TSIMMIS Approach to Mediation: Data Models and Languages

  1997cited by this paper
• Proof-carrying code

  1997cited by this paper
• A logical language for expressing authorizations

  1997cited by this paper
• A unified framework for enforcing multiple access control policies

  1997cited by this paper
• Query processing in heterogeneous information systems

  1997cited by this paper
• SDSI - A Simple Distributed Security Infrastructure

  1996cited by this paper
• Decentralized trust management

  1996cited by this paper
• Authentication in the Taos operating system

  1993cited by this paper
• Naming and Identity in Epistemic Logics Part I: The Propositional Case

  1993cited by this paper
• Authentication in distributed systems

  1992cited by this paper
• A calculus for access control in distributed systems

  1991cited by this paper
• The Digital Distributed System Security Architecture

  1989cited by this paper
• Design and verification of secure systems

  1981cited by this paper
• On protection in operating systems

  1975cited by this paper

• Private Virtual Tree Networks for Secure Multi-Tenant Environments Based on the VIRGO Overlay Network

  2025cites this paper
• Polytime embedding of intuitionistic modal logics into their one-variable fragments

  2024cites this paper
• Proof-theoretic Semantics for the Logic of Bunched Implications

  2023cites this paper
• Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control

  2023influential citation
• Efficient Methods for Implementation of Generalized Access Structures

  2022cites this paper
• The logic of secrets and the interpolation rule

  2022cites this paper
• A Novel Software Tool for Analysing NT

  2021cites this paper
• ScholarlyCommons ScholarlyCommons

  2020cites this paper
• SoK: Three Facets of Privacy Policies

  2019cites this paper
• Three Dimensions of Privacy Policies

  2019cites this paper
• Proof-Carrying Network Code

  2019cites this paper
• A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions

  2019cites this paper
• Visually Identifying Potential Sensitive Information Leaks in Access-Controlled Data Services

  2019cites this paper
• Semantics for Secure Software

  2019cites this paper
• Intuitionistic Modal Logic: A 15-year retrospective

  2018cites this paper
• Norm-based deontic logic for access control, some computational results

  2018cites this paper
• Kripke Semantics for BL0 and BL – Technical report

  2017cites this paper
• Layered graph logic as an assertion language for access control policy models

  2017cites this paper
• Distributed Autoepistemic Logic and its Application to Access Control

  2016cites this paper
• A Calculus for Flow-Limited Authorization

  2016cites this paper
• Large-scale systems security evolution: control theory approach

  2015cites this paper
• Flow-Limited Authorization

  2015cites this paper
• STOVEPipe: Observable Access Control of User Data for Untrusted Applications on Mobile Devices

  2014cites this paper
• 1-1-2010 Towards Secure Cloud Data Management

  2014cites this paper
• Integrated Modeling and Evolution of Social Software

  2014cites this paper
• Business Policy Modeling and Enforcement in Relational Database Systems

  2014cites this paper
• Amulet: a secure architecture for mHealth applications for low-power wearable devices

  2014cites this paper
• Techniques for security configuration management in distributed information systems. (Approches pour la gestion de configurations de sécurité dans les systèmes d'information distribués)

  2014cites this paper
• Towards an Authorization Framework for App Security Checking

  2014cites this paper
• Secure Data Provenance and Inference Control with Semantic Web

  2014influential citation
• ScholarlyCommons Technical Reports ( CIS ) Department of Computer & Information Science April 2008 AURA : Preliminary Technical Results

  2014cites this paper
• Noninterference in a predicative polymorphic calculus for access control

  2013cites this paper
• A Novel Software Tool for Analysing NT File System Permissions

  2013cites this paper
• A model of distributed rights allocation in online social interaction : a thesis presented in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information Technology at Massey University, Albany, Auckland, New Zealand

  2013cites this paper
• Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach

  2013cites this paper
• A New Access Control Scheme for Facebook-Style Social Networks

  2013cites this paper
• Integration of Quantitative Methods for Risk Evaluation within Usage Control Policies

  2013cites this paper
• Cost-Effective Enforcement of Access and Usage Control Policies Under Uncertainties

  2013cites this paper
• Belief semantics of authorization logic

  2013influential citation
• Extending Multivalued Dependencies for Refactoring Access Control Policies

  2013cites this paper
• Dynamic Access Control Policies: Specification and Verification

  2013cites this paper
• Primal Infon Logic: Derivability in Polynomial Time

  2013cites this paper
• Modelling and verifying dynamic access control policies using knowledge-based model checking

  2012cites this paper
• A Prototype for Enforcing Usage Control Policies Based on XACML

  2012cites this paper
• Affine Refinement Types for Authentication and Authorization

  2012cites this paper
• Searching for the Optimal Proof Schedule in a Proof-Carrying Survivability Paradigm - A Dynamic, Interactive Approach

  2012cites this paper
• Labeled Goal-Directed Search in Access Control Logic

  2012cites this paper
• Network of Excellence Deliverable D10.3 Prototype Tools to Support Risk and Cost Analysis

  2012cites this paper
• Privacy-Preserving Trust Establishment with Web Service Enhancements

  2012cites this paper
• Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction

  2012cites this paper
• A Formal Support for Collaborative Data Sharing

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

  2012cites this paper
• A Framework for Decentralized Physical Access Control using Finite State Automata

  2012cites this paper
• Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis

  2012cites this paper
• Improving the Security of Cloud Computing using Trusted Computing Technology

  2012cites this paper
• Permission to speak: A logic for access control and conformance

  2011influential citation
• Access and Usage Control in Grid

  2011cites this paper
• An answer set programming based formal language for complex XML authorisations with temporal constraints

  2011cites this paper
• A Proof-Carrying File System with Revocable and Use-Once Certificates

  2011cites this paper
• On Critical Infrastructure Protection and International Agreements

  2011cites this paper
• Dynamics in Delegation and Revocation Schemes: A Logical Approach

  2011cites this paper
• 0 On Critical Infrastructure Protection and International Agreements

  2011cites this paper
• A language for provenance access control

  2011cites this paper
• Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols

  2011cites this paper
• A Design Phase for Data Sharing Agreements

  2011cites this paper
• New Modalities for Access Control Logics: Permission, Control and Ratification

  2011cites this paper
• Secured data provenance using semantic web technologies

  2011cites this paper
• Discovering credentials in the content centric network

  2011cites this paper
• Information Stewardship in the Cloud : A Model-based Approach

  2010cites this paper
• Algebra and logic for access control

  2010cites this paper
• Context-Aware Analysis of Data Sharing Agreements

  2010cites this paper
• Distributed programming with distributed authorization

  2010cites this paper
• Using ASP for knowledge management with user authorization

  2010cites this paper
• NORMATIVE LOGIC BASED SEMANTIC-AWARE AUTHORIZATION MODEL

  2010cites this paper
• Authorization models for secure information sharing: a survey and research agenda

  2010cites this paper
• Information Stewardship in Cloud Computing

  2010cites this paper
• Decentralized XACML Overlay Network

  2010cites this paper
• Regulatory conformance checking: logic and logical form

  2010influential citation
• Towards authorisation models for secure information sharing: a survey and research agenda

  2010cites this paper
• Cooperative Policy Control for Peer›to›Peer Data Distribution

  2010cites this paper
• A Type System for Access Control Views in Object-Oriented Languages

  2010cites this paper
• Towards a data-centric view of cloud security

  2010cites this paper
• THE DESIGN AND ANALYSIS OF CONTEXT-AWARE , SECURE WORKFLOW SYSTEMS

  2010cites this paper
• Overlap Analysis of the Images from Unmanned Aerial Vehicles

  2010cites this paper
• Towards Secure Cloud Data Management

  2010cites this paper
• An agent-based approach for policy enforcement in secure workflow systems

  2010cites this paper
• The security of cloud computing system enabled by trusted computing technology

  2010cites this paper
• Flexible Access Control for Dynamic Collaborative Environments

  2009cites this paper
• Encoding information flow in Aura

  2009cites this paper
• FSL - Fibred Security Language

  2009cites this paper
• Using Web Service Enhancements to Establish Trust Relationships with Privacy Protection (Extended and Invited from ICWS 2006 with id 47)

  2009cites this paper
• Dynamic management of capabilities in a network aware coordination language

  2009cites this paper
• Logic in Access Control (Tutorial Notes)

  2009cites this paper
• A Meta-model of Access Control in a Fibred Security Language

  2009cites this paper
• Declarative Reconfigurable Trust Management

  2009cites this paper
• Proof Search in an Authorization Logic

  2009cites this paper
• Encoding Information Flow in AURA, Technical Appendix

  2009cites this paper
• Encoding information flow in AURA

  2009cites this paper
• Evolution of the Ethane Architecture

  2009influential citation
• A Type System for Access Control in an Object-Oriented Language

  2009cites this paper