Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 54,99 €, prix le plus élevé: 93,33 €, prix moyen: 73,79 €
Formal Correctness of Security Protocols - Giampaolo Bella
Livre non disponible
(*)
Giampaolo Bella:
Formal Correctness of Security Protocols - nouveau livre

2007, ISBN: 9783540681366

ID: 689061063

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. 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 protoc eBooks > Fremdsprachige eBooks > Englische eBooks > Sach- & Fachthemen PDF 27.05.2007, .200, [PU: Springer, Berlin/Heidelberg]

Nouveaux livres Buch.ch
No. 24484613 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
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: 9783540681366

ID: 7600465

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. 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 protoc eBook eBooks>Fremdsprachige eBooks>Englische eBooks>Sach- & Fachthemen, [PU: Springer, Berlin/Heidelberg]

Nouveaux livres Thalia.ch
No. 24484613 Frais d'envoiDE (EUR 12.83)
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: 9783540681366

ID: 9783540681366

Computer Science; Computer Communication Networks; Mathematical Logic and Formal Languages; Data Structures, Cryptology and Information Theory; Systems and Data Security; Artificial Intelligence (incl. Robotics); Communications Engineering, Networks Formal methods, Inductive techniques, Information, Isabelle, Kerberos, Protocol engineering, Security protocols, Theorem proving, data security, formal method, network security, security Books eBook, Springer Nature

Nouveaux livres Springer.com
Frais d'envoizzgl. Versandkosten., Livraison non-comprise
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 als eBook Download von Giampaolo Bella - Giampaolo Bella
Livre non disponible
(*)
Giampaolo Bella:
Formal Correctness of Security Protocols als eBook Download von Giampaolo Bella - nouveau livre

ISBN: 9783540681366

ID: 104683120

Formal Correctness of Security Protocols: Giampaolo Bella Formal Correctness of Security Protocols: Giampaolo Bella eBooks > Sachthemen & Ratgeber > Technik, Springer Berlin Heidelberg

Nouveaux livres Hugendubel.de
No. 8897200 Frais d'envoi, , DE (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 - Première édition

2010, ISBN: 9783540681366

ID: 21813364

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

Nouveaux livres Lehmanns.de
Frais d'envoiDownload sofort lieferbar, , Versandkostenfrei 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.