- 5 Ergebnisse
Kleinster Preis: € 20,90, größter Preis: € 94,97, Mittelwert: € 60,57
1
Bestellen
bei AbeBooks.de
€ 91,06
Versand: € 1,721
Bestellengesponserter Link
Bella, Giampaolo:

Formal Correctness of Security Protocols - Taschenbuch

2017, ISBN: 3540681345

[EAN: 9783540681342], Neubuch, [PU: Springer], FORMAL CORRECTNESS OF SECURITY PROTOCOLS, PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK., Books

NEW BOOK. Versandkosten: EUR 1.72 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 4 (von 5)]
2
Bestellen
bei Biblio.co.uk
$ 110,68
(ca. € 94,97)
Versand: € 11,871
Bestellengesponserter Link

Giampaolo Bella:

Formal Correctness of Security Protocols (Information Security and Cryptography) - gebunden oder broschiert

2007, ISBN: 9783540681342

Springer Verlag, 2007. Hardcover. New. 1st edition. 274 pages. 9.25x6.25x0.75 inches., Springer Verlag, 2007, 6

Versandkosten: EUR 11.87 Revaluation Books
3
Formal Correctness Of Security Protocols - Bella, Giampaolo
Bestellen
bei AbeBooks.de
€ 66,93
Versand: € 17,361
Bestellengesponserter Link
Bella, Giampaolo:
Formal Correctness Of Security Protocols - gebunden oder broschiert

2007

ISBN: 3540681345

[EAN: 9783540681342], Gebraucht, wie neu, [PU: Springer], Unread book in perfect condition., Books

NOT NEW BOOK. Versandkosten: EUR 17.36 GreatBookPricesUK, Castle Donington, DERBY, United Kingdom [72536976] [Rating: 4 (von 5)]
4
Bestellen
bei Antikbuch24.de
€ 20,90
Bestellengesponserter Link
Bella, Giampaolo:
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - gebunden oder broschiert

ISBN: 9783540681342

294 p. Hardcover/Pappeinband, [PU: Springer, Berlin/Heidelberg]

Versandkosten:zzgl. Versandkosten Antiquariat Thomas Haker GmbH & Co. KG
5
Bestellen
bei Antikbuch24.de
€ 29,00
Bestellengesponserter Link
Bella, Giampaolo:
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - gebunden oder broschiert

ISBN: 9783540681342

294 p. Hardcover/Pappeinband, [PU: Springer, Berlin/Heidelberg]

Versandkosten:zzgl. Versandkosten Antiquariat Thomas Haker GmbH & Co. KG

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

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
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
274 Seiten
Gewicht: 0,550 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-21T10:48:29+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-03-04T09:15:52+01:00 (Vienna)
ISBN/EAN: 9783540681342

ISBN - alternative Schreibweisen:
3-540-68134-5, 978-3-540-68134-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bella, giampaolo
Titel des Buches: information security, formal correctness security protocols, 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: 2007-03-05
Berlin; Heidelberg; DE
Sprache: Englisch
54,99 € (DE)

BB; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Mathematik; 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; EA; BC

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