×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
Authorized by:China Association for Science and Technology
Sponsored by:China Institute of Communications
ISSN 1000-436X CN 11-2102/TN
Home
About Us
Editorial Board
Instruction
Ethics Statement
Agreement
Subscription
Conference
Download
Contact Us
中文
About Journal
Journal Information
Instructions for Authors
Manuscript Format
Review Process
Downlaod
Contact Us
Toggle navigation
Home
About Us
About Journal
Journal Information
Editorial Board
Instruction
Instructions for Authors
Manuscript Format
Review Process
Downlaod
Ethics Statement
Agreement
Subscription
Conference
Contact Us
中文
Computationally sound mechanized proofs for Diffie-Hellman key exchange protocols
Chao FENG,Quan ZHANG,Chao-jing TANG
Journal on Communications . 2011, (
10
): 118 -126 . DOI: 1000-436X(2011)10-0118-09
