/. State=1 and . Rcv, respond_id.peerId)=|> State

/. Ek, =PRF(PSK.RandS'.serverId.peerId)

/. Snd, Challenge'.serverId.RandS

/. State=1 and . Rcv, Challenge'.serverId.RandS

/. ={mic, AK',Challenge'.serverId.RandS')}_EK' =|> State, p.=new(

B. Aboba and P. Calhoun, RADIUS (Remote Authentication Dial In User Service) Support For Extensible Authentication Protocol (EAP), RFC 3579, 2003.

J. Arkko and H. Haverinen, Extensible Authentication protocol Method for 3rd Generation Authentication and Key Agreement, RFC 4187, 2006.
DOI : 10.17487/rfc4187

O. Cheikhrouhou, M. Laurent-maknavicius, B. Jemaa, and M. , Sécurité des réseaux mesh sans fil, pp.2006-2007

T. Dierks and C. Allen, The TLS Protocol Version 1.0, RFC 2246, 1999.