![](/img/cover-not-exists.png)
Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events
Yang, Ke, Xiao, Meihua, Song, Jiawen, Chen, Jia, Zhong, Xiaomei, Wang, XizhongVolume:
6
Year:
2018
Language:
english
Journal:
IEEE Access
DOI:
10.1109/ACCESS.2018.2870200
File:
PDF, 4.48 MB
english, 2018