Share  Bookmark

 Download from


[1] Y. Gurevich and I. Neeman. DKAL: DistributedKnowledge Authorization Language. In Proc. of CSF 2008, pages 149162. IEEE Computer Society, 2008.
[2] Y. Gurevich and I. Neeman. DKAL 2  A Simplified and Improved Authorization Language. Technical Report MSRTR200911, Microsoft Research, February 2009.
[3] Y. Gurevich and I. Neeman. Logic of infons: the propositional case. ACM Transactions on Computational Logic, 12(2), 2011.
[4] L. Beklemishev and Y. Gurevich. Propositional primal logic with disjunction. J. of Logic and Computation 22 (2012), 26 pages.
[5] C. Cotrini and Y. Gurevich. Basic primal infon logic. Microsoft Research Technical Report MSRTR201288, Microsoft Research, August 2012.
[6] A. Troelstra and H. Schwichtenberg. Basic proof theory, Cambridge Tracts in Theoretical Computer Science, 43, Cambridge University Press, Cambridge, 1996.
[7] Oded Goldreich. Foundations of Cryptography: Volume 1, Basic Tools, Cambridge University Press, Cambridge, 2001.
[8] M. Blum. Coin Flipping by Telephone. Proceedings of CRYPTO 1981, pp. 1115