[ACM Press the tenth annual ACM symposium - Montreal, Quebec, Canada (1991.08.19-1991.08.21)] Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 - A semantics for a logic of authentication (extended abstract)
Abadi, Martín, Tuttle, Mark R.Year:
1991
Language:
english
DOI:
10.1145/112600.112618
File:
PDF, 1.51 MB
english, 1991