- 5 Results
Lowest price: € 37.44, highest price: € 67.82, average price: € 53.15
1
Formal Correctness of Security Protocols (Information Security and Cryptography) - Bella, Giampaolo
Order
at amazon.co.uk
£ 42.74
(aprox. € 49.17)
Shipment: € 5.731
Order
Provider details
Sponsored link
Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) - new book

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

Shipping costs:Available for download now. (EUR 5.73) Amazon Media EU S.à r.l.
close (x)
2
Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - Bella, Giampaolo
Order
at amazon.de
€ 37.44
Shipment: € 5.481
Order
Provider details
Sponsored link

Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - new book

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ü… More...

Shipping costs:Jetzt als Download verfügbar. (EUR 5.48) Amazon Media EU S.à r.l.
close (x)
3
Formal Correctness of Security Protocols - Giampaolo Bella
Order
at eBook.de
€ 53.49
Order
Details & Shipping
Sponsored link
Giampaolo Bella:
Formal Correctness of Security Protocols - new book

ISBN: 9783540681366

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

Shipping costs:in stock, , , zzgl. Versandkosten., plus shipping costs
close (x)
4
Formal Correctness of Security Protocols - W. Liese
Order
at hive.co.uk
£ 50.14
(aprox. € 57.83)
Order
Details & Shipping
Sponsored link
W. Liese:
Formal Correctness of Security Protocols - new book

ISBN: 9783540681366

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

No. 9783540681366. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs
close (x)
5
Formal Correctness of Security Protocols - Giampaolo Bella
Order
at lehmanns.de
€ 67.82
Shipment: € 9.951
Order
Provider details
Sponsored link
Giampaolo Bella:
Formal Correctness of Security Protocols - First edition

2010, ISBN: 9783540681366

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

Shipping costs:Download sofort lieferbar. (EUR 9.95)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Formal Correctness of Security Protocols (Information Security and Cryptography)
Author:
Title:
ISBN:

9783540681366

Details of the book - Formal Correctness of Security Protocols (Information Security and Cryptography)


EAN (ISBN-13): 9783540681366
Publishing year: 2007
Publisher: Springer
274 Pages
Language: eng/Englisch

Book in our database since 2009-06-03T12:17:57+01:00 (London)
Detail page last modified on 2023-07-22T05:33:12+01:00 (London)
ISBN/EAN: 9783540681366

ISBN - alternate spelling:
978-3-540-68136-6
Alternate spelling and related search-keywords:
Book author: bella

Information from Publisher

Author: Giampaolo Bella
Title: Information Security and Cryptography; Formal Correctness of Security Protocols
Publisher: Springer; Springer Berlin
274 Pages
Publishing year: 2007-05-27
Berlin; Heidelberg; DE
Language: English
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.
< to archive...