Formal Analysis of EAP-TLS Protocol Based on Logic of Events.
Saved in:
| Title: | Formal Analysis of EAP-TLS Protocol Based on Logic of Events. |
|---|---|
| Authors: | Xiao, Meihua1 (AUTHOR), Cheng, Weili1,2 (AUTHOR) weilicheng@ecjtu.edu.cn, Fan, Hongming1,2 (AUTHOR), Shao, Huaibin2 (AUTHOR), Li, Zehuan1 (AUTHOR), Zhong, Yingqiang1 (AUTHOR) |
| Source: | Symmetry (20738994). Sep2025, Vol. 17 Issue 9, p1456. 32p. |
| Database: | Academic Search Ultimate |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
