A semantics for a logic of authentication (extended abstract)

Publisher Website

1 January 1991

conference paper
conference paper
Published by Association for Computing Machinery (ACM)

p. 201-216
https://doi.org/10.1145/112600.112618

Abstract

No abstract available

Cited by 143 articles