عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A25 .B44 2007
QA
76
.
9
.
A25
.
B44
2007
کتابخانه
محل استقرار
142020
142149
بهار۶۸
English
)20-50(
Bella, Giampaolo
Formal correctness of security protocols
New York
Springer
2007
xviii, 274 p.: ill.; 24 cm
Includes bibliographical references
، Computer security
، Computers-- Access control
، Cryptography
، Computer networks-- Security measures
QA
76
.
9
.
A25
.
B44
2007
AU
Giampaolo Bella
TI
05
02
