Formal Analysis of EAP-TLS Protocol Based on Logic of Events
Sign Up to like & getrecommendations! Published in 2025 at "Symmetry"
DOI: 10.3390/sym17091456
Abstract: The Extensible Authentication Protocol–Transport Layer Security (EAP-TLS) is a critical authentication protocol for wireless networks and secure IoT communications. However, it faces significant challenges from man-in-the-middle attacks, including message tampering, replay, and certificate forgery. Although… read more here.
Keywords: protocol; logic; logic events; formal analysis ... See more keywords