Cryptographic Protocol
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642240720, 9783642240737
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Guarantee of Cryptographic Protocol Security

2012 ◽  
pp. 215-247
Author(s):  
Ling Dong ◽  
Kefei Chen
Keyword(s):  
Cryptographic Protocol ◽  
Protocol Security

Background of Cryptographic Protocols

2012 ◽  
pp. 13-40
Author(s):  
Ling Dong ◽  
Kefei Chen
Keyword(s):  
Cryptographic Protocols

Design of Cryptographic Protocols Based on Trusted Freshness

2012 ◽  
pp. 299-340
Author(s):  
Ling Dong ◽  
Kefei Chen
Keyword(s):  
Cryptographic Protocols

Informal Analysis Schemes of Cryptographic Protocols

2012 ◽  
pp. 83-152
Author(s):  
Ling Dong ◽  
Kefei Chen
Keyword(s):  
Cryptographic Protocols

Engineering Principles for Security Design of Protocols

2012 ◽  
pp. 41-81
Author(s):  
Ling Dong ◽  
Kefei Chen
Keyword(s):  
Security Design

Formalism of Protocol Security Analysis

2012 ◽  
pp. 249-297
Author(s):  
Ling Dong ◽  
Kefei Chen
Keyword(s):  
Security Analysis ◽  
Protocol Security

Security Analysis of Real World Protocols

2012 ◽  
pp. 153-213
Author(s):  
Ling Dong ◽  
Kefei Chen
Keyword(s):  
Real World ◽  
Security Analysis

Introduction of Cryptographic Protocols

2012 ◽  
pp. 1-12
Author(s):  
Ling Dong ◽  
Kefei Chen
Keyword(s):  
Cryptographic Protocols
Load More ...
Sign in / Sign up

Export Citation Format

Share Document