- 5 resultados
menor preço: € 37,44, preço mais alto: € 67,82, preço médio: € 53,15
1
Formal Correctness of Security Protocols (Information Security and Cryptography) - Bella, Giampaolo
Encomendar
no/na amazon.co.uk
£ 42,74
(aproximadamente € 49,17)
Envio: € 5,731
Encomendar
Detalhes fornecedor
Link patrocinado
Bella, Giampaolo:

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

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… mais…

Custos de envio:Available for download now. (EUR 5.73) Amazon Media EU S.à r.l.
fechar(X)
2
Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - Bella, Giampaolo
Encomendar
no/na amazon.de
€ 37,44
Envio: € 5,481
Encomendar
Detalhes fornecedor
Link patrocinado

Bella, Giampaolo:

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

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ü… mais…

Custos de envio:Jetzt als Download verfügbar. (EUR 5.48) Amazon Media EU S.à r.l.
fechar(X)
3
Formal Correctness of Security Protocols - Giampaolo Bella
Encomendar
no/na eBook.de
€ 53,49
Encomendar
Detalhes e envio
Link patrocinado
Giampaolo Bella:
Formal Correctness of Security Protocols - novo libro

ISBN: 9783540681366

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

Custos de envio:in stock, , , zzgl. Versandkosten., mais custos de envio
fechar(X)
4
Formal Correctness of Security Protocols - W. Liese
Encomendar
no/na hive.co.uk
£ 50,14
(aproximadamente € 57,83)
Encomendar
Detalhes e envio
Link patrocinado
W. Liese:
Formal Correctness of Security Protocols - novo libro

ISBN: 9783540681366

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

No. 9783540681366. Custos de envio:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., mais custos de envio
fechar(X)
5
Formal Correctness of Security Protocols - Giampaolo Bella
Encomendar
no/na lehmanns.de
€ 67,82
Envio: € 9,951
Encomendar
Detalhes fornecedor
Link patrocinado
Giampaolo Bella:
Formal Correctness of Security Protocols - primeira edição

2010, ISBN: 9783540681366

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

Custos de envio:Download sofort lieferbar. (EUR 9.95)
fechar(X)
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 artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Formal Correctness of Security Protocols (Information Security and Cryptography)
Autor:
Título:
Número ISBN:

9783540681366

Dados detalhados do livro - Formal Correctness of Security Protocols (Information Security and Cryptography)


EAN (ISBN-13): 9783540681366
Ano de publicação: 2007
Editor/Editora: Springer
274 Páginas
Língua: eng/Englisch

Livro na base de dados desde 2009-06-03T12:17:57+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-07-22T05:33:12+01:00 (Lisbon)
Número ISBN/EAN: 9783540681366

Número ISBN - Ortografia alternativa:
978-3-540-68136-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: 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-05-27
Berlin; Heidelberg; DE
Língua: 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 arquivar...