- 5 Résultats
prix le plus bas: € 37,44, prix le plus élevé: € 67,82, prix moyen: € 53,15
1
Formal Correctness of Security Protocols (Information Security and Cryptography) - Bella, Giampaolo
Commander
sur amazon.co.uk
£ 42,74
(environ € 49,17)
Envoi: € 5,731
Commander
Détails du fournisseur
Lien sponsorisé
Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) - nouveau livre

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

Frais d'envoiAvailable for download now. (EUR 5.73) Amazon Media EU S.à r.l.
fermer(X)
2
Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - Bella, Giampaolo
Commander
sur amazon.de
€ 37,44
Envoi: € 5,481
Commander
Détails du fournisseur
Lien sponsorisé

Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - nouveau livre

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

Frais d'envoiJetzt als Download verfügbar. (EUR 5.48) Amazon Media EU S.à r.l.
fermer(X)
3
Formal Correctness of Security Protocols - Giampaolo Bella
Commander
sur eBook.de
€ 53,49
Commander
Détails et expédition
Lien sponsorisé
Giampaolo Bella:
Formal Correctness of Security Protocols - nouveau livre

ISBN: 9783540681366

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

Frais d'envoiin stock, , , zzgl. Versandkosten., Livraison non-comprise
fermer(X)
4
Formal Correctness of Security Protocols - W. Liese
Commander
sur hive.co.uk
£ 50,14
(environ € 57,83)
Commander
Détails et expédition
Lien sponsorisé
W. Liese:
Formal Correctness of Security Protocols - nouveau livre

ISBN: 9783540681366

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

No. 9783540681366. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise
fermer(X)
5
Formal Correctness of Security Protocols - Giampaolo Bella
Commander
sur lehmanns.de
€ 67,82
Envoi: € 9,951
Commander
Détails du fournisseur
Lien sponsorisé
Giampaolo Bella:
Formal Correctness of Security Protocols - Première édition

2010, ISBN: 9783540681366

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

Frais d'envoiDownload sofort lieferbar. (EUR 9.95)
fermer(X)
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)
Auteur:
Titre:
ISBN:

9783540681366

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


EAN (ISBN-13): 9783540681366
Date de parution: 2007
Editeur: Springer
274 Pages
Langue: eng/Englisch

Livre dans la base de données depuis 2009-06-03T13:17:57+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-07-22T06:33:12+02:00 (Zurich)
ISBN/EAN: 9783540681366

ISBN - Autres types d'écriture:
978-3-540-68136-6
Autres types d'écriture et termes associés:
Auteur du livre: 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: 2007-05-27
Berlin; Heidelberg; DE
Langue: Anglais
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.
< pour archiver...