Version: $Id$
Generated with T3Doc 2.0 on Fri Sep 05 17:01:31 CEST 2008.
Description
Test Strategy:
Purpose
TP/SS/SEC/PKMv2/TEK/FSM/BV-H010
TP version: 0.0.12
Initial Condition: IUT is in “Operational” (D) state of the PKMv2 TEK FSM.
Expected Behavior: Check that: On receiving a “TEK Invalid” event from the data packet decryption logic or
by the receipt of a PKMv2 TEK-Invalid message from the Tester (as BS), the IUT sends a PKMv2 Key-Request
message (without stop using current key) and goes into Operational Wait (B) state of the TEK FSM.