Soutei, a Logic-Based Trust-Management System System Description

by Andrew Pimlott , Oleg Kiselyov
Citations:3 - 0 self

Active Bibliography

76 Using first-order logic to reason about policies – Joseph Y. Halpern, Vicky Weissman - 2003
13 Authorization in Trust Management: Features and Foundations – Peter C. Chapin, Christian Skalka, X. Sean Wang
Performance Analysis and Design Aids – Matthew Naylor, A Functional-logic, Library Wired
16 Monadic Constraint Programming – Tom Schrijvers, Peter Stuckey, Philip Wadler - 2009
2 Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction – Valerio Genovese, Deepak Garg, Daniel Rispoli - 2012
19 A proof-carrying file system – Deepak Garg, Frank Pfenning - 2009
29 A Modal Deconstruction of Access Control Logics – Deepak Garg, Martín Abadi
6 Logic in Access Control (Tutorial Notes) – Martín Abadi
21 A linear logic of authorization and knowledge – Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter - 2006
Nexus Authorization Logic (NAL): . . . – Fred B. Schneider, Kevin Walsh, Emin Gün Sirer - 2011
Nexus Authorization Logic (NAL): Design . . . – Fred B. Schneider, Kevin Walsh, Emin Gün Sirer
12 Efficient Proving for Practical Distributed Access-Control Systems – Lujo Bauer, Scott Garriss, Michael K. Reiter - 2007
8 Declarative Reconfigurable Trust Management – William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
1 Access Control Policies and Languages – Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati - 2007
1 A SURVEY ON TRUST MANAGEMENT LANGUAGES – Nicola Zannone - 2004
21 A Logic for State-Modifying Authorization Policies – Moritz Y. Becker, Sebastian Nanz - 2007
21 DKAL: Distributed-Knowledge Authorization Language – Yuri Gurevich, Itay Neeman
20 Distributed programming with distributed authorization ∗ – Kumar Avijit, Anupam Datta, Robert Harper
9 Proof search in an authorization logic – Deepak Garg - 2009