Formal verification of PAP and EAP-MD5 protocols in wireless networks: FDR model checking

Il Gon Kim, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Formal verification of PAP and EAP-MD5 protocols in wireless networks: FDR model checking'. Together they form a unique fingerprint.

Engineering & Materials Science