عنوان
پدید آورنده
موضوع
رده
TK5105.59 .R93 2001
TK5105
.
59
.
R93
2001
کتابخانه
محل استقرار
0201674718
9780201674712
dltt
The modelling and analysis of security protocols :
[Book]
the CSP approach /
P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe
xiv, 300 pages :
illustrations ;
24 cm
Includes bibliographical references (pages 285-291) and index
Introduction -- An introduction to CSP [Communicating Sequential Processes] -- Modelling security protocols in CSP -- Expressing protocol goals -- Overview of FDR -- Casper -- Encoding protocols and intruders for FDR -- Theorem proving -- Simplifying transformations -- Other approaches -- Prospects and wider issues -- Background cryptography -- The Yahalom protocol in Casper -- CyberCash rank function analysis
0
Modelling and analysis of security protocols.
Security protocols
Computer network protocols
Computer networks-- Security measures
Computer security-- Mathematical models
Computer software-- Verification
Computers-- Access control
Cryptography
005
.
8
21
TK5105
.
59
.
R93
2001
Ryan, Peter,PhD
Schneider, S. A., (Steve A.)
20160712065609.0
مطالعه متن کتاب [Book]
Y
