Version: $Id$
Generated with T3Doc 2.0 on Fri Sep 05 17:01:30 CEST 2008.
Description
Test Strategy: Straightforward
Purpose
TP/SS/SEC/PKMv2/AUTH/EAP/FSM/BV-H018
TP version: 0.0.9
Initial condition: IUT is in "Authenticated"(D)state of the PKMv2 Authentication FSM.
Test purpose: Check that: On receiving an "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.