-
RecordNumber
35595
-
Author
Bella, Giampaolo
-
Title
Formal correctness of security protocols
-
Author Statement
Giampaolo Bella
-
Publication
Springer
-
Publication Year
2007
-
Collation
xviii, 274 p. : ill. ; 24 cm
-
Series
Information security and cryptography
-
Notes
9783540492436 , Includes bibliographical references
-
Subject
Computer security , Data encryption (Computer science)
-
LC Class
TK
-
LC Number
5105.59
-
LC CutterNumber
.B45
-
LC Date
2007
-
وارد کنندة اطلاعات
ZADEHMOHAMMADI
-
Link To Document :
