Fingerprint
Dive into the research topics of 'Computationally sound and effective symbolic analysis of group key exchange protocols'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Computationally sound and effective symbolic analysis of group key exchange protocols
Zi Jian Zhang, Lie Huang Zhu*, Feng Wang, Le Jian Liao
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
1
Citation
(Scopus)