Version: $Id$
Generated with T3Doc 2.0 on Fri Jan 30 15:06:40 CET 2009.
Description
Test Strategy:
Purpose
TP/SS/SEC/PKMv2/TEK/FSM/BV-H010
TP version: 0.0.14
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.