Version: $Id$
Generated with T3Doc 2.0 on Fri Jan 30 15:06:39 CET 2009.
Description
Test Strategy: The preamble completes the whole authentication process until the IUT is
in "Authenticated"(D)state,then, after reauthentication, sends a PKMv2SATEKChallenge
to the IUT so that it sends PKMv2 SA-TEK-Request and enters "Reauth SA_TEK Rsp Wait"(E)
state. Then a second PKMv2SATEKChallenge is sent to the IUT and the test case checks
whether a new SA-TEK-Request is sent by the IUT after SaTek expires and that it remains
in remains in "Reauth SA_TEK Rsp Wait"(E)state
Purpose
TP/SS/SEC/PKMv2/AUTH/EAP/FSM/BV-H025
TP version: 0.0.14
Initial condition: IUT is in "Reauth SA-TEK-Response Wait" (E) state of the PKMv2 Authentication FSM.
Test purpose: Check that: On receiving a "PKMv2 SA-TEK-Challenge" message, the IUT sends PKMv2
SA-TEK-Request, starts SATEK Timer, and remains in "Reauth SA-TEK-Response Wait" (E)
state of the PKMv2 Authentication FSM.