Non-Interference in Constructive Authorization Logic

Authors:
Deepak Garg;Frank Pfenn
Affiliations:
Carnegie Mellon University, USA;Carnegie Mellon University, USA
Venue:
CSFW '06 Proceedings of the 19th IEEE workshop on Computer Security Foundations
Year:
2006

Citing 0
Cited 28

Access control in a core calculus of dependency

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Access Control in a Core Calculus of Dependency

Electronic Notes in Theoretical Computer Science (ENTCS)
Mechanizing metatheory in a logical framework

Journal of Functional Programming
Variations in Access Control Logic

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
xDomain: cross-border proofs of access

Proceedings of the 14th ACM symposium on Access control models and technologies
Encoding information flow in Aura

Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Game Semantics for Access Control

Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding information flow in AURA

ACM SIGPLAN Notices
Distributed programming with distributed authorization

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
A modal deconstruction of access control logics

FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
TAPIDO: trust and authorization via provenance and integrity in distributed objects

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
PCAL: language support for proof-carrying authorization systems

ESORICS'09 Proceedings of the 14th European conference on Research in computer security
A constructive conditional logic for access control: a preliminary report

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Security-typed programming within dependently typed programming

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Modal Access Control LogicAxiomatization, Semantics and FOL Theorem Proving

Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Nexus authorization logic (NAL): Design rationale and applications

ACM Transactions on Information and System Security (TISSEC)
Collaborative Planning with Confidentiality

Journal of Automated Reasoning
A conditional constructive logic for access control and its sequent calculus

TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Stateful authorization logic: proof theory and a case study

STM'10 Proceedings of the 6th international conference on Security and trust management
Programming with binders and indexed data-types

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A linear logic of authorization and knowledge

ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
A proof-carrying file system with revocable and use-once certificates

STM'11 Proceedings of the 7th international conference on Security and Trust Management
New modalities for access control logics: permission, control and ratification

STM'11 Proceedings of the 7th international conference on Security and Trust Management
On the Complexity of Linear Authorization Logics

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Efficient proving for practical distributed access-control systems

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Belief semantics of authorization logic

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Noninterference in a predicative polymorphic calculus for access control

Computer Languages, Systems and Structures
Stateful authorization logic --Proof theory and a case study

Journal of Computer Security - STM'10

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper studies observational determinism, a generalisation of non-interference for multi-threaded programs. Standard notions of non-interference only consider input and output of programs, but to ensure the security of multithreaded programs, one ...