DaftarIsitemplate

Call Number

004.62 Chr s

Title

SG logic - a formal analysis technique for authentication protocols, (LNCS-Lecture Notes in Computer Science 1361) Hal 159-176

Author

Sigrid Gurgens;

Publisher

Springer, 1997

Subject

Location