An edition of The modelling and analysis of security protocols (2000)

The modelling and analysis of security protocols

the CSP approach

by , , , , , , , and

The modelling and analysis of security protoc ...
Peter Ryan PhD, Gavin Lowe, M. ...
Locate

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
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 19, 2023 | History
Edit
An edition of The modelling and analysis of security protocols (2000)

The modelling and analysis of security protocols

the CSP approach

by , , , , , , , and

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

Publish Date
Publisher
Addison-Wesley
Language
English
Pages
300

Check nearby libraries

Buy this book

Subjects

Mathematical models, Computers, Computer security, Cryptography, Access control, Computer networks, security measures, Computer network protocols, Computer networks, Security measures, Computer software, Verification, Computer networks--security measures, Computer security--mathematical models, Computer software--verification, Computers--access control, Qa76.9.a25 r93 2001, Tk5105.59 .r93 2001
Edition Availability
Cover of: The modelling and analysis of security protocols
The modelling and analysis of security protocols: the CSP approach
2001, Addison-Wesley
in English
Cover of: Modelling and Analysis of Security Protocols
Modelling and Analysis of Security Protocols
December 21, 2000, Addison-Wesley Professional
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 285-291) and index.

Published in
Harlow, New York

Classifications

Library of Congress
QA76.9.A25 R93 2001, QA75, TK5105.59 .R93 2001

The Physical Object

Pagination
xiv, 300 p. :
Number of pages
300

ID Numbers

Open Library
OL22320802M
ISBN 10
0201674718
OCLC/WorldCat
45846840
Library Thing
5081362
Goodreads
813769

Source records

Better World Books record
marc_columbia MARC record
harvard_bibliographic_metadata record
ISBNdb

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 / OPDS | Wikipedia citation
December 19, 2023 Edited by ImportBot import existing book
November 28, 2023 Edited by MARC Bot import existing book
November 12, 2023 Edited by MARC Bot import existing book
November 17, 2022 Edited by ImportBot import existing book
November 10, 2008 Created by ImportBot Imported from University of Toronto MARC record