عنوان
پدید آورنده
موضوع
رده
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
