Formal verification of the extensible authentication protocol using SPIN

H. K. Jnanamurthy, Manu S.hegde, Sanjay Singh

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

Fingerprint Dive into the research topics of 'Formal verification of the extensible authentication protocol using SPIN'. Together they form a unique fingerprint.

Engineering & Materials Science