- 5 Ergebnisse
Kleinster Preis: € 55,07, größter Preis: € 66,23, Mittelwert: € 59,69
1
Bestellen
bei booklooker.de
€ 55,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bella, Giampaolo:

Formal Correctness of Security Protocols - Taschenbuch

2010, ISBN: 9783642087820

Gebundene Ausgabe

[ED: Softcover], [PU: Springer, Berlin], The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerbe… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
zuklappen (X)
2
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
Bestellen
bei amazon.co.uk
£ 49,05
(ca. € 55,07)
Versand: € 4,801
Bestellen
Details beim Anbieter
gesponserter Link

Giampaolo Bella:

Formal Correctness of Security Protocols (Information Security and Cryptography) - Taschenbuch

2010, ISBN: 3642087825

[SR: 9720690], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Mehr…

  - Gebraucht. Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 6-10 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) Paper Cavalier UK
zuklappen (X)
3
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
Bestellen
bei amazon.co.uk
£ 50,05
(ca. € 56,69)
Versand: € 4,801
Bestellen
Details beim Anbieter
gesponserter Link
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - Taschenbuch

2010

ISBN: 3642087825

[SR: 9024784], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Mehr…

  - Gebraucht. Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) rbmbooks
zuklappen (X)
4
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
Bestellen
bei amazon.co.uk
£ 58,99
(ca. € 66,23)
Versand: € 4,941
Bestellen
Details beim Anbieter
gesponserter Link
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - Taschenbuch

2010, ISBN: 3642087825

[SR: 9720690], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Mehr…

  - Neuware. Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 24 hours. (EUR 4.94) Amazon.co.uk
zuklappen (X)
5
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
Bestellen
bei amazon.co.uk
£ 56,92
(ca. € 64,47)
Versand: € 4,801
Bestellen
Details beim Anbieter
gesponserter Link
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - Taschenbuch

2010, ISBN: 3642087825

[SR: 9024784], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Mehr…

  - Neuware. Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 6-10 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) BOOKS etc
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Correctness of Security Protocols (Information Security and Cryptography)
Autor:
Titel:
ISBN-Nummer:

3642087825


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 (Information Security and Cryptography)


EAN (ISBN-13): 9783642087820
ISBN (ISBN-10): 3642087825
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer-Verlag GmbH
296 Seiten
Gewicht: 0,450 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2010-05-25T17:23:05+02:00 (Berlin)
Detailseite zuletzt geändert am 2019-11-14T11:00:25+01:00 (Berlin)
ISBN/EAN: 3642087825

ISBN - alternative Schreibweisen:
3-642-08782-5, 978-3-642-08782-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: giampaolo, bella

Daten vom Verlag:

Autor/in: Giampaolo Bella
Titel: Information Security and Cryptography; Formal Correctness of Security Protocols
Verlag: Springer; Springer Berlin
274 Seiten
Erscheinungsjahr: 2010-11-30
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
54,99 € (DE)

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Formal methods; Inductive techniques; Information; Isabelle; Kerberos; Protocol engineering; Security protocols; Theorem proving; data security; formal method; network security; security; Computer Communication Networks; Formal Languages and Automata Theory; Data Structures and Information Theory; Data and Information Security; Artificial Intelligence; Communications Engineering, Networks; Theoretische Informatik; Algorithmen und Datenstrukturen; Informationstheorie; Computersicherheit; Netzwerksicherheit; Künstliche Intelligenz; Nachrichtententechnik, Telekommunikation; BB

The Analysis of Security Protocols.- The Inductive Method.- Verifying the Protocol Goals.- The Principle of Goal Availability.- Modelling Timestamping and Verifying a Classical Protocol.- Verifying a Deployed Protocol.- Modelling Agents’ Knowledge of Messages.- Verifying Another Deployed Protocol.- Modelling Smartcards.- Verifying a Smartcard Protocol.- Modelling Accountability.- Verifying Two Accountability Protocols.- Conclusions.
< zum Archiv...