The modelling and analysis of security protocols the CSP approach

The modelling and analysis of security protocols the CSP approach

Saved in:
Bibliographic Details
Main Author: Ryan, Peter
Other Authors: Schneider, Steven
Format: Book
Published: Harlow, England Addison-Wesley 2001
Subjects:
Computer software > Verification
Computer network protocols
Computer security > Mathematical models
Computer networks > Security measures
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items