Formal Verification of the Coordinated Robust Authentication Protocol for Wireless Networks.

Khosrow Ramezani, Elankayer Sithirasenan, Vallipuram Muthukkumarasamy

Browse the full TrustCom paper archive.