View in EDS HTML Full Text PDF Full Text

Formal Analysis of EAP-TLS Protocol Based on Logic of Events.

Saved in:
Bibliographic Details
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.
Description
ISSN:20738994
DOI:10.3390/sym17091456