A Proof-Carrying File System

No abstract is available for this paper.

• Publication year

  2010

• Venue

  IEEE Symposium on Security and Privacy

• Publication date

  2010-05-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SP.2010.28
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Nexus authorization logic (NAL): Design rationale and applications

  2011influential reference
• SecPAL: Design and semantics of a decentralized authorization language

  2010influential reference
• Distributed programming with distributed authorization

  2010cited by this paper
• Proof Theory for Authorization Logic and its Application to a Practical File System

  2009cited by this paper
• Abductive Authorization Credential Gathering

  2009cited by this paper
• Proof Search in an Authorization Logic

  2009cited by this paper
• On Secure Distributed Implementations of Dynamic Access Control

  2008cited by this paper
• AURA: a programming language for authorization and audit

  2008cited by this paper
• A Modal Deconstruction of Access Control Logics

  2008cited by this paper
• A Logic for Reasoning About Time-Dependent Access Control Policies

  2008cited by this paper
• DKAL: Distributed-Knowledge Authorization Language

  2008cited by this paper
• An Authorization Logic With Explicit Time

  2008cited by this paper
• Alpaca: extensible authorization for distributed services

  2007cited by this paper
• Soutei, a Logic-Based Trust-Management System

  2006influential reference
• Non-interference in constructive authorization logic

  2006influential reference
• Specifying and Reasoning About Dynamic Access-Control Policies

  2006cited by this paper
• Access control in a core calculus of dependency

  2006cited by this paper
• Secure capabilities for a petabyte-scale object-based distributed file system

  2005cited by this paper
• Device-Enabled Authorization in the Grey-System

  2005cited by this paper
• Internet X.509 Public Key Infrastructure LDAP Schema for X.509 Attribute Certificates

  2004cited by this paper
• Cassandra: flexible trust management, applied to electronic health records

  2004cited by this paper
• A judgmental analysis of linear logic

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

  2003cited by this paper
• The STRONGMAN architecture

  2003cited by this paper
• Access control for the web via proof-carrying authorization

  2003influential reference
• OpenSSL : The open source toolkit for SSL/TSL

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

  2002influential reference
• A judgmental reconstruction of modal logic

  2001cited by this paper
• Capability File Names: Separating Authorisation From User Management in an Internet File System

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

  2001cited by this paper
• Authenticating Network-Attached Storage

  2000cited by this paper
• Internet X.509 Public Key Infrastructure Certificate and CRL Profile

  1999cited by this paper
• Proof-carrying authentication

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

  1999cited by this paper
• Local type inference

  1998cited by this paper
• Security for Network Attached Storage Devices

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

  1994cited by this paper
• Uniform Proofs as a Foundation for Logic Programming

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

  1991cited by this paper
• Logic programming in a fragment of intuitionistic linear logic

  1991cited by this paper
• Authentication in distributed systems: theory and practice

  1991cited by this paper
• The collected papers of Gerhard Gentzen

  1969cited by this paper
• Untersuchungen über das logische Schließen. I

  1935cited by this paper
• Proceedings of Fast '03: 2nd Usenix Conference on File and Storage Technologies 2nd Usenix Conference on File and Storage Technologies Block-level Security for Network-attached Disks

  year unknowncited by this paper

• Treaty: Secure Distributed Transactions

  2022cites this paper
• Modelling human threats in security ceremonies

  2022cites this paper
• Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures

  2022cites this paper
• Avocado: A Secure In-Memory Distributed Storage System

  2021cites this paper
• Information Systems Security and Privacy: 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers

  2020cites this paper
• A Fine-grained General Purpose Secure Storage Facility for Trusted Execution Environment

  2019cites this paper
• Improving Interoperability in Multi-domain Enterprise Right Management Applications

  2019cites this paper
• A Distributed and Trusted Web of Formal Proofs

  2019cites this paper
• SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution

  2019cites this paper
• Pesos: policy enhanced secure object store

  2018cites this paper
• Techniques to Protect Confidentiality and Integrity of Persistent and In-Memory Data

  2018influential citation
• Thoth: Comprehensive Policy Compliance in Data Retrieval Systems

  2016cites this paper
• PCA based Health Card Access

  2016influential citation
• Guardat: enforcing data policies at the storage layer

  2015influential citation
• A Logical Representation of Common Rules for Controlling Access to Classified Information

  2015cites this paper
• Combining behavioural types with security analysis

  2015cites this paper
• Trust in a Principled Filesystem

  2014cites this paper
• A Tag-Based, Logical Access-Control Framework for Personal File Sharing

  2014influential citation
• Guardat: A foundation for policy-protected data

  2014influential citation
• Shield: A stackable secure storage system for file sharing in public storage

  2014cites this paper
• Toward strong, usable access control for shared distributed data

  2014cites this paper
• La influencia de la atmósfera política local sobre la conducta electoral: un estudio del voto socialista en las elecciones locales andaluzas de 2011

  2013cites this paper
• Cloud file system

  2013cites this paper
• Security and Privacy by Declarative Design

  2013cites this paper
• LF in LF: mechanizing the metatheories of LF in twelf

  2012cites this paper
• Incorporating Constraints to Software System Survivability Specification and Proof

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

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

  2012cites this paper
• Automatic Proof of Survivability Compliance -Approaches and Techniques

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

  2012cites this paper
• Costs of Security in the PFS File System

  2012cites this paper
• Stateful authorization logic – Proof theory and a case study

  2012cites this paper
• Proof-Carrying Code in a Session-Typed Process Calculus

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

  2011influential citation
• Privacy-aware proof-carrying authorization

  2011cites this paper
• A Logical Framework of Proof-Carrying Survivability

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

  2011cites this paper
• Automated Synthesis of Privacy-Preserving Distributed Applications

  2011cites this paper
• Linear Logical Voting Protocols

  2011cites this paper
• Position Paper: Privacy-Aware Proof-Carrying Authorization

  2011cites this paper
• Stateful Authorization Logic: - Proof Theory and a Case Study

  2010cites this paper
• Constraining Credential Usage in Logic-Based Access Control

  2010cites this paper
• Foundations and Applications of Higher-Dimensional Directed Type Theory 1 Overview

  2010cites this paper
• Aura: programming with authorization and audit

  2009cites this paper
• A Logical Representation of Common Rules for Controlling Access to Classified Information

  2009cites this paper
• Research Statement Dissertation Work: Foundations of Access Control for Systems Security

  2009cites this paper
• Proof Theory for Authorization Logic and its Application to a Practical File System

  2009cites this paper
• PCAL: Language Support for Proof-Carrying Authorization Systems

  2009influential citation