Formal Correctness of Security Protocols

Name: Formal Correctness of Security Protocols
Brand: Springer, Berlin
SKU: 9783540681342
Price: 1310 CZK
Availability: InStock

Autor: Giampaolo Bella

Jazyk:

Vazba: Pevná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

1 310 Kč

Computer network security is critical to fraud prevention and accountability. Network participants a...

Informace o knize

Autor

Giampaolo Bella

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2007

Stránek

274

EAN

9783540681342

ISBN

3540681345

Enbook ID

01567644

Vydavatel

Springer, Berlin

Hmotnost

545

Rozměry

156 x 234 x 17

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formal Correctness of Security Protocols

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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

San Francisco Style

Something Old

Container Atlas

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

Eloquent Javascript, 3rd Edition

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

Reservations to Human Rights Treaties and the Vienna Convention Regime

Student's Flora of the British Islands

Pure Gold

Robert Rauschenberg

Zákaznicí kteří koupili tuto knihu koupili také

Schutz Des Staates

Robinson Crusoe

Die Vogel Deutsch-Ost-Afrikas

La carta de Cambridge

El arte de la guerra