| Kitob tashqi havolasi (to‘liq matni): | Yuklab olish |
|---|---|
| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
| Fayl formati: | |
| Fayl format turi: | application/pdf |
| Fayl hajmi: | 1.18 MB |
| Hujjat turi: | O‘quv qo‘llanma |
| Nashr tili: | Inglizcha |
| Kataloglashtirish manbai: | Inglizcha |
| Hujjat tipi: | Elektron shaklda |
| Kirish huquq turi: | YOPIQ KIRISH |
The Modelling and Analysis of Security Protocols:
Kitob mualliflari
P.Y.A. Ryan,
S.A. Schneider,
M.H. Goldsmith,
G. Lowe,
A.W. Roscoe,
This book is about the role of security protocols, how they work, the security properties they are designed to ensure and how to design and analyze them.In this book we present the particular approach to security protocol verification that has been developed by the authors. It was the first to apply process algebra and model-checking to the problem. The process algebra in question is CSP (Communicating Sequential Processes).
| Bilimlar sohasi: | | Matematika | |
|---|---|
| UDK | |
| Kitob nashriyoti nomi: | Pearson Education |
| Kitob nashr qilingan shahar: | USA |
| ISBN: | |
| Kitob nashr qilingan yili: | 2010 Yil |
| Betlar Soni: | 314 |
Kitobga aloqador kitoblar
Математик анализ курсидан мисол ва масалалар тўплами III
А.Саъдуллаев,
Г.Худойберганов,
X.Мансуров,
А.Борисов,
Т.Туйчиев,
Математик анализ курсидан мисол ва масалалар тўплами II
А.Саъдуллаев,
Х.Мансуров,
А.Ворисов,
Г.Худойберганов,
Р.Ғуломов,
Sport o'yinlari bo'yicha musobaqalar o'tkazish va hakamlik qilish
D.K.Karimov,
N.Sh.Safarboyev,
SH.N.Tuxtapulatov,
