DaftarIsitemplate

Call Number

004 Int c

Title

Towards a mechanization of cryptographic protocol verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 131-142

Author

Dominique Bolignano;

Publisher

Springer, 1997

Subject

Location