Martin Abadi (abadi)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Burrows, Michael, Abadi, Martin and Needham, Roger M. 1988. “Authentication: A Practical Study in Knowledge and Action.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 325–342. San Francisco, California: Morgan Kaufmann Publishers.