Version: $Id$
Generated with T3Doc 2.0 on Fri Sep 05 17:01:30 CEST 2008.
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.9
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.