An edition of Formal models and techniques for analyzing security protocols (2011)

Formal models and techniques for analyzing security protocols

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Formal models and techniques for analyzing security protocols by Véronique Cortier, Steve Kremer
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
November 2, 2021 | History
Edit
An edition of Formal models and techniques for analyzing security protocols (2011)

Formal models and techniques for analyzing security protocols

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
IOS Press
Language
English
Pages
303

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Computer security, Access control, Computer networks, Computers, Security measures, Electronic information resources, Computers, access control, Computer networks, security measures

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Formal Models and Techniques for Analyzing Security Protocols
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial
2014, Now Publishers
in English
Libraries near you: WorldCat
Cover of: Formal models and techniques for analyzing security protocols
Formal models and techniques for analyzing security protocols
2011, IOS Press
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Amsterdam, Washington, DC

Edition Notes

Includes bibliographical references and index.

Series
Cryptology and information security series -- v. 5, Cryptology and information security series -- v. 5.

Classifications

Library of Congress
QA76.9.A25 F6563 2011, QA76.9.A25F6563 2011

The Physical Object

Pagination
vii, 303 p. :
Number of pages
303

ID Numbers

Open Library
OL25189526M
Internet Archive
formalmodelstech00cort
ISBN 10
1607507137, 1607507145
ISBN 13
9781607507130, 9781607507147
LCCN
2011923591
OCLC/WorldCat
705518947

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
November 2, 2021 Edited by ImportBot import existing book
October 17, 2020 Edited by MARC Bot import existing book
February 1, 2012 Created by LC Bot import new book