Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Formal Correctness of Security Protocols Giampaolo Bella

Formal Correctness of Security Protocols

Autor: Giampaolo Bella
Język: Angielski
Oprawa: Twarda
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
243.68 zł
Computer network security is critical to fraud prevention and accountability. Network participants a...

Informacje o książce

Autor
Giampaolo Bella
Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2007
strony
274
EAN
9783540681342
ISBN
3540681345
Enbook ID
01567644
Wydawca
Springer, Berlin
Waga
545
Wymiary
156 x 234 x 17

Pełny opis

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.

Możesz być zainteresowany

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

Anon
142.57 zł

San Francisco Style

Laura L. Camerlengo
189.28 zł

Something Old

Rebecca Connolly
49.06 zł

Container Atlas

GESTALTEN
249.41 zł

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

Joseph McCabe
92.51 zł

Eloquent Javascript, 3rd Edition

Marijn Haverbeke
127.17 zł

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

United Nations: Economic Commission for Europe
526.67 zł

Reservations to Human Rights Treaties and the Vienna Convention Regime

Ineta Ziemele
215.44 zł

Student's Flora of the British Islands

Joseph Dalton Hooker
259.38 zł

Pure Gold

Michael Bhim
72.86 zł

Robert Rauschenberg

Catherine Craft
97.84 zł

Klienci, którzy kupili tę książkę, kupili również

Schutz Des Staates

Uwe Backes
221.27 zł

Robinson Crusoe

Daniel Defoe
29.81 zł

Die Vogel Deutsch-Ost-Afrikas

Anton Reichenow
75.33 zł

La carta de Cambridge

DELGADO
91.13 zł

El arte de la guerra

SUN TZU
35.83 zł