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
AbeBooks.de Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 4 (von 5)] NEW BOOK. Custos de envio: EUR 1.72 Details... |
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
Biblio.co.uk |
2007, ISBN: 3540681345
[EAN: 9783540681342], Gebraucht, wie neu, [PU: Springer], Unread book in perfect condition., Books
AbeBooks.de GreatBookPricesUK, Castle Donington, DERBY, United Kingdom [72536976] [Rating: 4 (von 5)] NOT NEW BOOK. Custos de envio: EUR 17.36 Details... |
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - encadernada, livro de bolso
ISBN: 9783540681342
294 p. Hardcover/Pappeinband, [PU: Springer, Berlin/Heidelberg]
Antikbuch24.de |
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - encadernada, livro de bolso
ISBN: 9783540681342
294 p. Hardcover/Pappeinband, [PU: Springer, Berlin/Heidelberg]
Antikbuch24.de |
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
no/na Biblio.co.uk
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - encadernada, livro de bolso2007, ISBN: 9783540681342
Springer Verlag, 2007. Hardcover. New. 1st edition. 274 pages. 9.25x6.25x0.75 inches., Springer Verlag, 2007, 6
2007
ISBN: 3540681345
[EAN: 9783540681342], Gebraucht, wie neu, [PU: Springer], Unread book in perfect condition., Books
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - encadernada, livro de bolso
ISBN: 9783540681342
294 p. Hardcover/Pappeinband, [PU: Springer, Berlin/Heidelberg]
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - encadernada, livro de bolso
ISBN: 9783540681342
294 p. Hardcover/Pappeinband, [PU: Springer, Berlin/Heidelberg]
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9788120090002 Designing Modern Microbiological / Biomedical Laboratory: Lab Design Process And Technology (Busscher,Busscher H.J.,Kreuzer H,Mills,Mount G.J.,Mukherjee S,Richmond J.Y,Rusciani L.,Sambrook And Russell,Schaechter M.,Sessler J.L.,Sussman H.E.,Watts T. L. P.,Watts T.L.P.,Wehr)
- 9788120090002 Designing Modern Microbiological / Biomedical Laboratory: Lab Design Process And Technology (Busscher,Busscher H.J.,Kreuzer H,Mills,Mount G.J.,Mukherjee S,Richmond J.Y,Rusciani L.,Sambrook And Russell,Schaechter M.,Sessler J.L.,Sussman H.E.,Watts T. L. P.,Watts T.L.P.,Wehr)
- 9788120350823 Cryptography and Information Security (V.K. Pachghare)
- 9788120335219 Cryptography and Information Security (V.K. Pachghare Illustrator: .)
- 9783540681366 Formal Correctness of Security Protocols (Information Security and Cryptography) (Bella, Giampaolo)
- 9783642087820 Formal Correctness of Security Protocols (Information Security and Cryptography) (Giampaolo Bella)
< Para arquivar...