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!
Description
Physical Description:xiv, 300 p. ill. 23 cm
Bibliography:Includes bibliographical references and index
ISBN:0201674718

Similar Items