Documents Related by Co-Citation

173 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
357 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
55 Design and semantics of a decentralized authorization language – Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon - 2007
450 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
110 a logic-based security language – Binder - 2002
60 Access control in a core calculus of dependency – M Abadi - 2006
54 Non-Interference in Constructive Authorization Logic – Deepak Garg, Frank Pfenning - 2006
60 Device-Enabled Authorization in the Grey System – Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar - 2005
206 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000