An edition of Mechanized proofs of security protocols

Mechanized proofs of security protocols

Needham-Schroeder with public keys

by

Mechanized proofs of security protocols
Lawrence C. Paulson, Lawrence ...
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
Notes

Buy this book

Last edited by WorkBot
December 15, 2009 | History
Edit
An edition of Mechanized proofs of security protocols

Mechanized proofs of security protocols

Needham-Schroeder with public keys

by

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

Publisher
University of Cambridge, Computer Laboratory
Language
English
Pages
20

Buy this book

Subjects

Mathematical models, Computer security
Edition Availability
Cover of: Mechanized proofs of security protocols
Mechanized proofs of security protocols: Needham-Schroeder with public keys
Publish date unknown, University of Cambridge, Computer Laboratory
in English
  • Not in Library

Add another edition?

Book Details

Edition Notes

Series
Technical report- University of Cambridge Computer Laboratory -- no.413

The Physical Object

Pagination
20p. ;
Number of pages
20

ID Numbers

Open Library
OL17321056M

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 15, 2009 Edited by WorkBot link works
September 28, 2008 Created by ImportBot Imported from Talis record