Filter by
Found 1 from your keywords: author=Kefei, Chen
Cryptographic protocol: security analysis based on trusted freshness
Contents: - 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 Protoc…
- Edition
- -
- ISBN/ISSN
- 9787040313314
- Collation
- xi, 373 hlm.; 24 cm.
- Series Title
- Information Security
- Call Number
- 005.82 LIN c
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography