- 5 Résultats
prix le plus bas: € 55,07, prix le plus élevé: € 66,23, prix moyen: € 59,69
1
Commander
sur booklooker.de
€ 55,99
Envoi: € 0,001
CommanderLien sponsorisé
Bella, Giampaolo:

Formal Correctness of Security Protocols - Livres de poche

2010, ISBN: 9783642087820

Edition reliée

[ED: Softcover], [PU: Springer, Berlin], The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerbe… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
Commander
sur amazon.co.uk
£ 49,05
(environ € 55,07)
Envoi: € 4,801
CommanderLien sponsorisé

Giampaolo Bella:

Formal Correctness of Security Protocols (Information Security and Cryptography) - Livres de poche

2010, ISBN: 3642087825

[SR: 9720690], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Plus…

  - Gebraucht. Frais d'envoiEuropa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 6-10 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) Paper Cavalier UK
3
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
Commander
sur amazon.co.uk
£ 50,05
(environ € 56,69)
Envoi: € 4,801
CommanderLien sponsorisé
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - Livres de poche

2010

ISBN: 3642087825

[SR: 9024784], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Plus…

  - Gebraucht. Frais d'envoiEuropa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) rbmbooks
4
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
Commander
sur amazon.co.uk
£ 58,99
(environ € 66,23)
Envoi: € 4,941
CommanderLien sponsorisé
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - Livres de poche

2010, ISBN: 3642087825

[SR: 9720690], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Plus…

  - Neuware. Frais d'envoiEuropa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 24 hours. (EUR 4.94) Amazon.co.uk
5
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
Commander
sur amazon.co.uk
£ 56,92
(environ € 64,47)
Envoi: € 4,801
CommanderLien sponsorisé
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - Livres de poche

2010, ISBN: 3642087825

[SR: 9024784], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Plus…

  - Neuware. Frais d'envoiEuropa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 6-10 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) BOOKS etc

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Formal Correctness of Security Protocols (Information Security and Cryptography)

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.

Informations détaillées sur le livre - Formal Correctness of Security Protocols (Information Security and Cryptography)


EAN (ISBN-13): 9783642087820
ISBN (ISBN-10): 3642087825
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer-Verlag GmbH
296 Pages
Poids: 0,450 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2010-05-25T17:23:05+02:00 (Paris)
Page de détail modifiée en dernier sur 2019-11-14T11:00:25+01:00 (Paris)
ISBN/EAN: 3642087825

ISBN - Autres types d'écriture:
3-642-08782-5, 978-3-642-08782-0
Autres types d'écriture et termes associés:
Auteur du livre: giampaolo, bella


Données de l'éditeur

Auteur: Giampaolo Bella
Titre: Information Security and Cryptography; Formal Correctness of Security Protocols
Editeur: Springer; Springer Berlin
274 Pages
Date de parution: 2010-11-30
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
54,99 € (DE)

BC; Hardcover, Softcover / 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; 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; 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.

< pour archiver...