عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A25 F6563
QA
76
.
9
.
A25
F6563
کتابخانه
محل استقرار
Formal models and techniques for analyzing security protocols
Amsterdam ; Washington, DC
IOS Press
c2011
vii, 303 p. : ill. ; 25 cm.
Cryptology and information security series ;v. 5
Includes bibliographical references and index
edited by Veronique Cortier and Steve Kremer
1
، Computer security
Access control ، Computers
Security measures ، Computer networks
Access control ، Electronic information resources
005
.
8
QA
76
.
9
.
A25
F6563
TI
AU Cortier, Veronique
AU Kremer, Steve
SE
SE Cryptology and information security series ;
