- 5 Ergebnisse
Kleinster Preis: € 37,44, größter Preis: € 67,82, Mittelwert: € 53,15
1
Formal Correctness of Security Protocols (Information Security and Cryptography) - Bella, Giampaolo
Bestellen
bei amazon.co.uk
£ 42,74
(ca. € 49,17)
Versand: € 5,731
Bestellen
Details beim Anbieter
gesponserter Link
Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) - neues Buch

2007, ISBN: 9783540681366

Springer, Kindle Edition, Auflage: 2007, 294 Seiten, Publiziert: 2007-05-27T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, AI & Machine Learning, Computer Science, Computing & Inter… Mehr…

Versandkosten:Available for download now. (EUR 5.73) Amazon Media EU S.à r.l.
zuklappen (X)
2
Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - Bella, Giampaolo
Bestellen
bei amazon.de
€ 37,44
Versand: € 5,481
Bestellen
Details beim Anbieter
gesponserter Link

Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - neues Buch

2007, ISBN: 9783540681366

Springer, Kindle Ausgabe, Auflage: 2007, 294 Seiten, Publiziert: 2007-05-27T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Netzwerke, Sicherheit, Computer & Internet, Kategorien, Bü… Mehr…

Versandkosten:Jetzt als Download verfügbar. (EUR 5.48) Amazon Media EU S.à r.l.
zuklappen (X)
3
Formal Correctness of Security Protocols - Giampaolo Bella
Bestellen
bei eBook.de
€ 53,49
Bestellen
Details und Versand
gesponserter Link
Giampaolo Bella:
Formal Correctness of Security Protocols - neues Buch

ISBN: 9783540681366

Formal Correctness of Security Protocols: ab 53.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH

Versandkosten:in stock, , , zzgl. Versandkosten.
zuklappen (X)
4
Formal Correctness of Security Protocols - W. Liese
Bestellen
bei hive.co.uk
£ 50,14
(ca. € 57,83)
Bestellen
Details und Versand
gesponserter Link
W. Liese:
Formal Correctness of Security Protocols - neues Buch

ISBN: 9783540681366

; PDF; Computing > Computer networking & communications > Network security, Springer Berlin Heidelberg

No. 9783540681366. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
5
Formal Correctness of Security Protocols - Giampaolo Bella
Bestellen
bei lehmanns.de
€ 67,82
Versand: € 9,951
Bestellen
Details beim Anbieter
gesponserter Link
Giampaolo Bella:
Formal Correctness of Security Protocols - Erstausgabe

2010, ISBN: 9783540681366

eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], Seiten: 274, [ED: 1], Springer-Verlag, 2010

Versandkosten:Download sofort lieferbar. (EUR 9.95)
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:

9783540681366

Detailangaben zum Buch - Formal Correctness of Security Protocols (Information Security and Cryptography)


EAN (ISBN-13): 9783540681366
Erscheinungsjahr: 2007
Herausgeber: Springer
274 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-06-03T13:17:57+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-07-22T06:33:12+02:00 (Berlin)
ISBN/EAN: 9783540681366

ISBN - alternative Schreibweisen:
978-3-540-68136-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: 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-05-27
Berlin; Heidelberg; DE
Sprache: Englisch
55,00 € (DE)

EA; E107; eBook; Nonbooks, PBS / 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; B; Computer Communication Networks; Formal Languages and Automata Theory; Data Structures and Information Theory; Data and Information Security; Artificial Intelligence; Communications Engineering, Networks; Computer Science; 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...