Paper Info
Title
A Supporting Environment for Formal Analysis of Cryptographic Protocols.
Year
DOI
Venue
2017
10.1007/978-981-10-5041-1_87
MUE/FutureTech
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Jingchen Yan101.35
Kazunori Wagatsuma200.34
Hongbiao Gao3237.06
Jingde Cheng454285.38