Version: $Id$
Generated with T3Doc 2.0 on Fri Sep 05 17:01:31 CEST 2008.
Description
Test Strategy: The preamble completes the Initial Ranging,the Negotiation of Basic Capabilities,
the chosen authentication process,the 3-way handshake,the TEK exchange,the reception of
a new PKMv2KeyRequest to refresh the keys and sends a PKMv2SaTekChallenge to bring the IUT
to the REKEY REAUTHORIZE WAIT state in the TEK FSM
Then the test body,firstly,completes the reauthorization and sends an EAP-Fail message.
Secondarily waits for no reception of another PKMv2KeyRequest
Purpose
TP/SS/SEC/PKMv2/TEK/FSM/BV-H004
TP version: 0.0.9
Initial condition:IUT is in �Rekey Reauthorize Wait�(F)state of the PKMv2 TEK FSM.
Test purpose:Check that: On receiving a Stop event from the Authorization FSM,the IUT
terminates the TEK FSM.