![](/img/cover-not-exists.png)
[IEEE 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) - Turin (2017.7.4-2017.7.8)] 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) - Formalization and Verification of the PKMv3 Protocol Using CSP
Xu, Yuanmin, Zhu, Huibiao, Zhu, Xiaoran, Wu, Xi, Guo, Jian, Lu, GangYear:
2017
Language:
english
DOI:
10.1109/COMPSAC.2017.133
File:
PDF, 644 KB
english, 2017