Version: $Id$
Generated with T3Doc 2.0 on Fri Jan 30 15:06:39 CET 2009.
Description
Test Strategy: Straightforward
Purpose
TP/SS/SEC/PKMv2/AUTH/EAP/FSM/BV-H018
TP version: 0.0.14
Initial condition: IUT is in "Authenticated" (D) state of the PKMv2 Authentication FSM.
Test purpose: Check that: On receiving a "ReAuth Needed" event,
the IUT sends a PKMv2 EAP-Start message, starts EAP-Start Timer
and remains in "Authenticated" (D) state of the PKMv2 Authentication FSM.