Propositional Lax Logic (1997)

Cached

Download Links

by Matt Fairtlough , Michael Mendler
Citations:60 - 8 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
352 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
126 On the meanings of the logical constants and the justifications of the logical laws – Per Martin-Löf - 1996
198 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
110 a logic-based security language – Binder - 2002
179 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
47 Access Control for the Web via Proof-Carrying Authorization – Ljudevit Bauer - 2003
63 Access control in a core calculus of dependency – Martín Abadi - 2006
228 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
72 Distributed proving in access-control systems – Lujo Bauer, Scott Garriss, Michael K. Reiter - 2005
90 Logic in Access Control – Martίn Abadi - 2003
64 Device-Enabled Authorization in the Grey System – Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar - 2005
443 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
55 Non-Interference in Constructive Authorization Logic – Deepak Garg, Frank Pfenning - 2006
20 Alpaca: extensible authorization for distributed services – Chris Lesniewski-laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek - 2007
55 Design and semantics of a decentralized authorization language – Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon - 2007