Title

  Test IKEv2.EN.I.1.1.8.1: INVALID_IKE_SPI
  Part B: Different IKE_SA Responser'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 B
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
IKE_SA Responder's SPI The IKE_SA Initiator's SPI value used
by this IKE message plus 1
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 B: Different IKE_SA Responser's SPI (BASIC)
     12. NUT starts to negotiate with TN1 by sending IKE_SA_INIT request.
     13. Observe the messages transmitted on Link A.
     14. TN1 responds with an IKE_SA_INIT response to the NUT.
     15. Observe the messages transmitted on Link A.
     16. After reception of IKE_AUTH request from the NUT, TN1 responds with an IKE_AUTH
         response to the NUT
     17. TN1 transmits an Echo Request with IPsec ESP using the first negotiated algorithms to NUT.
     18. Observe the messages transmitted on Link A.
     19. Repeat Steps 6 and 7 until lifetime of SA is expired.
     20. Observe the messages transmitted on Link A.
     21. 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 as IKE_SA Responder's
         SPI to the NUT.
     22. Observe the messages transmitted on Link A.


Observable Result

  Part B
       Step 13: 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 15: 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 18: Judgment #3
       The NUT transmits an Echo Reply with IPsec ESP using corresponding algorithms.
       Step 20: 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 22: Judgment #5
       NUT does not transmit any packets or may transmit INFORMATIONAL request with a
       Notify payload of typeINVALID_IKE_SPI.


Possible Problems

  * None.