- 5 resultados
menor preço: € 20.90, preço mais alto: € 94.97, preço médio: € 60.57
1
Encomendar
no/na AbeBooks.de
€ 91.06
Envio: € 1.721
EncomendarLink patrocinado
Bella, Giampaolo:

Formal Correctness of Security Protocols - Livro de bolso

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. Custos de envio: EUR 1.72 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 4 (von 5)]
2
Encomendar
no/na Biblio.co.uk
$ 110.68
(aproximadamente € 94.97)
Envio: € 11.871
EncomendarLink patrocinado

Giampaolo Bella:

Formal Correctness of Security Protocols (Information Security and Cryptography) - encadernada, livro de bolso

2007, ISBN: 9783540681342

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

Custos de envio: EUR 11.87 Revaluation Books
3
Formal Correctness Of Security Protocols - Bella, Giampaolo
Encomendar
no/na AbeBooks.de
€ 66.93
Envio: € 17.361
EncomendarLink patrocinado
Bella, Giampaolo:
Formal Correctness Of Security Protocols - encadernada, livro de bolso

2007

ISBN: 3540681345

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

NOT NEW BOOK. Custos de envio: EUR 17.36 GreatBookPricesUK, Castle Donington, DERBY, United Kingdom [72536976] [Rating: 4 (von 5)]
4
Encomendar
no/na Antikbuch24.de
€ 20.90
EncomendarLink patrocinado
Bella, Giampaolo:
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - encadernada, livro de bolso

ISBN: 9783540681342

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

Custos de envio:mais custos de envio Antiquariat Thomas Haker GmbH & Co. KG
5
Encomendar
no/na Antikbuch24.de
€ 29.00
EncomendarLink patrocinado
Bella, Giampaolo:
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - encadernada, livro de bolso

ISBN: 9783540681342

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

Custos de envio:mais custos de envio Antiquariat Thomas Haker GmbH & Co. KG

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
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.

Dados detalhados do livro - Formal Correctness of Security Protocols


EAN (ISBN-13): 9783540681342
ISBN (ISBN-10): 3540681345
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Springer-Verlag GmbH
274 Páginas
Peso: 0,550 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-06-21T05:48:29-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-03-04T05:15:52-03:00 (Sao Paulo)
Número ISBN/EAN: 3540681345

Número ISBN - Ortografia alternativa:
3-540-68134-5, 978-3-540-68134-2
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: bella, giampaolo
Título do livro: information security, formal correctness security protocols, bella


Dados da editora

Autor: Giampaolo Bella
Título: Information Security and Cryptography; Formal Correctness of Security Protocols
Editora: Springer; Springer Berlin
274 Páginas
Ano de publicação: 2007-03-05
Berlin; Heidelberg; DE
Língua: 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 arquivar...