The Resource The modelling and analysis of security protocols : the CSP approach, P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe

The modelling and analysis of security protocols : the CSP approach, P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe

Label
The modelling and analysis of security protocols : the CSP approach
Title
The modelling and analysis of security protocols
Title remainder
the CSP approach
Statement of responsibility
P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe
Title variation
Security protocols
Creator
Contributor
Author
Subject
Genre
Language
eng
Additional physical form
Available also in a print edition.
Cataloging source
GUL
http://library.link/vocab/creatorName
Ryan, Peter
Illustrations
illustrations
Index
index present
LC call number
  • QA76.9.A25
  • TK5105.59
LC item number
  • R93 2001
  • .R93 2001
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Schneider, S. A.,
  • Safari Tech Books Online
http://library.link/vocab/subjectName
  • Computer network protocols
  • Computer networks
  • Computer security
  • Computer software
  • Computers
  • Cryptography
Label
The modelling and analysis of security protocols : the CSP approach, P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe
Link
http://databases.mvlc.org/connect/safari?uiCode=&xmlId=0201674718
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 285-291) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (xiv, 300 pages : )
Form of item
online
Issuing body
Made available through: Safari Books Online, LLC.
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations ;
Reproduction note
Electronic reproduction.
Specific material designation
remote
System details
Mode of access: World Wide Web
Label
The modelling and analysis of security protocols : the CSP approach, P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe
Link
http://databases.mvlc.org/connect/safari?uiCode=&xmlId=0201674718
Publication
Bibliography note
Includes bibliographical references (pages 285-291) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (xiv, 300 pages : )
Form of item
online
Issuing body
Made available through: Safari Books Online, LLC.
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations ;
Reproduction note
Electronic reproduction.
Specific material designation
remote
System details
Mode of access: World Wide Web

Library Locations

    • Merrimack Valley Library ConsortiumBorrow it
      4 High Street, Suite 175, North Andover, MA, 01845, US
      42.7009413 -71.1255084
Processing Feedback ...