- 5 Resultados
precio mínimo: € 37,44, precio máximo: € 67,82, precio promedio: € 53,15
1
Formal Correctness of Security Protocols (Information Security and Cryptography) - Bella, Giampaolo
Pedir
por amazon.co.uk
£ 42,74
(aprox. € 49,17)
Envío: € 5,731
Pedir
Detalles del proveedor
Enlace patrocinado
Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) - libro nuevo

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… Más…

Gastos de envío:Available for download now. (EUR 5.73) Amazon Media EU S.à r.l.
cerrar (X)
2
Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - Bella, Giampaolo
Pedir
por amazon.de
€ 37,44
Envío: € 5,481
Pedir
Detalles del proveedor
Enlace patrocinado

Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - libro nuevo

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ü… Más…

Gastos de envío:Jetzt als Download verfügbar. (EUR 5.48) Amazon Media EU S.à r.l.
cerrar (X)
3
Formal Correctness of Security Protocols - Giampaolo Bella
Pedir
por eBook.de
€ 53,49
Pedir
Detalles y envío
Enlace patrocinado
Giampaolo Bella:
Formal Correctness of Security Protocols - libro nuevo

ISBN: 9783540681366

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

Gastos de envío:in stock, , , zzgl. Versandkosten., más gastos de envío
cerrar (X)
4
Formal Correctness of Security Protocols - W. Liese
Pedir
por hive.co.uk
£ 50,14
(aprox. € 57,83)
Pedir
Detalles y envío
Enlace patrocinado
W. Liese:
Formal Correctness of Security Protocols - libro nuevo

ISBN: 9783540681366

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

No. 9783540681366. Gastos de envío:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., más gastos de envío
cerrar (X)
5
Formal Correctness of Security Protocols - Giampaolo Bella
Pedir
por lehmanns.de
€ 67,82
Envío: € 9,951
Pedir
Detalles del proveedor
Enlace patrocinado
Giampaolo Bella:
Formal Correctness of Security Protocols - Primera edición

2010, ISBN: 9783540681366

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

Gastos de envío:Download sofort lieferbar. (EUR 9.95)
cerrar (X)
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 (Information Security and Cryptography)
Autor:
Título:
ISBN:

9783540681366

Detalles del libro - Formal Correctness of Security Protocols (Information Security and Cryptography)


EAN (ISBN-13): 9783540681366
Año de publicación: 2007
Editorial: Springer
274 Páginas
Idioma: eng/Englisch

Libro en la base de datos desde 2009-06-03T13:17:57+02:00 (Madrid)
Página de detalles modificada por última vez el 2023-07-22T06:33:12+02:00 (Madrid)
ISBN/EAN: 9783540681366

ISBN - escritura alterna:
978-3-540-68136-6
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: 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-05-27
Berlin; Heidelberg; DE
Idioma: Inglés
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.
< para archivar...