К содержанию
CiteXCiteX — научный поиск с источниками
РецензированоEN2010

The Modelling and Analysis of Security Protocols: the CSP Approach

P.Y.A. Ryan · S.A. Schneider · M.H. Goldsmith · G. Lowe · A.W. Roscoe

Учебная литература · 2010

Аннотация

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).

Доказательный фрагмент

«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 prot…»

Образец извлечения

Демо-превью

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 prot… Полный текст публикации CiteX не хранит — доступ к первоисточнику открывается по DOI согласно лицензии издателя и выбранному плану.

DOI не указан
Цитирований
0
Тип
Журнал
Страна
Узбекистан
Спросить CiteX об этой работе

Смежные источники