Former State: Start
Event: Restart
Message To BS: 
Comments: 
New State: Start

Former State: 
Event: Simulation launched
Message To BS: 
Comments: 
New State: Start

Former State: Start
Event: Comm. Est.
Message To BS: -Authentication Info message
-Authentication Request message
Comments: -Set Auth Request retry timer to Auth Wait Timeout
New State: Auth. Wait

Former State: Auth. Wait
Event: Auth. Reply
Message To BS: 
Comments: -clear Auth Request retry timer
-decrypt and record AK delivered with Auth Reply
-start TEK FSMs for all SAIDs listed in Authorization Reply (provided the SS supports the cryptographic suite that is associated with an SAID) and issue a TEK FSM Authorized event for each of the new TEK FSMs
-set the Authorization Grace timer to go off "Authorization Grace Time" seconds prior to the supplied AKs scheduled expiration
New State: Authorized

