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

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

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
MiAaPQ
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Cryptology and information security series,
Series volume
v. 5
Formal models and techniques for analyzing security protocols, edited by Véronique Cortier and Steve Kremer, (electronic resource)
Label
Formal models and techniques for analyzing security protocols, edited by Véronique Cortier and Steve Kremer, (electronic resource)
Link
http://libproxy.rpi.edu/login?url=https://ebookcentral.proquest.com/lib/connectny/detail.action?docID=784604
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and index
Color
multicolored
Dimensions
unknown
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b4039755'}
Extent
vii, 303 p.
Form of item
  • online
  • electronic
Other physical details
ill.
Reproduction note
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Specific material designation
remote

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...