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 and the reception of
a new PKMv2KeyRequest to refresh the keys..
Then the test body,firstly,should send an EAP-Fail message and
secondarily waits for no reception of another PKMv2KeyRequest
Purpose
TP/SS/SEC/PKMv2/TEK/FSM/BV-H003
TP version: 0.0.9
Initial condition:IUT is in �Rekey Wait� state(E)of the PKMv2 TEK FSM.
Test purpose:Check that: On receiving a Stop event from the Authorization FSM,the IUT stops
the Key Request retry timer and terminates the TEK FSM.