. .
Français
France
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
Annonce payée
FILTRE
- 0 Résultats
prix le plus bas: 69,50 €, prix le plus élevé: 69,50 €, prix moyen: 69,50 €
Formal Correctness of Security Protocols - Giampaolo Bella
Livre non disponible
(*)
Giampaolo Bella:

Formal Correctness of Security Protocols - nouveau livre

ISBN: 9783540681342

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties. 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, the Inductive Method in the theorem prover Isabelle, 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. This book will benefit researchers and graduate students in the fields of formal methods, information security, inductive methods, and networking. -, [SC: 0.00], Neuware, gewerbliches Angebot, 245x164x23 mm, [GW: 550g]

Nouveaux livres Booklooker.de
Rhein-Team Lörrach
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Correctness of Security Protocols - Giampaolo Bella
Livre non disponible
(*)

Giampaolo Bella:

Formal Correctness of Security Protocols - nouveau livre

ISBN: 9783540681342

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties. 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, the Inductive Method in the theorem prover Isabelle, 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. This book will benefit researchers and graduate students in the fields of formal methods, information security, inductive methods, and networking., [SC: 0.00], Neuware, gewerbliches Angebot, 245x164x23 mm, [GW: 550g]

Nouveaux livres Booklooker.de
Sellonnet GmbH
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Correctness of Security Protocols - Giampaolo Bella
Livre non disponible
(*)
Giampaolo Bella:
Formal Correctness of Security Protocols - nouveau livre

ISBN: 9783540681342

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - 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., [SC: 2.00], Neuware, gewerbliches Angebot, 245x164x23 mm, [GW: 550g]

Nouveaux livres Booklooker.de
buchversandmimpf2000
Frais d'envoiVersand nach Deutschland (EUR 2.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Correctness of Security Protocols - Giampaolo Bella
Livre non disponible
(*)
Giampaolo Bella:
Formal Correctness of Security Protocols - nouveau livre

2007, ISBN: 9783540681342

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - 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., [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, [GW: 1310g]

Nouveaux livres Booklooker.de
Buchhandlung Kühn GmbH
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Formal Correctness of Security Protocols - Bella, Giampaolo
Livre non disponible
(*)
Bella, Giampaolo:
Formal Correctness of Security Protocols - edition reliée, livre de poche

2007, ISBN: 3540681345

ID: A4916834

2007 Gebundene Ausgabe Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Kryptografie, Verschlüsselung, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Nouveaux livres Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Frais d'envoiVersandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
Formal Correctness of Security Protocols
Auteur:

Bella, Giampaolo

Titre:

Formal Correctness of Security Protocols

ISBN:

3540681345

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


EAN (ISBN-13): 9783540681342
ISBN (ISBN-10): 3540681345
Version reliée
Date de parution: 2007
Editeur: Springer-Verlag GmbH
274 Pages
Poids: 0,550 kg
Langue: eng/Englisch

Livre dans la base de données depuis 21.06.2007 10:48:29
Livre trouvé récemment le 22.12.2016 15:31:27
ISBN/EAN: 3540681345

ISBN - Autres types d'écriture:
3-540-68134-5, 978-3-540-68134-2

< Retour aux résultats de recherche...
< pour archiver...
Adjacent Livres