Abstract | ||
---|---|---|
A framework consisting of the Protocol Derivation System (PDS) and the Protocol Composition
Logic (PCL) has been recently proposed by Datta |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/ChinaCom.2011.6158270 | Security and Communication Networks |
Keywords | Field | DocType |
network security,PDS,Needham–Schroeder family,PCL | Trusted third party,Authentication,Cryptographic protocol,Key exchange,Computer science,Computer security,Correctness,Network security,Encryption,Mathematical proof | Journal |
Volume | Issue | Citations |
8 | 16 | 1 |
PageRank | References | Authors |
0.35 | 11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Junwei Zhang | 1 | 46 | 9.28 |
Jianfeng Ma | 2 | 1207 | 89.64 |
Chao Yang | 3 | 35 | 6.47 |