Menu
Виж статуса на поръчката
Свържете се с нас
Книга Formal Correctness of Security Protocols Giampaolo Bella

Formal Correctness of Security Protocols

Автор: Giampaolo Bella
Език: Английски език
Корици: С твърди корици
Издател: Springer, Berlin
Наличност: Външен склад в ограничено количество
Изпращаме след 13-18 дни
59.23 € 115.85 лв
Computer network security is critical to fraud prevention and accountability. Network participants a...

Информация за книгата

Автор
Giampaolo Bella
Език
Английски език
Корици
Книга - С твърди корици
Издадена
2007
страници
274
EAN
9783540681342
ISBN
3540681345
Enbook ID
01567644
Издател
Springer, Berlin
Теглоt
545
Размери
156 x 234 x 17

Пълно описание

Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties.§The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis, the Inductive Method in the theorem prover Isabelle, turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.§This book will benefit researchers and graduate students in the fields of formal methods, information security, inductive methods, and networking.

Може също да ви хареса

Official Rules of Card Games - Hoyle Up-To-Date

Anon
36.98 € 72.33 лв

San Francisco Style

Laura L. Camerlengo
50.46 € 98.70 лв

Something Old

Rebecca Connolly
11.42 € 22.34 лв

Container Atlas

GESTALTEN
60.49 € 118.30 лв

The Greco-Roman Civilization V3: One Hundred Men Who Moved the World

Joseph McCabe
21.50 € 42.04 лв

Eloquent Javascript, 3rd Edition

Marijn Haverbeke
29.56 € 57.82 лв

Systeme General Harmonise de Classification et d'etiquetage des Produits Chimiques (SGH)

United Nations: Economic Commission for Europe
128.20 € 250.73 лв

Reservations to Human Rights Treaties and the Vienna Convention Regime

Ineta Ziemele
52.72 € 103.11 лв

Student's Flora of the British Islands

Joseph Dalton Hooker
66.60 € 130.26 лв

Pure Gold

Michael Bhim
16.93 € 33.12 лв

Robert Rauschenberg

Catherine Craft
23.90 € 46.75 лв

Клиенти, които купиха тази книга, купиха също

Schutz Des Staates

Uwe Backes
54.17 € 105.95 лв

Robinson Crusoe

Daniel Defoe
7.71 € 15.09 лв

Die Vogel Deutsch-Ost-Afrikas

Anton Reichenow
18.44 € 36.06 лв

La carta de Cambridge

DELGADO
22.05 € 43.12 лв

El arte de la guerra

SUN TZU
8.62 € 16.85 лв