http://www.rfc-editor.org/rfc/rfc4137.txt
RFC 4137: State Machines for Extensible Authentication Protocol (EAP) Peer and Authenticator, J. Vollbrecht, P. Eronen, N. Petroni, Y. Ohba2005-08-01T23:00:00-00:00The state machine and associated model are informative only. Implementations may achieve the same results using different methods. This memo provides information for the Internet community.