Coverart for item
The Resource Formal models and techniques for analyzing security protocols, edited by Véronique Cortier and Steve Kremer, (electronic book)

Formal models and techniques for analyzing security protocols, edited by Véronique Cortier and Steve Kremer, (electronic book)

Label
Formal models and techniques for analyzing security protocols
Title
Formal models and techniques for analyzing security protocols
Statement of responsibility
edited by Véronique Cortier and Steve Kremer
Contributor
Subject
Language
eng
Member of
Cataloging source
CaPaEBR
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A25
LC item number
F67 2011eb
Literary form
non fiction
Nature of contents
  • standards specifications
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Cortier, Véronique
  • Kremer, Steve
  • IOS Press.
Series statement
Cryptology and information security series
Series volume
5
http://library.link/vocab/subjectName
Computer security
Label
Formal models and techniques for analyzing security protocols, edited by Véronique Cortier and Steve Kremer, (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ebr10506344
Dimensions
unknown
Extent
vii, 303 p.
Form of item
electronic
Isbn
9781607507130
Original version note
Original electronic resource
Other physical details
ill.
Reproduction note
Electronic resource.
Specific material designation
remote
Label
Formal models and techniques for analyzing security protocols, edited by Véronique Cortier and Steve Kremer, (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ebr10506344
Dimensions
unknown
Extent
vii, 303 p.
Form of item
electronic
Isbn
9781607507130
Original version note
Original electronic resource
Other physical details
ill.
Reproduction note
Electronic resource.
Specific material designation
remote

Library Locations

Processing Feedback ...