Version: $Id$
Generated with T3Doc 2.0 on Fri Jan 30 15:06:40 CET 2009.
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 sends a PKMv2SaTekChallenge message and
waits for no reception of another PKMv2KeyRequest
Purpose
TP/SS/SEC/PKMv2/TEK/FSM/BV-H007
TP version: 0.0.14
Initial condition: IUT is in "Rekey Wait" (E) state of the PKMv2 TEK FSM.
Test purpose: Check that: On receiving an Authorization Pending event from the Authorization FSM,
the IUT stops the Key Request retry timer and goes into Rekey Reauthorize Wait(F) state of the
TEK FSM.