. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540681345 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 63,99 €, größter Preis: 69,50 €, Mittelwert: 68,40 €
Formal Correctness of Security Protocols - Giampaolo Bella
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giampaolo Bella:
Formal Correctness of Security Protocols - neues Buch

ISBN: 9783540681342

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - 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. -, [SC: 0.00], Neuware, gewerbliches Angebot, 245x164x23 mm, [GW: 550g]

Neues Buch Booklooker.de
Rhein-Team Lörrach
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Correctness of Security Protocols - Giampaolo Bella
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giampaolo Bella:
Formal Correctness of Security Protocols - neues Buch

ISBN: 9783540681342

ID: 739766178

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. Formal Correctness of Security Protocols Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 14222232 Versandkosten:, Versandfertig in 5 - 7 Tagen, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Correctness of Security Protocols - Giampaolo Bella
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giampaolo Bella:
Formal Correctness of Security Protocols - neues Buch

ISBN: 9783540681342

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - 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 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., [SC: 2.00], Neuware, gewerbliches Angebot, 245x164x23 mm, [GW: 550g]

Neues Buch Booklooker.de
buchversandmimpf2000
Versandkosten:Versand nach Deutschland (EUR 2.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Correctness of Security Protocols - Giampaolo Bella
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Giampaolo Bella:
Formal Correctness of Security Protocols - neues Buch

2007, ISBN: 9783540681342

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - 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 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., [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, [GW: 1310g]

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Correctness of Security Protocols - Bella, Giampaolo
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bella, Giampaolo:
Formal Correctness of Security Protocols - gebunden oder broschiert

2007, ISBN: 3540681345

ID: A4916834

2007 Gebundene Ausgabe Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Kryptografie, Verschlüsselung, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Formal Correctness of Security Protocols

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

Detailangaben zum Buch - Formal Correctness of Security Protocols


EAN (ISBN-13): 9783540681342
ISBN (ISBN-10): 3540681345
Gebundene Ausgabe
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
274 Seiten
Gewicht: 0,550 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 21.06.2007 10:48:29
Buch zuletzt gefunden am 04.05.2017 14:28:54
ISBN/EAN: 3540681345

ISBN - alternative Schreibweisen:
3-540-68134-5, 978-3-540-68134-2


< zum Archiv...
Benachbarte Bücher