- 5 Resultados
precio mínimo: € 20,90, precio máximo: € 94,97, precio promedio: € 60,57
1
Pedir
por AbeBooks.de
€ 91,06
Envío: € 1,721
PedirEnlace patrocinado
Bella, Giampaolo:

Formal Correctness of Security Protocols - Pasta blanda

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. Gastos de envío: EUR 1.72 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 4 (von 5)]
2
Pedir
por Biblio.co.uk
$ 110,68
(aprox. € 94,97)
Envío: € 11,871
PedirEnlace patrocinado

Giampaolo Bella:

Formal Correctness of Security Protocols (Information Security and Cryptography) - encuadernado, tapa blanda

2007, ISBN: 9783540681342

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

Gastos de envío: EUR 11.87 Revaluation Books
3
Formal Correctness Of Security Protocols - Bella, Giampaolo
Pedir
por AbeBooks.de
€ 66,93
Envío: € 17,361
PedirEnlace patrocinado
Bella, Giampaolo:
Formal Correctness Of Security Protocols - encuadernado, tapa blanda

2007

ISBN: 3540681345

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

NOT NEW BOOK. Gastos de envío: EUR 17.36 GreatBookPricesUK, Castle Donington, DERBY, United Kingdom [72536976] [Rating: 4 (von 5)]
4
Pedir
por Antikbuch24.de
€ 20,90
PedirEnlace patrocinado
Bella, Giampaolo:
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - encuadernado, tapa blanda

ISBN: 9783540681342

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

Gastos de envío:más gastos de envío Antiquariat Thomas Haker GmbH & Co. KG
5
Pedir
por Antikbuch24.de
€ 29,00
PedirEnlace patrocinado
Bella, Giampaolo:
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - encuadernado, tapa blanda

ISBN: 9783540681342

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

Gastos de envío:más gastos de envío Antiquariat Thomas Haker GmbH & Co. KG

1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
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.

Detalles del libro - Formal Correctness of Security Protocols


EAN (ISBN-13): 9783540681342
ISBN (ISBN-10): 3540681345
Tapa dura
Tapa blanda
Año de publicación: 2007
Editorial: Springer-Verlag GmbH
274 Páginas
Peso: 0,550 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-06-21T03:48:29-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-03-04T02:15:52-06:00 (Mexico City)
ISBN/EAN: 9783540681342

ISBN - escritura alterna:
3-540-68134-5, 978-3-540-68134-2
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: bella, giampaolo
Título del libro: information security, formal correctness security protocols, bella


Datos del la editorial

Autor: Giampaolo Bella
Título: Information Security and Cryptography; Formal Correctness of Security Protocols
Editorial: Springer; Springer Berlin
274 Páginas
Año de publicación: 2007-03-05
Berlin; Heidelberg; DE
Idioma: Inglés
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.

< para archivar...