عنوان
پدید آورنده
موضوع
رده
QA76.9.A25 F654 2011
QA76
.
9
.
A25
F654
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1607507137 (print)
(Number (ISBN
1607507145 (online)
(Number (ISBN
9781607507130 (print)
(Number (ISBN
9781607507147 (online)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b516377
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal models and techniques for analyzing security protocols /
General Material Designation
[Book]
First Statement of Responsibility
edited by Véronique Cortier and Steve Kremer
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam ; da Washington, DC :
Name of Publisher, Distributor, etc.
IOS Press,
Date of Publication, Distribution, etc.
c2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 303 p. :
Other Physical Details
ill. ;
Dimensions
25 cm
SERIES
Series Title
Cryptology and information security series ;
Volume Designation
v. 5
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Computer networks-- Security measures
Computer security
Computers-- Access control
Electronic information resources-- Access control
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A25
Class number
QA76
.
9
.
A25
Book number
F654
2011
Book number
F654
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Cortier, Véronique
Kremer, Steve
ORIGINATING SOURCE
Date of Transaction
20110805104304.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
