منو
رکورد قبلیرکورد بعدی

" The modelling and analysis of security protocols : "


Document Type : BL
Record Number : 625032
Doc. No : dltt
Main Entry : Ryan, Peter,PhD
Title & Author : 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
Page. NO : xiv, 300 pages :: illustrations ;; 24 cm
ISBN : 0201674718
: : 9780201674712
Bibliographies/Indexes : Includes bibliographical references (pages 285-291) and index
Contents : 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
Subject : Computer networks-- Security measures
Subject : Computer network protocols
Subject : Computer security-- Mathematical models
Subject : Computer software-- Verification
Subject : Computers-- Access control
Subject : Cryptography
Dewey Classification : ‭005.8‬
LC Classification : ‭TK5105.59‬‭.R93 2001‬
Added Entry : Schneider, S. A., (Steve A.)
Parallel Title : Security protocols
copyhttps://lib.clisel.com/site/catalogue/625032
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟