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

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

Documents Related by Co-Citation

378 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
585 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
682 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975
889 Decentralized Trust Management – Matt Blaze, Joan Feigenbaum, Jack Lacy - 1996
1165 Proof-Carrying Code – George C. Necula - 1997
1213 Lattice-Based Access Control Models – Ravi S. Sandhu - 1993
711 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
470 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
64 Device-Enabled Authorization in the Grey System – Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar - 2005
60 Non-Interference in Constructive Authorization Logic – Deepak Garg, Frank Pfenning - 2006