Cryptographic Protocol Security Analysis Based on Trusted Freshness /
"Cryptographic Protocol: Security Analysis Based on Trusted Freshness" mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness componen...
Κύριοι συγγραφείς: | , |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2012.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.