Articoli correlati a Cryptographic Protocol: Security Analysis Based on...

Cryptographic Protocol: Security Analysis Based on Trusted Freshness - Brossura

Dong, Ling; Chen, Kefei

 
9783642240744: Cryptographic Protocol: Security Analysis Based on Trusted Freshness
Brossura
ISBN 10: 3642240747 ISBN 13: 9783642240744
Casa editrice: Springer, 2012

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Introduction of Cryptographic Protocol.- Informal Analysis.- Informal Analysis of Cryptographic Protocols.- Formal Approaches to Security Definition.- Formal Approaches to Security Establishment of Authentication Protocols.- Belief Multisets to Security Establishment of Authentication Protocols.- Automation Approaches to Security Establishment of Authentication Protocols.- Formal Approaches to Design of Authentication Protocols.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
3642240747
ISBN 13 
9783642240744
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783642240720: Cryptographic Protocol: Security Analysis Based on Trusted Freshness

Edizione in evidenza

ISBN 10:  3642240720 ISBN 13:  9783642240720
Casa editrice: Springer-Nature New York Inc, 2012
Rilegato