A Logic of authentication.
Burrows, Michael; Abadi, Martin; Needham, Roger.
SRC-RR-39 February 28, 1989 External
Keyword(s): Electronic data processing-Distributed processing; Computer network protocols;
48 Pages
Back to Index