Beyond proof-of-compliance: safety and availability analysis in trust management

No abstract is available for this paper.

• Publication year

  2003

• Venue

  2003 Symposium on Security and Privacy, 2003.

• Publication date

  2003-05-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SECPRI.2003.1199332
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Distributed credential chain discovery in trust management

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

  2003cited by this paper
• RT: a Role-based Trust-management framework

  2003cited by this paper
• Analysis of SPKI/SDSI certificates using model checking

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

  2002cited by this paper
• A state-transition model of trust management and access control

  2001cited by this paper
• Athena: a novel approach to efficient automatic security protocol analysis

  2001cited by this paper
• Certificate chain discovery in SPKI/SDSI

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

  2000influential reference
• Efficient Algorithms for Model Checking Pushdown Systems

  2000cited by this paper
• SPKI Certificate Theory

  1999cited by this paper
• The KeyNote trust management system version2, IETF RFC 2704

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

  1999influential reference
• A logic for SDSI's linked local name spaces

  1999influential reference
• The KeyNote Trust-Management System

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

  1997influential reference
• The typed access matrix model

  1992cited by this paper
• The schematic protection model: its definition and analysis for acyclic attenuating schemes

  1988cited by this paper
• Foundations of logic programming; (2nd extended ed.)

  1987cited by this paper
• Foundations of Logic Programming

  1984cited by this paper
• Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae

  1984cited by this paper
• Michael R.Garey/David S.Johnson 著, "COMPUTERS AND INTRACTABILITY A guide to the Theory of NP-Completeness", FREEMAN, A5判変形判, 338+xii, \5,217, 1979

  1980cited by this paper
• Johnson: computers and intractability: a guide to the theory of np- completeness (freeman

  1979cited by this paper
• A Linear Time Algorithm for Deciding Subject Security

  1977cited by this paper
• On protection in operating systems

  1975influential reference

• Towards a Theory for Semantics and Expressiveness Analysis of Rule-Based Access Control Models

  2021cites this paper
• Forensic Analysis in Access Control: Foundations and a Case-Study from Practice

  2020cites this paper
• Forensic Analysis in Access Control: a Case-Study of a Cloud Application

  2019cites this paper
• Information Security Risk and Management in Organizational Network

  2019cites this paper
• Security Analysis of Relationship-Based Access Control Policies

  2018influential citation
• Current Research and Open Problems in Attribute-Based Access Control

  2017cites this paper
• Exact Detection of Information Leakage: Decidability and Complexity

  2017cites this paper
• An Access Control Model for Resource Sharing Based on the Role-Based Access Control Intended for Multi-Domain Manufacturing Internet of Things

  2017cites this paper
• A Novel Role-based Access Control Model in Cloud Environments

  2016cites this paper
• Exact Detection of Information Leakage in Database Access Control

  2015cites this paper
• WorSE: A Workbench for Model-based Security Engineering

  2014cites this paper
• Small TCBs of policy-controlled operating systems

  2014influential citation
• Detecting Information Leakage in Database Access Control With Help from Data Exchange

  2013cites this paper
• Reachability analysis for role-based administration of attributes

  2013cites this paper
• The Foundational Work of Harrison-Ruzzo-Ullman Revisited

  2013influential citation
• An Audit-Integrated ARBAC Model

  2012cites this paper
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXII

  2012cites this paper
• A visualization tool for evaluating access control policies in facebook-style social network systems

  2012cites this paper
• A logic-based safety analysis algorithm for discretionary access control

  2012cites this paper
• Privacy Preservation in Role-based Access Control Model

  2011cites this paper
• Time Validity in Role-Based Trust Management Inference System

  2011cites this paper
• A Formal Methodology for Detecting Managerial Vulnerabilities and Threats in an Enterprise Information System

  2011cites this paper
• Active access control (AAC) with fine-granularity and scalability

  2011cites this paper
• Access Control Policy Analysis with a Visualization Tool for Social Network Systems

  2011cites this paper
• Usage control in computer security: A survey

  2010cites this paper
• Resiliency Policies in Access Control

  2009cites this paper
• Safety in discretionary access control for logic-based publish-subscribe systems

  2009cites this paper
• Operational Semantics for DKAL: Application and Analysis

  2009cites this paper
• DKAL 2 — A Simplified and Improved Authorization Language

  2009cites this paper
• Visualizing Privacy Implications of Access Control Policies in Social Network Systems

  2009cites this paper
• Inference System for Role-Based Trust Management Languages

  2009cites this paper
• The Semantics of Role-Based Trust Management Languages

  2009cites this paper
• A System for Managing User Obligations

  2008cites this paper
• Enforcing security properties in task-based systems

  2008cites this paper
• Integrating Trust and Role for Secure Interoperation in Multi-Domain Environment

  2008cites this paper
• Role-based access control for boxed ambients

  2008cites this paper
• DKAL: Distributed-Knowledge Authorization Language

  2008cites this paper
• Research of Security Analysis of ARBAC Policy Based on Intelligence Planning

  2008cites this paper
• DISTRIBUTED-KNOWLEDGE AUTHORIZATION LANGUAGE JANUARY 2008 REVISION

  2008cites this paper
• A Survey of Usage Control in Computer Security

  2008cites this paper
• Database Issues in Trust Management and Trust Negotiation

  2008cites this paper
• Analysis of dynamic policies

  2008influential citation
• Adaptive trust management framework in P2P grid computing

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

  2008cites this paper
• Extending the Globus Architecture with Role-Based Trust Management

  2007cites this paper
• A role-based access control type system for boxed ambients

  2007cites this paper
• Logic-Based Access Control Policy Specification and Management

  2007cites this paper
• A Model of Trust for Developing Trustworthy Systems From Untrustworthy Actors

  2007cites this paper
• An Adaptive Parameter Control Strategy for Ant Colony Optimization

  2007cites this paper
• A theory for comparing the expressive power of access control models

  2007cites this paper
• Adaptive Trust Management in MANET

  2007cites this paper
• Efficient trust management policy analysis from rules

  2007cites this paper
• Automated Trust Negotiation in Open Systems

  2007cites this paper
• Specification and verification of security requirements in a programming model for decentralized CSCW systems

  2007cites this paper
• Adaptive Trust Management in MANET

  2007cites this paper
• Analysis and Synthesis of Authentication and Authorisation Mechanisms Against Subterfuge

  2007influential citation
• Access Control Requirements for Preventing Insider Threats

  2006cites this paper
• Requirements engineering for trust management: model, methodology, and reasoning

  2006cites this paper
• Language based policy analysis in a SPKI Trust Management System

  2006cites this paper
• A uniform framework for the modeling and analysis of security and trust with Crypto-CCS ? ( Preliminary version )

  2006cites this paper
• Security Analysis on Administrative Model of Role-Based Access Control

  2006cites this paper
• On the modeling and analysis of obligations

  2006cites this paper
• Authorization management framework based on joint trust-risk evaluation

  2006influential citation
• What can you say and what does it mean?

  2006cites this paper
• Technical Report NAS-TR-0042-2006 Understanding Equivalance in High-Level and Information Flow Policy

  2006cites this paper
• Inferring dynamic credentials for rôle-based trust management

  2006cites this paper
• TrustBAC: integrating trust relationships into the RBAC model for access control in open systems

  2006cites this paper
• Distributed Credential Chain Discovery in Trust-Management with Parameterized Roles

  2005cites this paper
• Towards an Integrated Formal Analysis for Security and Trust

  2005cites this paper
• On safety in discretionary access control

  2005influential citation
• Delegation depth control in trust-management system

  2005cites this paper
• Modeling Public Key Infrastructures in the Real World

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

  2005influential citation
• A theory based on security analysis for comparing the expressive power of access control models

  2005influential citation
• A Logic for Analysing Subterfuge in Delegation Chains

  2005influential citation
• SHEMP: Secure Hardware Enhanced MyProxy

  2005cites this paper
• Types for Security in a Mobile World

  2005cites this paper
• Distributed Certificate-Chain Discovery in SPKI/SDSI

  2005cites this paper
• OC : A System for Open Collaborations

  2005cites this paper
• Access control to people location information

  2005cites this paper
• Trust Management in Strand Spaces: A Rely-Guarantee Method

  2004cites this paper
• Security analysis in role-based access control

  2004cites this paper
• Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning

  2004cites this paper
• Research Statement Recent Accomplishments

  2004cites this paper
• Comparing the expressive power of access control models

  2004influential citation
• Logic in access control

  2003cites this paper
• A Logic Programming View of Authorization in Distributed Systems

  2003cites this paper
• Policy management using access control spaces

  2003cites this paper
• Automated Trust Establishment in Open Systems

  2003cites this paper
• An Introduction to Trust Negotiation

  2003cites this paper
• Cyber Warfare

  2002influential citation
• Network Security Management with High-level Security Policies

  year unknowncites this paper