Title

  Test IKEv2.EN.I.1.1.8.1: INVALID_IKE_SPI
  Part A: Different IKE_SA Initiator's SPI (BASIC)


Purpose

  To verify an IKEv2 device properly handles an unrecognized destination SPI.


References

  * [RFC 4306] - Sections 2.21 and 3.10.1
  * [RFC 4718] - Sections 7.7


Test Setup

  * Network Topology
      Connect the devices according to the Common Topology.
  * Configuration
      In each part, configure the devices according to the Common Configuration.
  * Pre-Sequence and Cleanup Sequence
      IKEv2 on the NUT is disabled after each part.


Procedure

   NUT                  TN1
(End-Node)           (End-Node)
    |                    |
    |------------------->| IKE_SA_INIT request (HDR, SAi1, KEi, Ni)
    |                    | (Judgement #1)
    |<-------------------| IKE_SA_INIT Response (HDR, SAr1, KEr, Nr)
    |                    | (Packet #1)
    |                    |
    |------------------->| IKE_AUTH request (HDR, SK {IDi, AUTH, N+, SAi2, TSi, TSr})
    |                    | (Judgement #2)
    |<-------------------| IKE_AUTH Response (HDR, SK {IDr, AUTH, N+, SAr2, TSi, TSr})
    |                    | (Packet #2)
    |                    |
   ---                  ---
    |                    |                        ---
    |<-------------------| IPSec {Echo Request}    |
    |                    | (Packet #3)             |
    |------------------->| IPSec {Echo Reply}      | repeat Echo exchange until lifetime of SA is expired
    |                    | (Judgement #3)          |
    |                    |                        ---
   ---                  ---
    |                    |
    |------------------->| CREATE_CHILD_SA request (HDR, SK {N, N+, SA, Ni, KEi, TSi, TSr})
    |                    | (Judgement #4)
    |<-------------------| CREATE_CHILD_SA response (HDR, SK {N+, SA, Nr, KEr, TSi, TSr})
    |                    | (Packet #4)
    |                    |
    |---------X          | INFORMATIONAL request (HDR, N(INVALID_IKE_SPI)
    |                    | (Judgement #5)
    |                    |
    V                    V

 N: REKEY_SA
 N+: USE_TRANSPORT_MODE
Packet #1 See Common Packet #2
Packet #2 See Common Packet #4
Packet #3 See Common Packet #19
Packet #4 See below

Part A
Packet #4: CREATE_CHILD_SA response
IPv6 Header Same as Common Packet #14
UDP Header Same as Common Packet #14
IKEv2 Header IKE_SA Initator's SPI The IKE_SA Responder's SPI value
used by this IKE message plus 1
IKE_SA Responder's SPI The IKE_SA Initiator's SPI value used
by this IKE message
Other field are same as Common Packet #14
E Payloa Same as Common Packet #14
N Payload Same as Common Packet #14
SA Payload Same as Common Packet #14
Ni, Nr Payload Same as Common Packet #14
TSi Payload Same as Common Packet #14
TSr Payload Same as Common Packet #14
  Part A: Different IKE_SA Initiator's SPI (BASIC)
       1. NUT starts to negotiate with TN1 by sending IKE_SA_INIT request.
       2. Observe the messages transmitted on Link A.
       3.  TN1 responds with an IKE_SA_INIT response to the NUT.
       4.  Observe the messages transmitted on Link A.
       5.  After reception of IKE_AUTH request from the NUT, TN1 responds with an IKE_AUTH
           response to the NUT
       6. TN1 transmits an Echo Request with IPsec ESP using the first negotiated algorithms to NUT.
       7. Observe the messages transmitted on Link A.
       8. Repeat Steps 6 and 7 until lifetime of SA is expired.
       9. Observe the messages transmitted on Link A.
      10. After reception of CREATE_CHILD_SA request for rekeying from the NUT, TN1 responds
          with a CREATE_CHILD_SA response which has an invalid value (zero) as IKE_SA
          Responder's SPI to the NUT.
      11. Observe the messages transmitted on Link A.


Observable Result

  Part A
    Step 2: Judgment #1
      The NUT transmits an IKE_SA_INIT request including "ENCR_3DES",
      "PRF_HMAC_SHA1", "AUTH_HMAC_SHA1_96" and "D-H group 2" as proposed
      algorithms.
  
    Step 4: Judgment #2
      The NUT transmits an IKE_SA_INIT request including "ENCR_3DES",
      "PRF_HMAC_SHA1", "AUTH_HMAC_SHA1_96" and "D-H group 2" as proposed
      algorithms and a Key Exchange payload which contains a recalculated Key Exchange Data.
  
    Step 7: Judgment #3
      The NUT transmits an Echo Reply with IPsec ESP using corresponding algorithms.
  
    Step 9: Judgment #4
      The NUT transmits a CREATE_CHILD_SA request including "ENCR_3DES",
      "AUTH_HMAC_SHA1_96" and "No Extended Sequence Numbers" as proposed
      algorithms. And the CREATE_CHILD_SA request includes a Notify payload of type
      REKEY_SA containing rekeyed CHILD_SA's SPI value in the SPI field.
  
    Step 11: Judgment #5
      NUT does not transmit an INFORMATIONAL request with a Notify payload of type
      INVALID_IKE_SPI.


Possible Problems

  * None.