عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A25 B45
QA
76
.
9
.
A25
B45
کتابخانه
محل استقرار
Formal correctness of security protocols
Berlin
Springer-Verlag
2007
XVIII, 274 p. : ill
Includes bibliographical references )p.]265[-274(
Giampaolo Bella
، Computer security
Access control ، Computers
QA
76
.
9
.
A25
B45
NO
Bella, Giampaolo
AU
TI
