• Modal Logic: P. Blackburn, M. de Rijke, and Y. Venema 2001 Cambridge University Press
  • Reasoning about Knowledge: R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi 1995 The MIT Press
  • On the Security of Public Key Protocols: D. Dolev, and A. Yao 1983 IEEE Transactions on Information Theory, vol. IT-29(2), pp. 198-208.
  • A Logic of Authentication: M. Burrows, M. Abadi, and R. Needham 1990 ACM Transactions on Computer Systems 8(1), pp. 18-36