عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .A25 .B44
QA
76
.
9
.
A25
.
B44
کتابخانه
محل استقرار
Formal correctness of security protocols
New York
Springer
2007
274p.
X-8129-0012-8 ;2574
Includes bibliographical references
Giampaolo Bella
1
، Artificial intelligence
، Computer security
Access control ، Computers
QA
76
.
9
.
A25
.
B44
Bella, Giampaolo.
AU
TI
SE
