<?xml version="1.0"?>
<?rfc symrefs="yes"?>
<!DOCTYPE rfc SYSTEM "rfc2629.dtd">
<?rfc toc="yes" ?>
<?rfc compact="yes" ?>
<?rfc sortrefs="no" ?>
<rfc ipr="trust200902" category="std" 
  docName="draft-ietf-hip-native-nat-traversal-14">

  <front>
    <title abbrev="HIP Native NAT Traversal Mode">
       Native NAT Traversal Mode for the Host&nbsp;Identity&nbsp;Protocol
    </title>

    <author fullname="Ari Keranen" initials="A." surname="Keranen"> 
      <organization abbrev="Ericsson">Ericsson</organization>
      <address>
        <postal>
          <street>Hirsalantie 11</street>
          <city>02420 Jorvas</city>
          <country>Finland</country>
        </postal>
        <email>ari.keranen@ericsson.com</email>        
      </address>
    </author>

    <author initials="J." fullname="Jan Mel&eacute;n" surname="Mel&eacute;n">
      <organization abbrev="Ericsson">Ericsson</organization>
      <address>
        <postal>
          <street>Hirsalantie 11</street>
          <city>02420 Jorvas</city>
          <country>Finland</country>
        </postal>
        <email>jan.melen@ericsson.com</email>
      </address>
    </author>

    <author fullname="Miika Komu" initials="M.K.T." surname="Komu" role="editor">
      <organization abbrev="Ericsson">Ericsson</organization>
      <address>
        <postal>
          <street>Hirsalantie 11</street>
          <city>02420 Jorvas</city>
          <country>Finland</country>
        </postal>
        <email>miika.komu@ericsson.com</email>
      </address>
    </author>
    
    <date year="2016" />
    <area>Internet</area>
    <workgroup>HIP Working Group</workgroup>
    <keyword>HIP, NAT, NAT traversal</keyword>

    <abstract>
      <t> This document specifies a new Network Address Translator (NAT)
      traversal mode for the Host Identity Protocol (HIP). The new mode is
      based on the Interactive Connectivity Establishment (ICE) methodology and
      UDP encapsulation of data and signaling traffic. The main difference from
      the previously specified modes is the use of HIP messages for all NAT
      traversal procedures. </t>
    </abstract>
  </front>

  <!-- XX FIXME: CHECK NEW ICE SPECS? -->

  <middle>
    
    <!-- ***************************************************************** --> 

    <section title="Introduction" anchor="sec:intro">

      <t> The Host Identity Protocol (HIP) <xref
      target="RFC7401"/> is specified to run directly on top
      of IPv4 or IPv6. However, many middleboxes found in the Internet, such as
      NATs and firewalls, often allow only UDP or TCP traffic to pass <xref
      target="RFC5207"/>. Also, especially NATs usually require the host behind
      a NAT to create a forwarding state in the NAT before other hosts outside
      of the NAT can contact the host behind the NAT. To overcome this problem,
      different methods, commonly referred to as NAT traversal techniques, have
      been developed. </t>

      <t>HIP experiment report <xref target="RFC6538" /> mentions that
      Teredo based NAT traversal for HIP and related ESP traffic (with
      double tunneling overhead). Two HIP specific NAT traversal techniques for HIP are specified in <xref
      target="RFC5770"/>. One of them uses only UDP encapsulation, while the
      other uses also the Interactive Connectivity Establishment (ICE) <xref
      target="I-D.ietf-ice-rfc5245bis"/> protocol, which in turn uses Session Traversal
      Utilities for NAT (STUN) <xref target="RFC5389"/> and Traversal Using
      Relays around NAT (TURN) <xref target="RFC5766"/> protocols to achieve a
      reliable NAT traversal solution. </t>

      <t> The benefit of using ICE and STUN/TURN is that one can re-use the NAT
      traversal infrastructure already available in the Internet, such as STUN
      and TURN servers. Also, some middleboxes may be STUN-aware and could be
      able to do something "smart" when they see STUN being used for NAT
      traversal. However, implementing a full ICE/STUN/TURN protocol stack
      results in a considerable amount of effort and code which could be
      avoided by re-using and extending HIP messages and state machines for the
      same purpose. Thus, this document specifies an alternative NAT traversal mode that
      uses HIP messages instead of STUN for the connectivity check
      keepalives and data relaying. This document also specifies how mobility management
      works in the context of NAT traversal, which was missing from <xref target="RFC5770"/>.</t>

    </section>

    <!-- ***************************************************************** --> 

    <section title="Terminology">
      <t> The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT",
      "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this
      document are to be interpreted as described in <xref
      target="RFC2119"/>. </t>

      <t>This document borrows terminology from <xref target="RFC5770"/>, <xref target="RFC7401"/>, <xref
      target="I-D.ietf-hip-rfc5206-bis"/>, <xref target="RFC4423"/>, <xref
      target="I-D.ietf-ice-rfc5245bis"/>, and <xref target="RFC5389"/>.
      The following terms recur in the text:
        <list style="hanging">
          <!--
          <t hangText="Rendezvous server:"><vspace blankLines="0"/> A host
          that forwards I1 packets to the Responder.<vspace
          blankLines="0"/></t> -->

          <t hangText="HIP relay server:"><vspace blankLines="0"/> A host that
          forwards any kind of HIP control packets between the Initiator and
          the Responder.<vspace blankLines="0"/></t>

          <t hangText="HIP data relay:"><vspace blankLines="0"/> A host that
          forwards HIP data packets, such as Encapsulating Security Payload
          (ESP) <xref target="RFC7402"/>, between two hosts.
          <vspace blankLines="0"/></t>


          <t hangText="Registered host:"><vspace blankLines="0"/> A host that
          has registered for a relaying service with a HIP data relay.  <vspace
          blankLines="1"/></t>

          <!--
          <t hangText="TURN server:"><vspace blankLines="0"/> A server that
          forwards data traffic between two end-hosts as defined in <xref
          target="RFC5766"/>.<vspace blankLines="0"/></t> -->

          <t hangText="Locator:"><vspace blankLines="0"/> As defined in <xref
          target="I-D.ietf-hip-rfc5206-bis"/>: "A name that controls how the packet is routed
          through the network and demultiplexed by the end-host. It may include
          a concatenation of traditional network addresses such as an IPv6
          address and end-to-end identifiers such as an ESP SPI. It may also
          include transport port numbers or IPv6 Flow Labels as demultiplexing
          context, or it may simply be a network address." 
          <vspace blankLines="0"/></t>

          <t hangText="LOCATOR_SET (written in capital letters):"><vspace
          blankLines="0"/> Denotes a HIP control packet parameter that bundles
          multiple locators together.  <vspace blankLines="0"/></t>

          <t hangText="ICE offer:"><vspace blankLines="0"/> The Initiator's
          LOCATOR_SET parameter in a HIP I2 control packet. Corresponds to the
          ICE offer parameter, but is HIP specific. </t>

          <t hangText="ICE answer:"><vspace blankLines="0"/> The Responder's
          LOCATOR_SET parameter in a HIP R2 control packet. Corresponds to the
          ICE answer parameter, but is HIP specific.</t>

          <t hangText="HIP connectivity checks:"><vspace
          blankLines="0"/> In order to obtain a non-relayed
          communication path, two communicating HIP hosts try to
          "punch holes" through their NAT boxes using this mechanism.
          Similar to the ICE connectivity checks, but implemented
          using HIP return routability checks.
          </t>

          <t hangText="Controlling host :"><vspace
          blankLines="0"/>The controlling host nominates the candidate pair to be used with the controlled host.
          </t>

          <t hangText="Controlled host :"><vspace
          blankLines="0"/>The controlled host waits for the controlling to nominate an address candidate pair.
          </t>


          <t hangText="Checklist:"><vspace blankLines="0"/>A list of address candidate pairs that need to be tested for connectivity.<vspace
          blankLines="0"/></t>

          <t hangText="Transport address:"><vspace blankLines="0"/> Transport
          layer port and the corresponding IPv4/v6 address.<vspace
          blankLines="0"/></t>

          <t hangText="Candidate:"><vspace blankLines="0"/> A transport address
          that is a potential point of contact for receiving data.<vspace
          blankLines="0"/></t>

          <t hangText="Host candidate:"><vspace blankLines="0"/> A candidate
          obtained by binding to a specific port from an IP address on the
          host.<vspace blankLines="0"/></t>

          <t hangText="Server reflexive candidate:"><vspace blankLines="0"/> A
          translated transport address of a host as observed by a HIP relay
          server or a STUN/TURN server. <vspace blankLines="0"/></t>

          <t hangText="Peer reflexive candidate:"><vspace blankLines="0"/> A
          translated transport address of a host as observed by its peer.
          <vspace blankLines="0"/></t>

          <t hangText="Relayed candidate:"><vspace blankLines="0"/> A transport
          address that exists on a HIP data relay. Packets that arrive at this
          address are relayed towards the registered host. </t>

          <t hangText="Permission:"><vspace blankLines="0"/> In the context of HIP data relay,
            permission refers to a concept similar to TURN's channels. Before a host can use a relayed candidate
            to forward traffic through a HIP data relay, the host must activate the relayed candidate with a
            specific peer host.
          <vspace blankLines="0"/></t>

          <t hangText="Base:"><vspace blankLines="0"/> The base of an candidate is the local source
          address a host uses to send packets for the associated candidate. For example, the base of a
          server reflexive address is the local address the host used for registering itself to the associated HIP relay. The base
	  of a host candidate is equal to the host candidate itself.
	  <vspace blankLines="0"/></t>

        </list>
      </t>

    </section><!-- Terminology -->

    <section title="Overview of Operation">
      
      <?rfc needLines="20" ?>
      <figure anchor="fig:overview" 
        title="Example Network Configuration">
        <artwork align="center"><![CDATA[
                   +-------+
                   | HIP   |
+--------+         | Relay |         +--------+
| Data   |         +-------+         | Data   |
| Relay  |        /         \        | Relay  |
+--------+       /           \       +--------+
                /             \        
               /               \
              /                 \
             /  <- Signaling ->  \
            /                     \
      +-------+                +-------+
      |  NAT  |                |  NAT  |
      +-------+                +-------+
       /                              \
      /                                \
 +-------+                           +-------+
 | Init- |                           | Resp- |
 | iator |                           | onder |
 +-------+                           +-------+
]]></artwork>
            </figure>

      <t> In the example configuration depicted in <xref
      target="fig:overview"/>, both Initiator and Responder are behind
      one or more NATs, and both private networks are connected to the
      public Internet. To be contacted from behind a NAT, the
      Responder must be registered with a HIP relay server reachable
      on the public Internet, and we assume, as a starting point, that
      the Initiator knows both the Responder's Host Identity Tag (HIT)
      and the address of one of its relay servers (how the Initiator
      learns of the Responder's relay server is outside of the scope
      of this document, but may be through DNS or another name
      service). The Responder may have also registered to a data relay that can forward the data plane
      in case NAT penetration fails. It is worth noting that the HIP relay and data relay functionality
      may be offered by two separate servers or the same one.</t>

      <t> The first steps are for both the Initiator and Responder to register
      with a relay server (need not be the same one) and gather a set of
      address candidates. The hosts may use HIP relay servers (or even STUN or TURN servers) for gathering
      the candidates. Next, the HIP base exchange is carried out by
      encapsulating the HIP control packets in UDP datagrams and sending them
      through the Responder's relay server.  As part of the base exchange, each
      HIP host learns of the peer's candidate addresses through the HIP
      offer/answer procedure embedded in the base exchange, which follows closely the ICE <xref target="I-D.ietf-ice-rfc5245bis"/> protocol. </t>

      <!-- WHAT ABOUT HICCUPS AND DATA RELAY ???
           Jeff: I think you can omit this, since RFC 6078 is for RFC 5201 (HIPv1). (Wait until if/when 6078 is updated for HIPv2.) -->

      <!-- send ESP transform -> hiccups incompatible (no need to defined here because hiccups is not HIPv2 compatible -Jeff) -->

      <t> Once the base exchange is completed, two HIP hosts have established a working
      communication session (for signaling) via a HIP relay server, but the hosts
      still have to find a better path, preferably without a HIP data relay, for the ESP
      data flow. For this, connectivity checks are carried out until a
      working pair of addresses is discovered.  At the end of the procedure, if
      successful, the hosts will have established a UDP-based tunnel that traverses
      both NATs, with the data flowing directly from NAT to NAT or via a HIP data relay
      server.  At this point, also the HIP signaling can be sent over the same address/port
      pair, and is demultiplexed from IPsec as described in the UDP encapsulation standard for IPsec <xref target="RFC3948"/>.
      Finally, the two hosts send NAT keepalives as needed in order keep their UDP-tunnel state active
      in the associated NAT boxes.</t>

      <t> If either one of the hosts knows that it is not behind a NAT, hosts
      can negotiate during the base exchange a different mode of NAT traversal
      that does not use HIP connectivity checks, but only UDP encapsulation of
      HIP and ESP. Also, it is possible for the Initiator to simultaneously try
      a base exchange with and without UDP encapsulation. If a base exchange
      without UDP encapsulation succeeds, no HIP connectivity checks or UDP
      encapsulation of ESP are needed. </t>

    </section>

    <!-- ***************************************************************** --> 
    
    <section anchor="sec:protocol" title="Protocol Description">

      <!--
      <t> This section describes the normative behavior of the protocol
      extension. Examples of packet exchanges are provided for illustration
      purposes.</t> -->

      <t> This section describes the normative behavior of the protocol
      extension. Most of the procedures are similar to what is defined in <xref
      target="RFC5770"/> but with different, or additional, parameter types and
      values. In addition, a new type of relaying server, HIP data relay, is
      specified. Also, it should be noted that HIP version 2 <xref
      target="RFC7401"/> (instead of <xref target="RFC5201"/>
      used in <xref target="RFC5770"/>) is expected to be used with this NAT
      traversal mode. </t>

      <section anchor="sec:registration" title="Relay Registration">

        <t>In order for two hosts to communicate over NATted
        environments, they need a reliable way to exchange
        information. HIP relay servers as defined in <xref
        target="RFC5770"/> support relaying of HIP control plane
        traffic over UDP in NATted environments.
        A HIP relay server forwards HIP control packets between the Initiator and the
        Responder.</t>

        <t>To guarantee also data plane delivery over varying types of NAT
        devices, a host MAY also register for UDP encapsulated ESP
        relaying using Registration Type RELAY_UDP_ESP (value [TBD by
        IANA: 3]).  This service may be coupled with the HIP relay
        server or offered separately on another server.
        If the server supports relaying of UDP
        encapsulated ESP, the host is allowed to register for a data
        relaying service using the registration extensions in Section 3.3 of <xref
        target="RFC8003"/>). If the server has
        sufficient relaying resources (free port numbers, bandwidth,
        etc.) available, it opens a UDP port on one of its
        addresses and signals the address and port to the registering
        host using the RELAYED_ADDRESS parameter (as defined in <xref
        target="sec:relayed_address"/> in this document). If the relay
        would accept the data relaying request but does not currently
        have enough resources to provide data relaying service, it
        MUST reject the request with Failure Type "Insufficient
        resources" <xref target="RFC8003"/>. </t>

        <t> A HIP relay server MUST silently drop packets to a HIP
        relay client that has not previously registered with the HIP
        relay. The registration process follows the generic
        registration extensions defined in <xref target="RFC8003"/>.
        The HIP control plane relaying registration follows <xref
        target="RFC5770"/>, but the data plane registration is
        different. It is worth noting that if the HIP control and data
        plane relay services reside on different hosts, the relay
        client has to register separately to each of them. In the
        example shown in <xref target="fig:reg"/>, the two services
        are coupled on a single host.</t>

        <figure anchor="fig:reg" title="Example Registration with a HIP Relay">
          <artwork align="center"><![CDATA[
  HIP                                                             HIP
  Relay                                                  [Data] Relay
  Client                                                       Server
  |   1. UDP(I1)                                                    |
  +---------------------------------------------------------------->|
  |                                                                 |
  |   2. UDP(R1(REG_INFO(RELAY_UDP_HIP,[RELAY_UDP_ESP])))           |
  |<----------------------------------------------------------------+
  |                                                                 |
  |   3. UDP(I2(REG_REQ(RELAY_UDP_HIP),[RELAY_UDP_ESP])))           |
  +---------------------------------------------------------------->|
  |                                                                 |
  |   4. UDP(R2(REG_RES(RELAY_UDP_HIP,[RELAY_UDP_ESP]), REG_FROM,   |
  |          [RELAYED_ADDRESS]))                                    |
  |<----------------------------------------------------------------+
  |                                                                 |
]]>
          </artwork>
        </figure>

        <t> In step 1, the relay client (Initiator) starts the registration
        procedure by sending an I1 packet over UDP to the relay. It is RECOMMENDED that the
        Initiator select a random port number from the ephemeral port range
        49152-65535 for initiating a base exchange.  Alternatively, a host MAY
        also use a single fixed port for initiating all outgoing
        connections. However, the allocated port MUST be maintained until all
        of the corresponding HIP Associations are closed. It is RECOMMENDED
        that the HIP relay server listen to incoming connections at UDP port
        10500. If some other port number is used, it needs to be known by
        potential Initiators.</t>

        <t> In step 2, the HIP relay server (Responder) lists the services that
        it supports in the R1 packet. The support for HIP control plane over UDP relaying is
        denoted by the Registration Type value RELAY_UDP_HIP (see <xref
        target="sec:reg-types"/>). If the server supports also relaying of ESP traffic over UDP,
        it includes also Registration type value RELAY_UDP_ESP.</t>

        <t> In step 3, the Initiator selects the services for which it registers and
        lists them in the REG_REQ parameter. The Initiator registers for HIP
        relay service by listing the RELAY_UDP_HIP value in the request
        parameter. If the Initiator requires also ESP relaying over UDP, it lists also RELAY_UDP_ESP.
        </t>

        <t> In step 4, the Responder concludes the registration procedure with
        an R2 packet and acknowledges the registered services in the REG_RES
        parameter. The Responder denotes unsuccessful registrations (if any) in
        the REG_FAILED parameter of R2. The Responder also includes a REG_FROM
        parameter that contains the transport address of the client as observed
        by the relay (Server Reflexive candidate). If the Initiator registered to ESP relaying
        service, the Responder includes RELAYED_ADDRESS paramater that describes
        the UDP port allocated to the Initiator for ESP relaying. It is worth noting that
        this client must first activate this UDP port by sending an UPDATE message to the relay
        server that includes a PEER_PERMISSION parameter as described in <xref target="sec:forwarding" />
        both after base exchange and handover procedures.
        </t>

        <t>After the registration, the
        relay client sends periodically NAT keepalives to the relay server in order to keep
        the NAT bindings between the initiator and the relay alive. The keepalive extensions
        are described in <xref target="sec:nat-keepalives"/>.</t>

        <t> The registered host MUST maintain an active HIP association with
        the data relay as long as it requires the data relaying service. When
        the HIP association is closed (or times out), or the registration
        lifetime passes without the registered host refreshing the
        registration, the data relay MUST stop relaying packets for that host
        and close the corresponding UDP port (unless other registered hosts are
        still using it). </t>

        <t> The data relay MAY use the same relayed address and port for
        multiple registered hosts, but since this can cause problems with
        stateful firewalls (see <xref target="sec:reuse" />) it is NOT
        RECOMMENDED. </t>

	<t>When a registered client sends an UPDATE (e.g., due to host
	movement or the renew service registration), the relay server
	MUST follow the general guidelines defined in <xref
	target="RFC8003" />, with the difference that all UPDATE
	messages are delivered on top of UDP.  In addition to this,
	the relay server MUST include the REG_FROM parameter in all
	UPDATE responses sent to the client. This applies both
	renewals of service registration but also to host movement,
	where especially the latter requires the client to learn its
	new server reflexive address candidate.</t>

	<!-- explained elsewhere...
	<t>As the relay is assumed to have a publicly-reachable
	address, it does not have to include a NAT_TRAVERSAL_MODE
	parameter in an R1 message, thus avoiding any NAT penetration
	procedures. This results in the HIP control and data plane
	being tunneled over UDP as described in <xref
	target="sec:minimal" />. In other words, a relay SHOULD NOT
	OFFER ICE-HIP-UDP mode, but it MAY offer UDP-ENCAPSULATION as
	NAT traversal mode in a NAT_TRAVERSAL_MODE parameter in an R1
	message (which has the same result as omitting the parameter).
	</t>
	-->

      </section> <!-- relay reg -->

      <section anchor="sec:gathering" title="Transport Address Candidate Gathering">

        <t> A host needs to gather a set of address candidates before
        contacting a non-relay host. The candidates are needed for
        connectivity checks that allow two hosts to discover a direct,
        non-relayed path for communicating with each other. One server
        reflexive candidate can be discovered during the registration
        with the HIP relay server from the REG_FROM parameter. </t>

        <t> The candidate gathering can be done at any time, but it needs to be
        done before sending an I2 or R2 in the base exchange if ICE-HIP-UDP mode is to be
        used for the connectivity checks. It is RECOMMENDED that all three
        types of candidates (host, server reflexive, and relayed) are gathered
        to maximize the probability of successful NAT traversal. However, if no
        data relay is used, and the host has only a single local IP address to
        use, the host MAY use the local address as the only host candidate and
        the address from the REG_FROM parameter discovered during the relay
        registration as a server reflexive candidate. In this case, no further
        candidate gathering is needed. </t>

        <t> If a host has more than one network interface, additional server
        reflexive candidates can be discovered by sending registration requests
        with Registration Type CANDIDATE_DISCOVERY (value [TBD by IANA: 4])
        from each of the interfaces to a HIP relay server. When a HIP relay
        server receives a registration request with CANDIDATE_DISCOVERY type,
        it MUST add a REG_FROM parameter, containing the same information as if
        this was a relay registration, to the response. This request type
        SHOULD NOT create any state at the HIP relay server. </t>

	<t>ICE guidelines for candidate gathering MUST be followed as
	described in section 4.1.1 in <xref
	target="I-D.ietf-ice-rfc5245bis" />.  A number of host
	candidates (loopback, anycast and others) should excluded as
	described in section 4.1.1.1 of the ICE document. Relayed
	candidates SHOULD be gathered in order to guarantee successful
	NAT traversal. It is RECOMMENDED for implementations to
	support this functionality even if it will not be used in
	deployments in order to enable it by software configuration
	update if needed at some point. A host SHOULD employ only a
	relay server for gathering the candidates for a single HIP
	association; either a one server providing both HIP and data
	relay functionality, or one HIP relay server and another one
	for data relaying if the functionality is offered by another
	server. When the relay service is split between two hosts, the
	server reflexive candidate from the HIP relay SHOULD be used
	instead of the one provided by the data relay. If a relayed
	candidate is identical to a host candidate, the relayed
	candidate must be discarded. NAT64 considerations in section
	4.1.1.2 in the ICE document apply as well.
      </t>


      <t>HIP based connectivity can be utilized by IPv4 applications
      using LSIs and by IPv6 based applications using HITs. The LSIs and HITs
      of the local virtual interfaces MUST be excluded in the candidate gathering
      phase as well to avoid creating unnecessary loopback connectivity tests.</t>

        <!-- was: ..if STUN and *TURN* servers are available.. -->

        <t> Gathering of candidates MAY also be performed as specified in
        Section 4.2 of <xref target="RFC5770"/> if STUN servers are
        available, or if the host has just a single interface and no
        STUN or HIP data relay servers are available. </t>

      </section>

      <section anchor="sec:nat_traversal_mode" 
        title="NAT Traversal Mode Negotiation">

        <t> This section describes the usage of a new non-critical parameter
        type. The presence of the parameter in a HIP base exchange means that
        the end-host supports NAT traversal extensions described in this
        document. As the parameter is non-critical (as defined in Section 5.2.1
        of <xref target="RFC7401"/>), it can be ignored by an end-host, which
        means that the host does not support or is not willing to use these
        extensions.</t>

        <t> With registration with a HIP relay, it is usually sufficient to use
        the UDP-ENCAPSULATION mode of NAT traversal since the relay is assumed
        to be in public address space. Thus, the relay SHOULD propose the
        UDP-ENCAPSULATION mode as the preferred or only mode.  The NAT
        traversal mode negotiation in a HIP base exchange is illustrated in
        <xref target="fig:nat_traversal_mode"/>. It is worth noting that the
        HIP relay could be located between the hosts, but omitted here for simplicity.</t>

        <figure anchor="fig:nat_traversal_mode" 
          title="Negotiation of NAT Traversal Mode">
          <artwork align="center"><![CDATA[
Initiator                                                Responder
| 1. UDP(I1)                                                     |
+--------------------------------------------------------------->|
|                                                                |
| 2. UDP(R1(.., NAT_TRAVERSAL_MODE(ICE-HIP-UDP), ..))            |
|<---------------------------------------------------------------+
|                                                                |
| 3. UDP(I2(.., NAT_TRAVERSAL_MODE(ICE-HIP-UDP), LOC_SET, ..))   |
+--------------------------------------------------------------->|
|                                                                |
| 4. UDP(R2(.., LOC_SET, ..))                                    |
|<---------------------------------------------------------------+
|                                                                |
]]>
          </artwork>
        </figure>

        <t> In step 1, the Initiator sends an I1 to the Responder. In step 2,
        the Responder responds with an R1. As specified in  <xref target="RFC5770"/>,
        the NAT_TRAVERSAL_MODE parameter in
        R1 contains a list of NAT traversal modes the Responder supports. The
        mode specified in this document is ICE-HIP-UDP (value [TBD by IANA: 3]).</t>

        <t> In step 3, the Initiator sends an I2 that includes a
        NAT_TRAVERSAL_MODE parameter. It contains the mode selected by the
        Initiator from the list of modes offered by the Responder. If ICE-HIP-UDP mode
        was selected, the I2 also includes the "Transport address" locators (as
        defined in <xref target="sec:locator_format"/>) of the Initiator in a
        LOCATOR_SET parameter (denoted here LOC_SET). The locators in I2 are the "ICE offer".</t>

        <t> In step 4, the Responder concludes the base exchange with an R2
        packet. If the Initiator chose ICE NAT traversal mode, the Responder
        includes a LOCATOR_SET parameter in the R2 packet. The locators in R2,
        encoded like the locators in I2, are the "ICE answer". If the NAT
        traversal mode selected by the Initiator is not supported by the
        Responder, the Responder SHOULD reply with a NOTIFY packet with type
        NO_VALID_NAT_TRAVERSAL_MODE_PARAMETER and abort the base exchange.</t>

      </section>

      <section anchor="sec:check_pacing_neg" 
        title="Connectivity Check Pacing Negotiation"> 

        <t> As explained in <xref target="RFC5770"/>, when a NAT
        traversal mode with connectivity checks is used, new transactions
        should not be started too fast to avoid congestion and overwhelming the
        NATs. For this purpose, during the base exchange, hosts can negotiate a
        transaction pacing value, Ta, using a TRANSACTION_PACING parameter in
        R1 and I2 packets. The parameter contains the minimum time (expressed
        in milliseconds) the host would wait between two NAT traversal
        transactions, such as starting a new connectivity check or retrying a
        previous check. The value that is used by both of the hosts is the higher out
        of the two offered values.</t>

        <!-- XX FIX: lower the value to 5 ms ? -->

        <t> The minimum Ta value SHOULD be configurable, and if no
        value is configured, a value of 50 ms MUST be
        used. Guidelines for selecting a Ta value are given in <xref
        target="sec:selecting_pacing_value"/>.  Hosts SHOULD NOT use
        values smaller than 5 ms for the minimum Ta, since such
        values may not work well with some NATs, as explained in <xref
        target="I-D.ietf-ice-rfc5245bis"/>. The Initiator MUST NOT propose a smaller
        value than what the Responder offered.  If a host does not
        include the TRANSACTION_PACING parameter in the base exchange,
        a Ta value of 50 ms MUST be used as that host's minimum
        value.</t>

      </section>

      <section anchor="sec:relay_bex" 
        title="Base Exchange via HIP Relay Server">

        <t> This section describes how the Initiator and Responder
        perform a base exchange through a HIP relay server.
        Connectivity pacing (denoted as TA_P here) was described in
        <xref target="sec:check_pacing_neg"/> and is neither repeated
        here.  Similarly, the NAT traversal mode negotiation process
        (denoted as NAT_TM in the example) was described in <xref
        target="sec:nat_traversal_mode"/> and is neither repeated
        here. If
        a relay receives an R1 or I2 packet without the NAT traversal
        mode parameter, it MUST drop it and SHOULD send a NOTIFY error
        packet with type NO_VALID_NAT_TRAVERSAL_MODE_PARAMETER to the
        sender of the R1 or I2.
        </t>

        <t> It is RECOMMENDED that the Initiator send an I1 packet
        encapsulated in UDP when it is destined to an IPv4 address of the
        Responder. Respectively, the Responder MUST respond to such an I1
        packet with a UDP-encapsulated R1 packet, and also the rest of the communication
        related to the HIP association MUST also use UDP encapsulation.</t>

        <t><xref target="fig:bex"/> illustrates a base exchange
        via a HIP relay server. We assume that the Responder (i.e. a HIP relay client)
        has already registered to the HIP relay server. The Initiator may have also registered
        to another (or the same relay server), but the base exchange will traverse always through
        the relay of the Responder.
        </t>

        <figure anchor="fig:bex" title="Base Exchange via a HIP Relay Server">
          <artwork align="center"><![CDATA[
Initiator                         HIP relay                 Responder
| 1. UDP(I1)                       |                                |
+--------------------------------->| 2. UDP(I1(RELAY_FROM))         |
|                                  +------------------------------->|
|                                  |                                |
|                                  | 3. UDP(R1(RELAY_TO, NAT_TM,    |
|                                  |        TA_P))                  |
| 4. UDP(R1(RELAY_TO, NAT_TM,      |<-------------------------------+
|        TA_P))                    |                                |
|<---------------------------------+                                |
|                                  |                                |
| 5. UDP(I2(LOC_SET, NAT_TM,       |                                |
|        TA_P))                    |                                |
+--------------------------------->| 6. UDP(I2(LOC_SET, RELAY_FROM, |
|                                  |           NAT_TM, TA_P))       |
|                                  +------------------------------->|
|                                  |                                |
|                                  | 7. UDP(R2(LOC_SET, RELAY_TO))  |
| 8. UDP(R2(LOC_SET, RELAY_TO))    |<-------------------------------+
|<---------------------------------+                                |
|                                  |                                |
]]>
          </artwork>
        </figure>

        <t> In step 1 of <xref target="fig:bex"/>, the Initiator sends an I1
        packet over UDP via the relay server to the Responder. In the HIP header,
        the source HIT belongs to the Initiator and the destination HIT to the
        Responder. The initiator sends the I1 packet from its IP address to the
        IP address of the HIP relay over UDP.</t>

        <t> In step 2, the HIP relay server receives the I1 packet. If the
        destination HIT belongs to a registered Responder, the relay processes
        the packet. Otherwise, the relay MUST drop the packet silently. The
        relay appends a RELAY_FROM parameter to the I1 packet, which contains
        the transport source address and port of the I1 as observed by the
        relay. The relay protects the I1 packet with RELAY_HMAC as described in
        <xref target="RFC8004"/>, except that the parameter type is different
        (see <xref target="sec:relay-hmac"/>). The relay changes the source and
        destination ports and IP addresses of the packet to match the values
        the Responder used when registering to the relay, i.e., the reverse of
        the R2 used in the registration. The relay MUST recalculate the
        transport checksum and forward the packet to the Responder. </t>

        <t> In step 3, the Responder receives the I1 packet. The Responder
        processes it according to the rules in <xref target="RFC7401"/>. In
        addition, the Responder validates the RELAY_HMAC according to <xref
        target="RFC8004"/> and silently drops the packet if the validation
        fails. The Responder replies with an R1 packet to which it includes
        RELAY_TO and NAT traversal mode parameters. The responder MUST
        include ICE-HIP-UDP in the NAT traversal modes.
        The RELAY_TO parameter MUST
        contain the same information as the RELAY_FROM parameter, i.e., the
        Initiator's transport address, but the type of the parameter is
        different. The RELAY_TO parameter is not integrity protected by the
        signature of the R1 to allow pre-created R1 packets at the
        Responder. </t>

        <t> In step 4, the relay receives the R1 packet. The relay drops the
        packet silently if the source HIT belongs to an unregistered host. The
        relay MAY verify the signature of the R1 packet and drop it if the
        signature is invalid. Otherwise, the relay rewrites the source address
        and port, and changes the destination address and port to match
        RELAY_TO information. Finally, the relay recalculates transport
        checksum and forwards the packet. </t>

        <t> In step 5, the Initiator receives the R1 packet and processes it
        according to <xref target="RFC7401"/>. The Initiator MAY use the
        address in the RELAY_TO parameter as a local peer-reflexive candidate
        for this HIP association if it is different from all known local
        candidates. The Initiator replies with an I2 packet that uses the
        destination transport address of R1 as the source address and port. The
        I2 packet contains a LOCATOR_SET parameter that lists all the HIP
        candidates (ICE offer) of the Initiator.  The candidates are encoded
        using the format defined in <xref target="sec:locator_format"/>. The I2
        packet MUST also contain a NAT traversal mode parameter that includes ICE-HIP-UDP mode.</t>

        <t> In step 6, the relay receives the I2 packet. The relay appends a
        RELAY_FROM and a RELAY_HMAC to the I2 packet similarly as explained in step
        2, and forwards the packet to the Responder. </t>

        <t> In step 7, the Responder receives the I2 packet and processes it
        according to <xref target="RFC7401"/>. It replies with an R2 packet and
        includes a RELAY_TO parameter as explained in step 3. The R2 packet
        includes a LOCATOR_SET parameter that lists all the HIP candidates (ICE
        answer) of the Responder. The RELAY_TO parameter is protected by the
        HMAC. </t>

        <t> In step 8, the relay processes the R2 as described in step 4. The
        relay forwards the packet to the Initiator. After the Initiator has
        received the R2 and processed it successfully, the base exchange is
        completed. </t>

        <t> Hosts MUST include the address of one or more HIP relay servers
        (including the one that is being used for the initial signaling) in the
        LOCATOR_SET parameter in I2 and R2 if they intend to use such servers for
        relaying HIP signaling immediately after the base exchange completes.
        The traffic type of these addresses MUST be "HIP signaling" and they
        MUST NOT be used as HIP candidates.  If the HIP relay server locator
        used for relaying the base exchange is not included in I2 or R2 LOCATOR_SET parameters,
        it SHOULD NOT be used after the base exchange. Instead, further HIP
        signaling SHOULD use the same path as the data traffic. </t>

      </section> <!-- Base Exchange via HIP Relay Server -->

      <section anchor="sec:conn_checks" title="Connectivity Checks">

        <t>When the Initiator and Responder complete the base exchange
        through the HIP relay, both of them employ the IP address of
        the relay as the destination address for the packets. This
        address MUST NOT be used as a destination for ESP traffic
        unless the HIP relay supports also ESP data relaying. When NAT
        traversal mode with ICE-HIP-UDP was successfully negotiated
        and selected, the Initiator and Responder MUST start the
        connectivity checks in order to attempt to obtain direct end-to-end
        connectivity through NAT devices. It is worth noting that the connectivity checks
        MUST be completed even though no ESP_TRANSFORM would be negotiated and selected.
        </t>

        <t>The connectivity checks MUST follow the ICE methodology <xref
        target="MMUSIC-ICE"/>, but UDP encapsulated HIP control
        messages are used instead of ICE messages. Only normal
        nomination MUST be used for the connectivity checks, i.e., aggressive nomination MUST NOT be employed.
	As stated in the ICE specification, the basic procedure for connectivity checks has three phases:
	sorting the candidate pairs according their priority, sending checks in the prioritized order and
	acknowledging the checks from the peer host.
	</t>

        <t>The Initiator MUST take the role of controlling host and
        the Responder acts as the controlled host. The roles MUST
        persist throughout the HIP associate lifetime (to be reused in
        the possibly mobility UPDATE procedures).  In the case both
        communicating nodes are initiating the communications to each
        other using an I1 packet, the conflict is resolved as defined
        in section 6.7 in <xref target="RFC7401" />: the host with the
        "larger" HIT changes to its Role to Responder. In such a case,
        the host changing its role to Responder MUST also switch to
        controlling role.
	</t>

	<t>The protocol follows standard HIP UPDATE sending and
        processing rules as defined in section 6.11 and 6.12 in <xref
        target="RFC7401" />, but some new parameters are introduced
        (CANDIDATE_PRIORITY, MAPPED_ADDR and NOMINATE).</t>

        <section anchor="sec:conn_check_proc" title="Connectivity Check Procedure">

          <t><xref target="fig:cc1"/> illustrates connectivity checks
          in a simplified scenario, where the Initiator and Responder
          have only a single candidate pair to check. Typically, NATs
          drop messages until both sides have sent messages using the
          same port pair. In this scenario, the Responder sends a
          connectivity check first but the NAT of the Initiator drops
          it. However, the connectivity check from the Initiator
          reaches the Responder because it uses the same port pair as
          the first message. It is worth noting that the message flow
          in this section is idealistic, and, in practice, more
          messages would be dropped especially in the beginning. For
          instance, connectivity tests always start with the
          candidates with the highest priority, which would be host
          candidates (which would not reach the recipient in this
          scenario).</t>

          <?rfc needLines="30" ?>
          <figure anchor="fig:cc1" title="Connectivity Checks">
            <artwork align="center"><![CDATA[
Initiator  NAT1                                 NAT2        Responder
|             | 1. UDP(UPDATE(SEQ, CAND_PRIO,      |                |
|             |        ECHO_REQ_SIGN))             |                |
|             X<-----------------------------------+----------------+
|             |                                    |                |
| 2. UDP(UPDATE(SEQ, ECHO_REQ_SIGN, CAND_PRIO))    |                |
+-------------+------------------------------------+--------------->|
|             |                                    |                |
| 3. UDP(UPDATE(ACK, ECHO_RESP_SIGN, MAPPED_ADDR)) |                |
|<------------+------------------------------------+----------------+
|             |                                    |                |
| 4. UDP(UPDATE(SEQ, ECHO_REQ_SIGN, CAND_PRIO))    |                |
|<------------+------------------------------------+----------------+
|             |                                    |                |
| 5. UDP(UPDATE(ACK, ECHO_RESP_SIGN, MAPPED_ADDR)) |                |
+-------------+------------------------------------+--------------->|
|             |                                    |                |
| 6. Other connectivity checks using UPDATE over UDP                |
|<------------+------------------------------------+---------------->
|             |                                    |                |
| 7. UDP(UPDATE(SEQ, ECHO_REQ_SIGN, CAND_PRIO, NOMINATE))           |
+-------------+------------------------------------+--------------->|
|             |                                    |                |
| 8. UDP(UPDATE(SEQ, ACK, ECHO_REQ_SIGN, ECHO_RESP_SIGN,            |
|           NOMINATE))                             |                |
|<------------+------------------------------------+----------------+
|             |                                    |                |
| 9. UDP(UPDATE(ACK, ECHO_RESP_SIGN))              |                |
+-------------+------------------------------------+--------------->+
|             |                                    |                |
| 10. ESP data traffic over UDP                     |               |
+<------------+------------------------------------+--------------->+
|             |                                    |                |
]]>
            </artwork>
          </figure>

          <t>In step 1, the Responder sends a connectivity check to the
          Initiator that the NAT of the Initiator drops. The message
          includes a number of parameters. As specified in <xref
          target="RFC7401" />), the SEQ parameter includes a running
          sequence identifier for the connectivity check.
          The candidate priority (denoted "CAND_PRIO" in the figure)
          describes the priority of the address candidate being
          tested. The ECHO_REQUEST_SIGNED (denoted ECHO_REQ_SIGN in the
          figure) includes a nonce that the recipient must sign and echo back as it is.</t>
          
          <t>In step 2, the Initiator sends a connectivity check using
          the same address pair candidate as in previous step and the
          message traverses successfully the NAT boxes. The message
          includes the same parameters as in the previous step. It
          should be noted that the sequence identifier is locally
          assigned by the Responder, so it can be different than in
          the previous step.</t>
          
          <t>In step 3, the Responder has successfully received the
          previous connectivity check from the Initiator and starts to build a response message. Since the
          message from the Initiator included a SEQ, the Responder must acknowledge it using an ACK
          parameter. Also, the nonce contained in the echo request must
          be echoed back in an ECHO_REQUEST_SIGNED (denoted
          ECHO_REQUEST_SIGN) parameter. The
          Responder includes also a MAPPED_ADDRESS parameter that
          contains the transport address of the Initiator as observed by
          the Responder (i.e. peer reflexive candidate). This message is successfully delivered to the Initiator, and upon reception
	  the Initiator marks the candidate pair as valid.
	  </t>
          
          <t>In step 4, the Responder retransmits the connectivity
          check sent in the first step since it was not acknowledged
          yet.</t>

          <t>In step 5, the Initiator responds to the previous
          connectivity check message from the Responder. The Initiator
          acknowledges the SEQ parameter from the previous message
          using ACK parameter and the ECHO_REQUEST_SIGN parameter with
          ECHO_RESPONSE_SIGNED. In addition, it includes MAPPED_ADDR
          parameter that includes the peer reflexive candidate. This
          response message is successfully delivered to the
          Responder, and upon reception the Initiator marks the candidate pair as valid.</t>
          
	  <t>In step 6, despite the two hosts have now valid address
	  candidates, they still test the remaining address candidates
	  in a similar way as in the previous steps (due to the use of
	  normal nomination). It should be noted that each
	  connectivity check has an unique sequence number in the SEQ
	  parameter.</t>

          <t>In step 7, the Initiator has completed testing all
          address candidates and nominates one address candidate to be
          used. It sends an UPDATE message using the selected address
          candidates that includes a number of parameters: SEQ,
          ECHO_REQUEST_SIGN, CANDIDATE_PRIORITY and the NOMINATE parameter.</t>
          
          <t>In step 8, the Responder receives the message with
          NOMINATE parameter from the Initiator. It sends a response
          that includes the NOMINATE parameter in addition to a number
          of other parameters. The ACK and ECHO_RESPONSE_SIGNED parameters
          acknowledge the SEQ and ECHO_REQUEST_SIGN parameters from previous message from the
          Initiator. The Responder includes SEQ and ECHO_REQUEST_SIGN
          parameters in order to receive an acknowledgment from the
          Responder.</t>
          
          <t>In step 9, the Initiator completes the candidate
          nomination process by confirming the message reception to
          the Responder. In the confirmation message, the ACK and
          ECHO_RESPONSE_SIGNED parameters correspond to the SEQ and
          ECHO_REQUEST_SIGN parameters in the message sent by the
          Responder in the previous step.</t>

          <t>In step 10, the Initiator and Responder can start sending
          application payload over the successfully nominated address
          candidates.</t>

          <t>It is worth noting that if either host has registered a
          relayed address candidate from a data relay, the host MUST
          activate the address before connectivity checks by sending
          an UPDATE message containing PEER_PERMISSION parameter as
          described in <xref target="sec:forwarding" />. Otherwise,
          the relay drops ESP packets using the relayed address.</t>

        </section> <!-- "Connectivity Check Procedure" -->
          
<!--

seq: 385
ack: 449
echo_req_sign: 897
echo_resp_sign: 961
mapped_address: 4660
cand_prio: 4700
NOMINATE: 4710

-->

        <section title="Rules for Connectivity Checks">

          <!-- XX FIXME: should we explicitly explain here the ordering of the ICE candidates? -->

	  <t>The HITs of the two communicating hosts MUST be used as
	  credentials in this protocol (in contrast to ICE that
	  employs username-password fragments). A HIT
	  pair uniquely identifies the corresponding HIT association,
	  and a SEQ number in an UPDATE message identifies a
	  particular connectivity check.</t>

          <t>All of the connectivity check packets MUST be protected
          with HMACs and signatures (even though the illustrations
          omitted them for simplicity). Each connectivity check sent
          by a host MUST include a SEQ parameter and ECHO_REQUEST_SIGN
          parameter, and correspondingly the peer MUST respond to
          these using ACK and ECHO_RESPONSE_SIGNED according to the rules
          specified in <xref target="RFC7401" />.
          </t>

	  <!-- <t>The host sending a connectivity check should check that
	  the response uses also the same pair of UDP ports. If the
	  UDP ports do not match, the connectivity checks for this
	  candidate pair MUST be considered to have failed.</t>

	  XX FIXME: vurnerable to replay attacks???
	  -->

	  <t>The host sending a connectivity check should check that
	  the response uses also the same pair of UDP ports. If the
	  UDP ports do not match, the host MUST drop the packet.</t>

	  <t>A host may receive a connectivity check before it has
	  received the candidates from its peer. In such a case, the
	  host MUST immediately generate a response, and then continue
	  waiting for the candidates. A host MUST NOT select a
	  candidate pair until it has verified the pair using a
	  connectivity check as defined in section <xref
	  target="sec:conn_check_proc" />.</t>

          <t><xref target="RFC7401"/> states that UPDATE packets have
          to include either a SEQ or ACK parameter (or
          both). According to the RFC, each SEQ parameter should be
          acknowledged separately. In the context of NATs, this means
          that some of the SEQ parameters sent in connectivity checks
          will lost or arrive out of order. From the viewpoint of the
          recipient, this is not a problem since the recipient
          will just "blindly" acknowledge the SEQ. However, the sender
          needs to be prepared for lost sequence identifiers and ACKs
          parameters that arrive out of order.</t>

          <t>As specified in <xref target="RFC7401"/>, an ACK
          parameter may acknowledge multiple sequence
          identifiers. While the examples in the previous sections do
          not illustrate such functionality, it is also permitted when
          employing ICE-HIP-UDP mode.</t>

          <t>In ICE-HIP-UDP mode, a retransmission of a connectivity
          checks SHOULD be sent with the same sequence identifier in the
          SEQ parameter. Some of tested address candidates will never
          produce a working address pair, and thus may cause
          retransmissions. Upon successful nomination an address pair,
          a host MAY immediately stop sending such retransmissions.</t>

	  <t>ICE procedures for prioritizing candidates, eliminating
	  redundant candidates and forming check lists (including
	  pruning) MUST be followed as specified in <xref
	  target="I-D.ietf-ice-rfc5245bis"/>, with the exception that
	  the foundation, frozen candidates and default candidates are not used. From
	  viewpoint of ICE specification, the protocol specified in
	  this document operates using Component ID of 1 on all
	  candidates, and the foundation of all candidates is
	  unique. This specification defines only "full ICE" mode, and
	  the "lite ICE" is not supported. The reasoning behind for
	  the missing features is described in <xref
	  target="sec:ice_diff" />).</t>

          <t> The connectivity check messages MUST be paced by the Ta value
          negotiated during the base exchange as described in <xref
          target="sec:check_pacing_neg"/>. If neither one of the hosts announced
          a minimum pacing value, a value of 20 ms SHOULD be used. </t>
          
          <t>Both hosts MUST form a
          priority ordered checklist and start to check transactions every Ta
          milliseconds as long as the checks are running and there are candidate
          pairs whose tests have not started. The retransmission timeout (RTO)
          for the connectivity check UPDATE packets MUST be calculated as follows:
          
          <list style="empty">
            <t>RTO = MAX (500ms, Ta * (Num-Waiting + Num-In-Progress))</t>
          </list>
          
          </t>

	  <!-- XX FIXME: add more formulas? -->
          
          <t> In the RTO formula, Ta is the value used for the
          connectivity check pacing, Num-Waiting is the number of
          pairs in the checklist in the "Waiting" state, and
          Num-In-Progress is the number of pairs in the "In-Progress"
          state. This is identical to the formula in <xref
          target="I-D.ietf-ice-rfc5245bis"/> when there is only one
          checklist. A smaller value than 500 ms for the RTO MUST NOT
          be used.</t>
          
          <t> Each connectivity check request packet MUST contain a
          CANDIDATE_PRIORITY parameter (see <xref target="sec:con-check"/>) with
          the priority value that would be assigned to a peer reflexive candidate
          if one was learned from the corresponding check. An UPDATE packet that acknowledges
          a connectivity check request MUST be sent from the same address that
          received the check and delivered to the same address where the check was received
          from. Each acknowledgment UPDATE packet MUST contain a MAPPED_ADDRESS
          parameter with the port, protocol, and IP address of the address where
          the connectivity check request was received from.</t>
          
          <!-- XX FIXME: reference UDP-over-ESP -->
          
	  <t>Following ICE guidelines <xref
	  target="I-D.ietf-ice-rfc5245bis"/>, it is RECOMMENDED to
	  restrict total number of connectivity checks to 100 for each
	  host association. This can be achieved by limiting the
	  connectivity checks to the 100 candidate pairs with the
	  highest priority.</t>
          
        </section> <!-- Rules for Connectivity Checks -->

        <section title="Rules for Concluding Connectivity Checks">

	  <t>The controlling agent may find multiple working candidate
	  pairs. To conclude the connectivity checks, it SHOULD
	  nominate the pair with the highest priority. The controlling
	  agent MUST nominate a candidate pair essentially by
	  repeating a connectivity check using an UPDATE message that
	  contains a SEQ parameter (with new sequence number), a
	  ECHO_REQUEST_SIGN parameter, the priority of the candidate
	  in a CAND_PRIO parameter and NOMINATE parameter to signify
	  concluding of the connectivity checks. Since the nominated
	  address pair has been already tested for reachability, the
	  controlled host should be able to receive the message. Upon
	  reception, the controlled host SHOULD select the nominated
	  address pair. The response message MUST include a SEQ
	  parameter with a new sequence id, acknowledgment of the
	  sequence is from the controlling host in an ACK parameter, a
	  new ECHO_REQ_SIGN parameter, ECHO_RESP_SIGNED parameter
	  corresponding to the ECHO_REQUEST_SIGN parameter from the
	  controlling host and the NOMINATE parameter. After sending
	  this packet, the controlled host can create IPsec security
	  associations using the nominated address candidate for
	  delivering application payload to the controlling host. Since
	  the message from the controlled host included a new sequence
	  id and echo request for signature, the controlling host MUST
	  acknowledge this with a new UPDATE message that includes an
	  ACK and ECHO_RESPONSE_SIGNED parameters. After this final
	  concluding message, also the controlling host can create
	  IPsec security associations for delivering application payload
	  to the controlled host.
	  </t>

	  <t>It is possible that packets are delayed by the
	  network. Both host MUST continue to respond to any
	  connectivity checks despite an address pair has been nominated.</t>

          <t> If all the connectivity checks have failed, the hosts MUST NOT send ESP
          traffic to each other but MAY continue communicating using HIP packets
          and the locators used for the base exchange. Also, the hosts SHOULD
          notify each other about the failure with a CONNECTIVITY_CHECKS_FAILED
          NOTIFY packet (see <xref target="sec:notify-types"/>).</t>

        </section> <!-- Rules for Concluding Connectivity Checks -->


      </section> <!-- connectivity checks -->

      <section anchor="sec:alternatives" title="NAT Traversal Alternatives">

        <section title="Minimal NAT Traversal Support" anchor="sec:minimal">

          <t>If the Responder has a fixed and publicly reachable IPv4
          address and does not employ a HIP relay, the explicit NAT
          traversal mode negotiation MAY be omitted, and thus even the
          UDP-ENCAPSULATION mode does not have to be negotiated. In
          such a scenario, the Initiator sends an I1 message over UDP
          and the Responder responds with an R1 message without
          including any NAT traversal mode parameter. The rest of the
          base exchange follows the procedures defined in <xref
          target="RFC7401"/>, except that the control and data plane
          use UDP encapsulation. Here, the use of UDP for NAT
          traversal is agreed implicitly. This way of operation is
          still subject to NAT timeouts, and the hosts MUST employ NAT
          keepalives as defined in <xref
          target="sec:nat-keepalives"/>.</t>

        </section>
        
        <section anchor="sec:no_relay" 
                 title="Base Exchange without Connectivity Checks">

          <t>It is possible to run a base exchange without any
          connectivity checks as defined in section 4.8 in <xref
          target="RFC5770" />. The procedure is applicable also in the
          context of this specification, so it is repeated here for
          completeness.</t>

          <t> In certain network environments, the connectivity checks can be
          omitted to reduce initial connection set-up latency because a base
          exchange acts as an implicit connectivity test itself. For this to
          work, the Initiator MUST be able to reach the Responder by simply UDP
          encapsulating HIP and ESP packets sent to the Responder's address.
          Detecting and configuring this particular scenario is prone to failure
          unless carefully planned. </t>
          
          <t> In such a scenario, the Responder MAY include UDP-ENCAPSULATION NAT
          traversal mode as one of the supported modes in the R1 packet. If the
          Responder has registered to a HIP relay server, it MUST also include a
          LOCATOR_SET parameter in R1 that contains a preferred address where the
          Responder is able to receive UDP-encapsulated ESP and HIP packets. This
          locator MUST be of type "Transport address", its Traffic type MUST be
          "both", and it MUST have the "Preferred bit" set (see <xref
          target="tbl:locator"/>). If there is no such locator in R1, the source
          address of R1 is used as the Responder's preferred address. </t>

          <t> The Initiator MAY choose the UDP-ENCAPSULATION mode if the
          Responder listed it in the supported modes and the Initiator does not
          wish to use the connectivity checks defined in this document for searching for a more optimal path. In this case,
          the Initiator sends the I2 with UDP-ENCAPSULATION mode in the NAT
          traversal mode parameter directly to the Responder's preferred address
          (i.e., to the preferred locator in R1 or to the address where R1 was
          received from if there was no preferred locator in R1). The Initiator
          MAY include locators in I2 but they MUST NOT be taken as address
          candidates, since connectivity checks defined in this document will not be used for connections with
          UDP-ENCAPSULATION NAT traversal mode. Instead, if R2 and I2 are
          received and processed successfully, a security association can be
          created and UDP-encapsulated ESP can be exchanged between the hosts
          after the base exchange completes. However, the Responder SHOULD NOT
          send any ESP to the Initiator's address before it has received data
          from the Initiator, as specified in Sections 4.4.3. and 6.9 of <xref
          target="RFC7401"/> and in Sections 3.2.9 and 5.4 of <xref
          target="I-D.ietf-hip-rfc5206-bis"/>. </t>

          <t> Since an I2 packet with UDP-ENCAPSULATION NAT traversal mode
          selected MUST NOT be sent via a relay, the Responder SHOULD reject such
          I2 packets and reply with a NO_VALID_NAT_TRAVERSAL_MODE_PARAMETER NOTIFY
          packet (see <xref target="sec:notify-types"/>). </t>

          <t> If there is no answer for the I2 packet sent directly to the
          Responder's preferred address, the Initiator MAY send another I2 via
          the HIP relay server, but it MUST NOT choose UDP-ENCAPSULATION NAT
          traversal mode for that I2. </t>
          
        </section> <!-- Base Exchange without ICE Connectivity Checks -->
        
        <section anchor="sec:no_udp" 
                 title="Initiating a Base Exchange both with and without UDP Encapsulation">

          <t>It is possible to run a base exchange in parallel both with
          and without UDP encapsulation as defined in section 4.9 in <xref
          target="RFC5770" />. The procedure is applicable also in the
          context of this specification, so it is repeated here for
          completeness.</t>

          <t>The Initiator MAY also try to simultaneously perform a base exchange
          with the Responder without UDP encapsulation. In such a case, the
          Initiator sends two I1 packets, one without and one with UDP
          encapsulation, to the Responder. The Initiator MAY wait for a while
          before sending the other I1. How long to wait and in which order to
          send the I1 packets can be decided based on local policy.  For
          retransmissions, the procedure is repeated.</t>

          <t>The I1 packet without UDP encapsulation may arrive directly, without
          any relays, at the Responder. When this happens, the procedures in
          <xref target="RFC7401" /> are followed for the rest of the base
          exchange. The Initiator may receive multiple R1 packets, with and
          without UDP encapsulation, from the Responder. However, after receiving
          a valid R1 and answering it with an I2, further R1 packets that are not
          retransmits of the original R1 MUST be ignored. </t>
          
          <t>The I1 packet without UDP encapsulation may also arrive at a
          HIP-capable middlebox. When the middlebox is a HIP rendezvous server
          and the Responder has successfully registered with the rendezvous
          service, the middlebox follows rendezvous procedures in <xref
          target="RFC8004" />. </t>

          <t>If the Initiator receives a NAT traversal mode parameter in R1
          without UDP encapsulation, the Initiator MAY ignore this parameter and
          send an I2 without UDP encapsulation and without any selected NAT
          traversal mode. When the Responder receives the I2 without UDP
          encapsulation and without NAT traversal mode, it will assume that no
          NAT traversal mechanism is needed. The packet processing will be done
          as described in <xref target="RFC7401"/>. The Initiator MAY store the
          NAT traversal modes for future use, e.g., in case of a mobility or
          multihoming event that causes NAT traversal to be used during the
          lifetime of the HIP association. </t>

        </section> <!-- Base Exchange without UDP Encapsulation  -->

      </section> <!-- NAT Traversal Alternatives -->
      
      <section anchor="sec:control_no_relay" 
        title="Sending Control Packets after the Base Exchange">

        <t>The same considerations of sending control packets after
        the base exchange described in section 5.10 in <xref
        target="RFC5770"/> apply also here, so they are repeated here
        for completeness.</t>

        <t>After the base exchange, the end-hosts MAY send HIP control packets
        directly to each other using the transport address pair established for
        a data channel without sending the control packets through the HIP
        relay server. When a host does not get acknowledgments, e.g., to an
        UPDATE or CLOSE packet after a timeout based on local policies, the
        host SHOULD resend the packet through the relay, if it was listed in
        the LOCATOR_SET parameter in the base exchange. </t>

        <t> If control packets are sent through a HIP relay server, the host
        registered with the relay MUST utilize the RELAY_TO parameter as in the
        base exchange. The HIP relay server SHOULD forward HIP packets to the
        registered hosts and forward packets from a registered host to the
        address in the RELAY_TO parameter. The relay MUST add a RELAY_FROM
        parameter to the control packets it relays to the registered
        hosts. </t>

        <t> If the HIP relay server is not willing or able to relay a HIP
        packet, it MAY notify the sender of the packet with
        MESSAGE_NOT_RELAYED error notification (see <xref
        target="sec:notify-types"/>). </t>
        
      </section> <!-- Sending Control Packets after the Base Exchange -->

      <section anchor="sec:mobility" title="Mobility Handover Procedure">

        <!-- XX FIXME: double jump -> include locators in the connectivity checks  -->

        <t>A host may move after base exchange and connectivity
        checks. Mobility extensions for HIP <xref
        target="I-D.ietf-hip-rfc5206-bis"/> define handover procedures
        without NATs. In this section, we define how two hosts
        interact with handover procedures in scenarios involving
        NATs. The specified extensions define only simple mobility
        using a pair of security associations, and multihoming
        extensions are left to be defined in later specifications.
        The procedures in this section offer the same functionality as "ICE restart" specified in <xref
        target="I-D.ietf-ice-rfc5245bis"/>. The
        example described in this section shows only a relay server
        for the peer host for the sake of simplicity, but also the
        mobile host may also have a relay server.</t>

        <t>The assumption here is that the two hosts have successfully negotiated
        and chosen the ICE-HIP-UDP mode during the base exchange as
        defined in <xref
        target="sec:nat_traversal_mode"/>. The Initiator of the base
        exchange MUST store information that it was the controlling
        host during the base exchange. Similarly, the Responder MUST
        store information that it was the controlled host during the
        base exchange.</t>

	<t>Prior to starting the handover procedures with all peer
	hosts, the mobile host SHOULD first send UPDATE messages to
	its HIP and data relays if it has registered to such. It
	SHOULD wait for all of them to respond for two minutes and
	then continue with the handover procedure without information
	from the relays that did not respond. As defined in section
	<xref target="sec:registration" />, a response message from a
	relay includes a REG_FROM parameter that describes the server
	reflexive candidate of the mobile host to be used in the
	candidate exchange during the handover. Similarly, an UPDATE
	to a data relay is necessary to make sure the data relay can
	forward data to the correct IP address after a handoff.
	</t>

        <t>The mobility extensions for NAT traversal are illustrated
        in <xref target="fig:update"/>. The mobile host is the
        host that has changed its locators, and the peer host is the
        host it has a host association with. The mobile host may have
        multiple peers and it repeats the process with all of its
        peers. In the figure, the HIP relay belongs to the peer host,
        i.e., the peer host is a relay client for the HIP relay.
        <!-- It is
        worth noting that the figure corresponds to figure 3 in <xref
        target="I-D.ietf-hip-rfc5206-bis"/>, but the difference is that the main
        UPDATE procedure is carried over the relay and the
        connectivity is tested separately. --> Next, we describe the
        procedure in the figure in detail.</t>

        <?rfc needLines="21" ?>
        <figure anchor="fig:update" title="HIP UPDATE procedure">
          <artwork align="center"><![CDATA[
Mobile Host                       HIP relay                 Peer Host
| 1. UDP(UPDATE(ESP_INFO,          |                                |
|          LOC_SET, SEQ))          |                                |
+--------------------------------->| 2. UDP(UPDATE(ESP_INFO,        |
|                                  |          LOC_SET, SEQ,         |
|                                  |          RELAY_FROM))          |
|                                  +------------------------------->|
|                                  |                                |
|                                  | 3. UDP(UPDATE(ESP_INFO, ACK,   |
|                                  |          ECHO_REQ_SIGN))       |
| 4. UDP(UPDATE(ESP_INFO, ACK,     |<-------------------------------+
|          ECHO_REQ_SIGN,          |                                |
|          RELAY_TO))              |                                |
|<---------------------------------+                                |
|                                  |                                |
|                   5. connectivity checks over UDP                 |
+<----------------------------------------------------------------->+
|                                  |                                |
|                      6. ESP data over UDP                         |
+<----------------------------------------------------------------->+
|                                  |                                |
]]>
          </artwork>
        </figure>

        <t>In step 1, the mobile host has changed location and sends a
        location update to its peer through the HIP relay of the
        peer. It sends an UPDATE packet with source HIT belonging to
        itself and destination HIT belonging to the peer host. In the
        packet, the source IP address belongs to the mobile host and
        the destination to the HIP relay. The packet contains an
        ESP_INFO parameter, where, in this case, the OLD SPI and NEW
        SPI parameters both contain the pre-existing incoming SPI. The
        packet also contains the locators of the mobile host in a
        LOCATOR_SET parameter. The packet contains also a SEQ number to be
        acknowledged by the peer. As specified in <xref
        target="I-D.ietf-hip-rfc5206-bis"/>, the packet may also include a HOST_ID (for
        middlebox inspection) and DIFFIE_HELLMAN parameter for rekeying.</t>

        <t>In step 2, HIP relay receives the UPDATE packet and forwards it
        to the peer host (i.e. relay client). The HIP relay
        rewrites the destination IP address and appends a RELAY_FROM
        parameter to the message.</t>

        <t>In step 3, the peer host receives the UPDATE packet,
        processes it and responds with another UPDATE message. The
        message is destined to the HIT of mobile host and to the IP
        address of the HIP relay. The message includes an ESP_INFO
        parameter where, in this case, the OLD SPI and NEW SPI
        parameters both contain the pre-existing incoming SPI. The
        peer includes a new SEQ and ECHO_REQUEST_SIGN parameters to be
        acknowledged by the mobile host.  The message acknowledges the
        SEQ parameter of the earlier message with an ACK parameter.
        After this step, the peer host can initiate the connectivity checks.
        </t>

        <t>In step 4, the HIP relay receives the message, rewrites the
        destination IP address, appends an RELAY_TO parameter and
        forwards the modified message to the mobile host. When mobile host has
        processed the message successfully, it can initiate the connectivity checks.
        </t>

        <!--

        <t>In step 5, the mobile host receives the UPDATE packet from
        the peer and processes it. It concludes the information
        exchange by acknowledging the received SEQ parameter with an
        ACK parameter and the ECHO_REQUEST_SIGN parameter with
        ECHO_RESPONSE_SIGNED parameter. The mobile host delivers the
        packet to the HIT of the peer and to the address of the HIP
        relay. The mobile host can start connectivity checks after this packet. </t>

        <t>In step 6, HIP relay receives the UPDATE packet and
        forwards it to the peer host (i.e. relay client). The HIP
        relay rewrites the destination IP address and appends a
        RELAY_FROM parameter to the message. When the peer host
        receives this concluding UPDATE packet, it can initiate the
        connectivity checks.
        </t>

        -->

        <t>In step 5, the two hosts test for connectivity across NATs
        according to procedures described in <xref
        target="sec:conn_checks"/>. The original Initiator of the
        communications is the controlling and the original Responder is
        the controlled host.</t>

        <t>In step 6, the connectivity checks are successfully
        completed and the controlling host has nominated one address
        pair to be used. The hosts set up security associations to
        deliver the application payload.</t>

        <t>If either host has registered a relayed address candidate
        from a data relay, the host MUST reactivate the address before connectivity checks by sending
        an UPDATE message containing PEER_PERMISSION parameter as described in <xref
        target="sec:forwarding" />. Otherwise, the relay drops ESP packets using the relayed address.</t>

      </section>

      <section title="NAT Keepalives" anchor="sec:nat-keepalives">

        <t>To prevent NAT states from expiring, communicating hosts
        send periodic keepalives to other hosts that they have
        established a host associating with. Both a registered client and relay server SHOULD send a HIP NOTIFY
        packets to each other every 15 seconds (the so called Tr value in ICE) unless they have exchange some other traffic over the used UDP ports.
	Other values MAY be used, but a Tr value smaller than 15 seconds MUST NOT be used.
        Likewise, if a host has not sent any data to another
        host it has established a host association in the ICE-HIP_UDP
        mode within 15 seconds, it MUST send either a HIP NOTIFY packet or, alternatively, an ICMPv6
        echo request inside the related ESP tunnel. <!-- HIP relay
        servers MAY refrain from sending keepalives if it's known that
        they are not behind a middlebox that requires keepalives. -->
        If the base exchange or mobility handover procedure occurs during an extremely slow path, a host MAY also
        send HIP notify packets every 15 seconds to keep to path active with the recipient.
        </t>

      </section>

      <section anchor="sec:close" title="Closing Procedure">

        <t>The two-way procedure for closing a HIP and the related
        security associations is defined in <xref
        target="RFC7401"/>. One hosts initiates the procedure by
        sending a CLOSE party and the recipient confirms it with
        CLOSE_ACK. All packets are protected using HMACs and
        signatures, and the CLOSE messages includes a
        ECHO_REQUEST_SIGNED parameter to protect against replay attacks.</t>

        <t>The same procedure for closing HIP associations applies
        also here, but the messaging occurs using the UDP encapsulated
        tunnel that the two hosts employ. A host sending the CLOSE
        message SHOULD first send the message over a direct
        link. After a number of retransmissions, it MUST send over a
        HIP relay of the recipient if one exists. The host receiving
        the CLOSE message directly without a relay SHOULD respond
        directly. The CLOSE message came via a relay, it SHOULD
        respond using the same relay.</t>

      </section>

      <section title="Relaying Considerations">

        <section anchor="sec:forwarding" title="Forwarding Rules and Permissions">

          <t> The HIP data relay uses a similar permission model as a
          TURN server: before the data relay forwards any ESP data
          packets from a peer to a registered host (or the other direction),
          the client MUST set a permission for the peer's address. The
          permissions also install a forwarding rule for each direction, similar to
          TURN's channels, based on the Security Parameter Index (SPI)
          values in the ESP packets. </t>
          
          <t>Permissions are not required for HIP control packets.
          However, if a relayed address (as conveyed in the RELAYED_ADDRESS parameter from the data relay) is selected to be used for
          data, the registered host MUST send an UPDATE message to the
          data relay containing a PEER_PERMISSION parameter (see <xref
          target="sec:peer_permission"/>) with the address of the
          peer, and the outbound and inbound SPI values the registered
          host is using with this particular peer. To avoid packet
          dropping of ESP packets, the registered host SHOULD send the
          PEER_PERMISSION parameter before connectivity checks both in
          the case of base exchange and a mobility handover.  It is
          worth noting that the UPDATE message includes a SEQ
          parameter (as specified in <xref target="RFC7401"/>) that
          the data relay must acknowledge, so that the registered host
          can resend the message with PEER_PERMISSION parameter if it
          gets lost.</t>

          <!-- should the ESP data relay really do DPI or just use ports? Ari: relay can run out of ports -->

          <t> When a data relay receives an UPDATE with a
          PEER_PERMISSION parameter, it MUST check if the sender of the
          UPDATE is registered for data relaying service, and drop the
          UPDATE if the host was not registered. If the host was
          registered, the relay checks if there is a permission with
          matching information (address, protocol, port and SPI
          values). If there is no such permission, a new permission MUST
          be created and its lifetime MUST be set to 5 minutes. If an
          identical permission already existed, it MUST be refreshed by
          setting the lifetime to 5 minutes. A registered host SHOULD
          refresh permissions 1 minute before the expiration when the
          permission is still needed. </t>

	  <t>When a data relay receives an UPDATE from a registered client but without a
	  PEER_PERMISSION parameter and with a new locator set, the
	  relay can assume that the mobile host has changed it's
	  location and, thus, is not reachable in its previous
	  location. In such an event, the data relay SHOULD deactivate
	  the permission and stop relaying data plane traffic to the client.</t>

          <t>The relayed address MUST be activated with the
          PEER_PERMISSION parameter both after a base exchange and
          after a handover procedure with another ICE-HIP-UDP capable
          host. Unless activated, the data relay MUST drop all ESP
          packets. It is worth noting that a relay client does not
          have to renew its registration upon a change of location
          UPDATE, but only when the lifetime of the registration is close to end.</t>
 
        </section> <!-- Forwarding Rules and Permissions -->

        <section title="HIP Data Relay and Relaying of Control Packets">
 
          <t>When a HIP data relay accepts to relay UDP encapsulated
          ESP between a registered host and its peer, the relay opens a UDP port (relayed
          address) for this purpose as described in <xref
          target="sec:registration"/>. This port can be used for delivering also control packets because
          connectivity checks also cover the path through the data relay.
          If the data relay receives a UDP encapsulated HIP control
          packet on that port, it MUST forward the packet to the
          registered host and add a RELAY_FROM parameter to the packet
          as if the data relay was acting as a HIP relay server.
          When the registered host replies to a control
          packet with a RELAY_FROM parameter via its relay, the
          registered host MUST add a RELAY_TO parameter containing the
          peer's address and use the address of its data relay as the
          destination address. Further, the data relay MUST send this
          packet to the peer's address from the relayed address.</t>
          
          <t> If the data relay receives a UDP packet that is not a
          HIP control packet to the relayed address, it MUST check if
          it has a permission set for the peer the packet is arriving
          from (i.e., the sender's address and SPI value matches to an
          installed permission). If permissions are set, the data
          relay MUST forward the packet to the registered host that
          created the permission. The data relay MUST also implement
          the similar checks for the reverse direction (i.e. ESP packets
          from the registered host to the peer). Packets without a permission MUST be dropped
          silently.</t>
          
        </section> <!-- HIP Data Relay and Relaying of Control Packets -->

        <section title="Handling Conflicting SPI Values">

          <t>The inbound SPI values of the registered
          clients should be unique so that a data relay can properly demultiplex
          incoming packets from peer hosts to the correct registered clients. Vice versa,
          the inbound SPIs of the peer hosts should be unique for the same reason. These two cases are
          discussed in this section separately.</t>

          <!-- registeration using multiple local addresses does not work in the case of HIP? -->

          <!-- no sending of NOTIFYs upon SPI collisions -->

          <t>In first case, the SPI collision problem occurs when two
          Initiators run a base exchange to the same Responder
          (i.e. registered host), and both the Initiators claim the
          same inbound SPI. This is not a problem for Responder since
          the two Initiators can be distinguished by their transport
          addresses. However, it is an issue for the data relay
          because the it cannot demultiplex packets from the Initiator
          to the correct Responder. Thus, upon receiving an I2 with a colliding
          SPI, the Responder MUST NOT include the relayed address candidate in
          the R2 message because the data relay would not be able
          demultiplex the related ESP packet to the correct Initiator.
          The same applies also the handover procedure; the
          registered host MUST NOT include the relayed address candidate
          when sending its new locator set in an UPDATE to its peer if it would cause
          a SPI conflict with another peer.
          Since the SPI space is 32 bits and the SPI values should be
          random, the probability for a conflicting SPI value is
          fairly small.  However, a registered host with many peers
          MAY proactively decrease the odds of a conflict by
          registering to multiple data relays. The described collision
          scenario can be avoided if the Responder delivers a new
          relayed address candidate upon SPI collisions.  Each relayed
          address has a separate UDP port reserved to it, so the relay
          can demultiplex properly conflicting SPIs of the Initiators
          based on the SPI and port number towards the correct
          Responder.
          </t>

          <t>In the second case, the SPI collision problems occurs if
          two hosts have registered to the same data relay and a third
          host initiates base exchange with both of them. In this
          case, the data relay has allocated separate UDP ports for
          the two registered hosts acting now as Responders. When the
          Responders send identical SPI values in their I2 messages
          via the relay, it can properly demultiplex it to the correct
          Responder because the UDP ports are different.
          </t>

        </section> <!-- Handling Conflicting SPI Values -->

      </section> <!-- Relay Considerations -->

    </section>

    <!-- ***************************************************************** -->

    <section anchor="sec:format" title="Packet Formats">

      <t> The following subsections define the parameter and packet encodings
      for the HIP and ESP packets. All values MUST be
      in network byte order.</t>

      <t>It is worth noting that most of the parameters are shown for
      completeness sake even though they are specified already in <xref
      target="RFC5770" />. New parameters are explicitly described as new.</t>


      <section anchor="sec:udphip" title="HIP Control Packets">

        <t><xref target="fig:udphip"/> illustrates the packet
        format for UDP-encapsulated HIP. The format is identical to <xref target="RFC5770"/>.</t>

        <figure anchor="fig:udphip"
          title="Format of UDP-Encapsulated HIP Control Packets">
          <artwork align="center"><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|        Source Port            |       Destination Port        |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|           Length              |           Checksum            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                       32 bits of zeroes                       |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                                                               |
~                    HIP Header and Parameters                  ~
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
                ]]></artwork>
        </figure>

        <t> HIP control packets are encapsulated in UDP packets as defined in
        Section 2.2 of <xref target="RFC3948"/>, "IKE Header Format for Port
        4500", except a different port number is used. <xref
        target="fig:udphip"/> illustrates the encapsulation.  The UDP header is
        followed by 32 zero bits that can be used to differentiate HIP control
        packets from ESP packets. The HIP header and parameters follow the
        conventions of <xref target="RFC7401"/> with the exception that the HIP
        header checksum MUST be zero. The HIP header checksum is zero for two
        reasons. First, the UDP header already contains a checksum. Second, the
        checksum definition in <xref target="RFC7401"/> includes the IP
        addresses in the checksum calculation. The NATs unaware of HIP cannot
        recompute the HIP checksum after changing IP addresses. </t>

        <t> A HIP relay server or a Responder without a relay SHOULD listen at
        UDP port 10500 for incoming UDP-encapsulated HIP control packets. If
        some other port number is used, it needs to be known by potential
        Initiators. </t>

      </section> <!-- HIP Control Packets -->

      <section anchor="sec:con_checks" title="Connectivity Checks">

        <t>HIP connectivity checks are HIP UPDATE packets. The format
        is specified in <xref target="RFC7401"/>.</t>

      </section>

      <section anchor="sec:keepalive" title="Keepalives">

        <t>The keepalives are either HIP NOTIFY packets as specified
        in <xref target="RFC7401"/> or ICMPv6 packets inside the ESP tunnel.</t>

      </section> <!-- keepalive -->

      <section anchor="sec:nat_tm-param" title="NAT Traversal Mode Parameter">

        <t>The format of NAT traversal mode parameter is borrowed from <xref target="RFC5770"/>.
        The format of the NAT_TRAVERSAL_MODE parameter is similar to the format
        of the ESP_TRANSFORM parameter in <xref target="RFC7402"/> and is shown
        in <xref target="fig:nat_tfm" />. This specification defines traversal
        mode identifier for ICE-HIP-UDP and reuses the UDP-ENCAPSULATION mode from <xref target="RFC5770"/>. The identifier
        named RESERVED is reserved for future use. Future specifications may define
        more traversal modes. </t>

        <figure anchor="fig:nat_tfm" 
          title="Format of the NAT_TRAVERSAL_MODE Parameter">
          <artwork align="center"><![CDATA[

 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Type              |             Length            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|           Reserved            |            Mode ID #1         |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|           Mode ID #2          |            Mode ID #3         |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|           Mode ID #n          |             Padding           |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Type       608
Length     length in octets, excluding Type, Length, and padding
Reserved   zero when sent, ignored when received
Mode ID    defines the proposed or selected NAT traversal mode(s)

The following NAT traversal mode IDs are defined:

    ID name            Value
    RESERVED             0
    UDP-ENCAPSULATION    1
    ICE-HIP-UDP          3
                ]]></artwork>
        </figure>

        <t> The sender of a NAT_TRAVERSAL_MODE parameter MUST make sure that
        there are no more than six (6) Mode IDs in one NAT_TRAVERSAL_MODE
        parameter. Conversely, a recipient MUST be prepared to handle received
        NAT traversal mode parameters that contain more than six Mode IDs by
        accepting the first six Mode IDs and dropping the rest. The limited
        number of Mode IDs sets the maximum size of the NAT_TRAVERSAL_MODE
        parameter. The modes MUST be in preference order, most preferred
        mode(s) first. </t> 

        <t>Implementations conforming to this specification MUST
        implement both UDP-ENCAPSULATION and ICE-HIP-UDP modes.</t>

      </section> <!-- NAT Traversal Mode Parameter -->

      <section anchor="sec:check-pacing-param" 
        title="Connectivity Check Transaction Pacing Parameter">

        <t> The TRANSACTION_PACING is a new parameter, and it shown in <xref
        target="fig:check_pacing"/> contains only the connectivity check pacing
        value, expressed in milliseconds, as a 32-bit unsigned integer.</t>

        <figure anchor="fig:check_pacing" 
          title="Format of the TRANSACTION_PACING Parameter">
          <artwork align="center"><![CDATA[

 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Type              |             Length            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                            Min Ta                             |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Type     610
Length   4
Min Ta   the minimum connectivity check transaction pacing 
         value the host would use 
                ]]></artwork>
        </figure>

      </section>

      <section anchor="sec:rel-reg-params" 
        title="Relay and Registration Parameters">

        <t> The format of the REG_FROM, RELAY_FROM, and RELAY_TO parameters is shown
        in <xref target="fig:reg_from" />. All parameters are identical except
        for the type. REG_FROM is the only parameter covered with the
        signature. </t>

        <figure anchor="fig:reg_from"
          title="Format of the REG_FROM, RELAY_FROM, and RELAY_TO Parameters">
          <artwork align="center"><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Type              |             Length            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Port              |    Protocol   |     Reserved  |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                                                               |
|                            Address                            |
|                                                               |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Type       REG_FROM:   950
           RELAY_FROM: 63998
           RELAY_TO:   64002
Length     20 
Port       transport port number; zero when plain IP is used
Protocol   IANA assigned, Internet Protocol number. 
           17 for UDP, 0 for plain IP
Reserved   reserved for future use; zero when sent, ignored 
           when received
Address    an IPv6 address or an IPv4 address in "IPv4-Mapped 
           IPv6 address" format
                ]]></artwork>
        </figure>

        <t> REG_FROM contains the transport address and protocol from which the HIP
        relay server sees the registration coming. RELAY_FROM contains the
        address from which the relayed packet was received by the relay server
        and the protocol that was used. RELAY_TO contains the same information
        about the address to which a packet should be forwarded. </t>

      </section> <!-- Relay and Registration Parameters -->

      <section title="LOCATOR_SET Parameter" anchor="sec:locator_format">

        <t>This specification reuses the format for UDP-based locators specified
        in <xref target="RFC5770"/> to be used for communicating the
        address candidates between two hosts. The generic and NAT-traversal-specific locator parameters
        are illustrated in <xref target="fig:locator"/>. </t>

        <figure anchor="fig:locator" title="LOC_SET Parameter">
          <artwork align="center"><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Type              |            Length             |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Traffic Type  |  Locator Type | Locator Length|  Reserved   |P|
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                       Locator Lifetime                        |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                            Locator                            |
|                                                               |
|                                                               |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
.                                                               .
.                                                               .
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Traffic Type  |  Loc Type = 2 | Locator Length|  Reserved   |P|
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                       Locator Lifetime                        |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|     Transport Port            |  Transp. Proto|     Kind      |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                           Priority                            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                              SPI                              |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                            Address                            |
|                                                               |
|                                                               |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
]]></artwork>
        </figure>

        <t> The individual fields in the LOCATOR_SET parameter are described in
        <xref target="tbl:locator"/>. </t>

        <texttable anchor="tbl:locator" 
          title="Fields of the LOCATOR_SET Parameter">
          <ttcol align="left">Field</ttcol>
          <ttcol align="left">Value(s)</ttcol>
          <ttcol align="left">Purpose</ttcol>
          <c>Type</c>
          <c>193</c>
          <c>Parameter type</c>
          <c>Length</c>
          <c>Variable</c>
          <c>Length in octets, excluding Type and Length fields and padding</c>
          <c>Traffic Type</c>
          <c>0-2</c>
          <c>Is the locator for HIP signaling (1), for ESP (2), or for 
           both (0)</c>
          <c>Locator Type</c>
          <c>2</c>
          <c>"Transport address" locator type</c>
          <c>Locator Length</c>
          <c>7</c>
          <c>Length of the fields after Locator Lifetime in 4-octet units</c>
          <c>Reserved</c>
          <c>0</c>
          <c>Reserved for future extensions</c>
          <c>Preferred (P) bit</c>
          <c>0 or 1</c>
          <c>Set to 1 for a Locator in R1 if the Responder can use it for the
          rest of the base exchange, otherwise set to zero</c>
          <c>Locator Lifetime</c>
          <c>Variable</c>
          <c>Locator lifetime in seconds</c>
          <c>Transport Port</c>
          <c>Variable</c>
          <c>Transport layer port number</c>
          <c>Transport Protocol</c>
          <c>Variable</c>
          <c>IANA assigned, transport layer Internet Protocol number. 
           Currently only UDP (17) is supported.</c>
          <c>Kind</c>
          <c>Variable</c>
          <c>0 for host, 1 for server reflexive, 2 for peer reflexive or 3 for
           relayed address</c>
          <c>Priority</c>
          <c>Variable</c>
          <c>Locator's priority as described in 
           <xref target="I-D.ietf-ice-rfc5245bis"/>. It is worth noting that while the priority of a single locator candidate is 32-bits, but
           an implementation should use a 64-bit integer to calculate the priority of a candidate pair for the ICE priority algorithm.</c>
          <c>SPI</c>
          <c>Variable</c>
          <c>Security Parameter Index (SPI) value that the host expects to see in incoming ESP packets
           that use this locator</c>
          <c>Address</c>
          <c>Variable</c>
          <c>IPv6 address or an "IPv4-Mapped IPv6 address" format IPv4
          address <xref target="RFC4291"/></c> 
        </texttable>

      </section> <!-- locator parameter format -->

      <section anchor="sec:relay-hmac" title="RELAY_HMAC Parameter">
        
        <t>As specified in <xref target="RFC5770"/>, the RELAY_HMAC
        parameter value has the TLV type 65520. It has the same
        semantics as RVS_HMAC <xref target="RFC8004"/>. </t>

      </section> <!-- RELAY_HMAC -->

      <section anchor="sec:reg-types" title="Registration Types">
        
        <t> The REG_INFO, REG_REQ, REG_RESP, and REG_FAILED parameters contain
        Registration Type <xref target="RFC8003"/> values for HIP relay server
        registration. The value for RELAY_UDP_HIP is 2 as specified in <xref target="RFC5770"/>.</t>

      </section> <!-- Registration Types -->

      <section anchor="sec:notify-types" title="Notify Packet Types">

        <t>A HIP relay server and end-hosts can use NOTIFY packets to signal
        different error conditions. The NOTIFY packet types are the same as in <xref target="RFC5770"/>.</t>

        <t>The Notify Packet Types <xref
        target="RFC7401"/> are shown below. The
        Notification Data field for the error notifications SHOULD contain the
        HIP header of the rejected packet and SHOULD be empty for the
        CONNECTIVITY_CHECKS_FAILED type. </t>

        <figure> <artwork>
NOTIFICATION PARAMETER - ERROR TYPES     Value
------------------------------------     -----

NO_VALID_NAT_TRAVERSAL_MODE_PARAMETER      60
        </artwork> </figure>

        <t><list>
            <t> If a HIP relay server does not forward a base exchange
            packet due to missing NAT traversal mode parameter, or the
            Initiator selects a NAT traversal mode that the Responder did not
            expect, the relay or the Responder may send back a NOTIFY error
            packet with this type. </t>
        </list></t>

        <figure> <artwork>
CONNECTIVITY_CHECKS_FAILED                 61
         </artwork> </figure>

        <t><list> 
          <t> Used by the end-hosts to signal that NAT traversal connectivity
          checks failed and did not produce a working path. </t>
        </list> </t>

        <figure> <artwork>
MESSAGE_NOT_RELAYED                        62
         </artwork> </figure>

        <t><list>
            <t> Used by a HIP relay server to signal that is was not able or
            willing to relay a HIP packet. </t> 
        </list> </t>

      </section> <!-- Notify Packet Types -->

      <section anchor="sec:udpesp" title="ESP Data Packets">

        <t>The format for ESP data packets is identical to <xref target="RFC5770"/>.</t>
        
        <t> <xref target="RFC3948"/> describes the UDP encapsulation of the
        IPsec ESP transport and tunnel mode. On the wire, the HIP ESP packets
        do not differ from the transport mode ESP, and thus the encapsulation
        of the HIP ESP packets is same as the UDP encapsulation transport mode
        ESP. However, the (semantic) difference to Bound End-to-End Tunnel
        (BEET) mode ESP packets used by HIP is that IP header is not used in
        BEET integrity protection calculation.</t>

        <t> During the HIP base exchange, the two peers exchange parameters
        that enable them to define a pair of IPsec ESP security associations
        (SAs) as described in <xref target="RFC7402"/>. When two peers perform
        a UDP-encapsulated base exchange, they MUST define a pair of IPsec SAs
        that produces UDP-encapsulated ESP data traffic. </t>

        <t> The management of encryption/authentication protocols and SPIs is
        defined in <xref target="RFC7402"/>. The UDP encapsulation format and
        processing of HIP ESP traffic is described in Section 6.1 of <xref
        target="RFC7402"/>. </t>

      </section>

      <section anchor="sec:relayed_address" 
        title="RELAYED_ADDRESS and MAPPED_ADDRESS Parameters">

        <t>While the type values are new, the format of the RELAYED_ADDRESS and MAPPED_ADDRESS parameters
        (<xref target="fig:relayed_address"/>) is identical to REG_FROM,
        RELAY_FROM and RELAY_TO parameters. This document specifies only the use of
        UDP relaying, and, thus, only protocol 17 is allowed. However, future
        documents may specify support for other protocols.</t>

        <figure anchor="fig:relayed_address"
          title="Format of the RELAYED_ADDRESS and MAPPED_ADDRESS Parameters">

          <artwork align="center"><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Type              |             Length            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Port              |    Protocol   |    Reserved   |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                                                               |
|                            Address                            |
|                                                               |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Type      [TBD by IANA; 
          RELAYED_ADDRESS: 4650
          MAPPED_ADDRESS:  4660]
Length    20 
Port      the UDP port number
Protocol  IANA assigned, Internet Protocol number (17 for UDP)
Reserved  reserved for future use; zero when sent, ignored 
          when received
Address   an IPv6 address or an IPv4 address in "IPv4-Mapped 
          IPv6 address" format
                ]]></artwork>
        </figure>

        <!-- These parameters are not in the RVS and relaying range 
        since they should be signed by the relay server -->

      </section>

      <section anchor="sec:peer_permission" 
        title="PEER_PERMISSION Parameter">

        <t> The format of the new PEER_PERMISSION parameter is shown in <xref
        target="fig:peer_permission"/>. The parameter is used for setting up
        and refreshing forwarding rules and the permissions for data packets at the data relay. The parameter contains one or more sets of Port,
        Protocol, Address, Outbound SPI (OSPI), and Inbound SPI (ISPI)
        values. One set defines a rule for one peer address. </t>

        <figure anchor="fig:peer_permission"
          title="Format of the PEER_PERMISSION Parameter">
          <artwork align="center"><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Type              |             Length            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Port              |    Protocol   |    Reserved   |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                                                               |
|                             Address                           |
|                                                               |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                              OSPI                             |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                              ISPI                             |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                                                               |
|                              ...                              |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Type      [TBD by IANA; 4680]
Length    length in octets, excluding Type and Length
Port      the transport layer (UDP) port number of the peer
Protocol  IANA assigned, Internet Protocol number (17 for UDP)
Reserved  reserved for future use; zero when sent, ignored 
          when received
Address   an IPv6 address, or an IPv4 address in "IPv4-Mapped
          IPv6 address" format, of the peer
OSPI      the outbound SPI value the registered host is using for
          the peer with the Address and Port
ISPI      the inbound SPI value the registered host is using for
          the peer with the Address and Port
                ]]></artwork>
        </figure>

      </section> 

      <section anchor="sec:con-check" title="HIP Connectivity Check Packets">

        <t>The connectivity request messages are HIP UPDATE packets containing a new
        CANDIDATE_PRIORITY parameter (<xref target="fig:candidate_priority"/>).
        Response UPDATE packets contain a MAPPED_ADDRESS parameter (<xref
        target="fig:relayed_address"/>). </t>

        <figure anchor="fig:candidate_priority" 
          title="Format of the CANDIDATE_PRIORITY Parameter">
          <artwork align="center"><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Type              |             Length            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                            Priority                           |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Type      [TBD by IANA; 4700]
Length    4
Priority  the priority of a (potential) peer reflexive candidate
                ]]></artwork>
        </figure>

      </section>

      <section anchor="sec:nominate" title="NOMINATE parameter">

        <t><xref target="fig:nominate"/> shows the NOMINATE
        parameter that is used to conclude the candidate nomination
        process.</t>

        <figure anchor="fig:nominate" 
          title="Format of the NOMINATE Parameter">
          <artwork align="center"><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|             Type              |             Length            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                           Reserved                            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Type      [TBD by IANA; 4710]
Length    4
Reserved  Reserved for future extension purposes
                ]]></artwork>
        </figure>


      </section>


    </section>

    <!-- ***************************************************************** -->

    <section title="Security Considerations">

      <t>The security considerations are the same as in <xref
      target="RFC5770"/>, but are repeated here for completeness sake.</t>

      <section title="Privacy Considerations">

        <t> The locators are in plain text format in favor of inspection at
        HIP-aware middleboxes in the future. The current document does not specify
        encrypted versions of LOCATOR_SETs, even though it could be beneficial for
        privacy reasons to avoid disclosing them to middleboxes. </t>

        <t> It is also possible that end-users may not want to reveal all
        locators to each other. For example, tracking the physical location of
        a multihoming end-host may become easier if it reveals all locators to
        its peer during a base exchange. Also, revealing host addresses exposes
        information about the local topology that may not be allowed in all
        corporate environments. For these two reasons, an end-host may exclude
        certain host addresses from its LOCATOR_SET parameter. However, such
        behavior creates non-optimal paths when the hosts are located behind
        the same NAT. Especially, this could be problematic with a legacy NAT
        that does not support routing from the private address realm back to
        itself through the outer address of the NAT. This scenario is referred
        to as the hairpin problem <xref target="RFC5128"/>. With such a legacy
        NAT, the only option left would be to use a relayed transport address
        from a TURN server. </t>

        <t> The use of HIP and data relays can be also useful for
        privacy purposes. For example, a privacy concerned Responder may reveal
        only its HIP relay server and Relayed candidates to Initiators. This
        same mechanism also protects the Responder against Denial-of-Service (DoS)
        attacks by allowing the Responder to initiate new connections even if
        its relays would be unavailable due to a DoS attack. </t>

      </section> <!-- privacy -->

      <section title="Opportunistic Mode">

        <t> A HIP relay server should have one address per relay client when a
        HIP relay is serving more than one relay client and supports
        opportunistic mode. Otherwise, it cannot be guaranteed that the HIP
        relay server can deliver the I1 packet to the intended recipient. </t>

      </section> <!-- opportunistic -->

      <section title="Base Exchange Replay Protection for HIP Relay Server">

        <t> In certain scenarios, it is possible that an attacker, or two
        attackers, can replay an earlier base exchange through a HIP relay
        server by masquerading as the original Initiator and Responder. The
        attack does not require the attacker(s) to compromise the private
        key(s) of the attacked host(s). However, for this attack to succeed,
        the Responder has to be disconnected from the HIP relay server. </t>

        <t> The relay can protect itself against replay attacks by becoming
        involved in the base exchange by introducing nonces that the end-hosts
        (Initiator and Responder) are required to sign. One way to do this is
        to add ECHO_REQUEST_M parameters to the R1 and I2 packets as described
        in <xref target="HIP-MIDDLE" /> and drop the I2 or R2
        packets if the corresponding ECHO_RESPONSE_M parameters are not
        present. </t>

      </section>
      
      <section title="Demuxing Different HIP Associations">

        <t> Section 5.1 of <xref target="RFC3948"/> describes a security issue
        for the UDP encapsulation in the standard IP tunnel mode when two hosts
        behind different NATs have the same private IP address and initiate
        communication to the same Responder in the public Internet. The
        Responder cannot distinguish between two hosts, because security
        associations are based on the same inner IP addresses. </t>

        <t> This issue does not exist with the UDP encapsulation of HIP ESP
        transport format because the Responder uses HITs to distinguish between
        different Initiators. </t>

      </section>

      <section anchor="sec:reuse" title="Reuse of Ports at the Data Relay">

        <t> If the data relay uses the same relayed address and port (as conveyed in the RELAYED_ADDRESS parameter) for multiple
        registered hosts, it appears to all the peers, and their firewalls, that
        all the registered hosts using the relay are at the same address. Thus, a
        stateful firewall may allow packets pass from hosts that would not
        normally be able to send packets to a peer behind the
        firewall. Therefore, a HIP data relay SHOULD NOT re-use the port
        numbers. If port numbers need to be re-used, the relay SHOULD have a
        sufficiently large pool of port numbers and select ports from the pool
        randomly to decrease the chances of a registered host obtaining the same
        address that a another host behind the same firewall is using. </t>
        
      </section> <!-- Reuse of Ports at the Data Relay -->

      <section title="Amplification attacks">

	<t>A malign host may send an invalid list of candidates for
	its peer that are used for targeting a victim host by flooding
	it with connectivity checks. To mitigate the attack, this
	protocol adopts the ICE mechanism to cap the total amount of
	connectivity checks as defined in section <xref
	target="sec:alternatives" />.</t>

      </section>

      <section title="Attacks against Connectivity Checks and Candidate Gathering">

	<t>Section 13.1 in <xref target="I-D.ietf-ice-rfc5245bis" />
	discusses about attacks against ICE connectivity checks. HIP
	bases its control plane security on Diffie-Hellman key
	exchange, public keys and Hashed Message Authentication codes,
	meaning that the mentioned security concerns do not apply to
	HIP either. The mentioned section discusses also of
	man-in-the-middle replay attacks that are difficult to
	prevent. The connectivity checks in this protocol are immune
	against replay attacks because a connectivity request includes
	a random nonce that the recipient must sign and send back as a response.
	</t>

	<t>Section 13.2 in <xref target="I-D.ietf-ice-rfc5245bis" />
	discusses attacks on server reflexive address
	gathering. Similarly here, if DNS, HIP relay or HIP data relay
	server has been compromised, not much can be done. However,
	the case where attacker can inject fake messages (located on a
	shared network segment like Wifi) does not apply here. HIP
	messages are integrity and replay protected, so it is not
	possible inject fake server reflexive address candidates.
	</t>

	<t>Section 13.3 in <xref target="I-D.ietf-ice-rfc5245bis" />
	discusses attacks on relayed candidate gathering. Similarly as
	ICE TURN servers, data relays require an authenticated base
	exchange that protects relayed address gathering against fake
	requests and responses. Further, replay attacks are not
	possible because the HIP base exchange (and also UPDATE
	procedure) is protected against replay attacks.
	</t>

      </section>

    </section> <!-- security considerations -->


    <!-- ***************************************************************** -->

    <section title="IANA Considerations" anchor="sec:iana">
      <t> This section is to be interpreted according to <xref
      target="RFC5226"/>. </t>

      <t> This document updates the IANA Registry for HIP Parameter Types <xref
      target="RFC7401"/> by assigning new HIP Parameter Type
      values for the new HIP Parameters: RELAYED_ADDRESS, MAPPED_ADDRESS
      (defined in <xref target="sec:relayed_address"/>), and PEER_PERMISSION
      (defined in <xref target="sec:peer_permission"/>). </t>

      <t> This document also updates the IANA Registry for HIP NAT traversal
      modes <xref target="RFC5770"/> by assigning value for the NAT traversal
      mode ICE-HIP-UDP (defined in <xref target="sec:nat_tm-param"/>).</t>

      <t> This document defines additional registration types for the HIP
      Registration Extension <xref target="RFC8003"/> that
      allow registering with a HIP relay server for ESP relaying service:
      RELAY_UDP_ESP (defined in <xref target="sec:registration"/>; and performing
      server reflexive candidate discovery: CANDIDATE_DISCOVERY (defined in
      <xref target="sec:gathering"/>). </t>

      <t>ICE specifications discuss "Unilateral Self-Address Fixing"
      in section 17 in <xref target="I-D.ietf-ice-rfc5245bis" />. This
      protocol is based on ICE, and thus the same considerations apply
      also here with one exception: this protocol does not hide binary
      IP addresses from application-level gateways.</t>

    </section> <!-- IANA -->

    <!-- ***************************************************************** -->

    <section title="Contributors">

      <!-- <t> This RFC is a product of a design team that also included Marcelo
      Bagnulo and Philip Matthews, who both have made major contributions to
      this document. </t> -->

      <t>
      Marcelo Bagnulo, Philip Matthews and Hannes Tschofenig have contributed
      to <xref target="RFC5770" />. This document leans heavily on the work in the RFC.
      </t>

    </section>

     <!-- contributors -->

      <!-- *************************************************************** -->

    <section title="Acknowledgments">

      <t>Thanks to Jonathan Rosenberg and the rest of the MMUSIC WG folks for
      the excellent work on ICE. In addition, the authors would like to thank
      Andrei Gurtov, Simon Schuetz, Martin Stiemerling, Lars Eggert, Vivien
      Schmitt, and Abhinav Pathak for their contributions and Tobias Heer, Teemu
      Koponen, Juhana Mattila, Jeffrey M. Ahrenholz, Kristian Slavov, Janne
      Lindqvist, Pekka Nikander, Lauri Silvennoinen, Jukka Ylitalo, Juha
      Heinanen, Joakim Koskela, Samu Varjonen, Dan Wing, Tom Henderson, and Jani Hautakorpi for
      their comments to <xref target="RFC5770" />, which is the basis for this document.</t>

      <t>This work has been partially funded by CyberTrust programme
      by Digile/Tekes in Finland.</t>

    </section>
    <!-- Acknowlegements -->

      <!-- *************************************************************** -->

  </middle>

  <back>

    <references title="Normative References">
      <?rfc include="reference.RFC.2119" ?>

      <?rfc include="reference.RFC.7401" ?>

      <?rfc include="reference.RFC.8003" ?>

      <?rfc include="reference.RFC.8004" ?>
      <!-- XX FIXME: replace with RFC references when RFC8006 will be published -->
      <?rfc include="reference.I-D.ietf-hip-rfc5206-bis" ?>

<!--      <?rfc include="reference.I-D.ietf-mmusic-ice" ?> -->

<!-- XX FIXME: update these references when the individual RFCs are published -->

<!--      <?rfc include="reference.I-D.ietf-behave-turn" ?> -->

     <!-- XX FIXME: move RFC5770 to informative references? -->

      <?rfc include="reference.RFC.5770" ?>
      <?rfc include="reference.RFC.5389" ?>
      <?rfc include="reference.RFC.7402" ?>
      <?rfc include="reference.RFC.4291" ?>
      <?rfc include="reference.RFC.5226" ?>

      <?rfc include="reference.I-D.ietf-ice-rfc5245bis" ?>

    </references>

    <references title="Informative References">

      <?rfc include="reference.RFC.4423" ?>

      <?rfc include="reference.RFC.5201" ?>
      <?rfc include="reference.RFC.5207" ?>
      <!-- <?rfc include="reference.RFC.6336" ?> -->

<!--      <?rfc include="reference.I-D.rosenberg-mmusic-ice-nonsip" ?> -->

      <?rfc include="reference.RFC.5766" ?>
      <?rfc include="reference.RFC.6538" ?>

<reference anchor='MMUSIC-ICE'>
<front>
<title>Guidelines for Usage of Interactive Connectivity Establishment (ICE) by non Session Initiation Protocol (SIP) Protocols</title>

<author initials='J' surname='Rosenberg' fullname='Jonathan Rosenberg'>
    <organization />
</author>

<date month='July' day='14' year='2008' />

<abstract><t>Interative Connectivity Establishment (ICE) has been specified as a NAT traversal mechanism for protocols based on the offer/answer exchange model.  In practice, only the Session Initiation Protocol (SIP) has used ICE.  This document provides guidance on how other protocols can make use of ICE.</t></abstract>

</front>

<seriesInfo name='Work in' value='Progress' />

</reference>

      <!-- <?rfc include="reference.RFC.4787" ?> -->
      <?rfc include="reference.RFC.5128" ?>

<!--      <?rfc include="reference.I-D.heer-hip-middle-auth" ?> -->
<reference anchor='HIP-MIDDLE'>
<front>
<title>End-Host Authentication for HIP Middleboxes</title>

<author initials='T' surname='Heer' fullname='Tobias Heer'>
    <organization />
</author>

<author initials='K' surname='Wehrle' fullname='Klaus Wehrle'>
    <organization />
</author>

<author initials='M' surname='Komu' fullname='Miika Komu'>
    <organization />
</author>

<date month='February' day='27' year='2009' />

<abstract><t>The Host Identity Protocol [RFC7401] is a signaling protocol for secure communication, mobility, and multihoming that introduces a cryptographic namespace.  This document specifies an extension for HIP that enables middleboxes to unambiguously verify the identities of hosts that communicate across them.  This extension allows middleboxes to verify the liveness and freshness of a HIP association and, thus, to secure access control in middleboxes.</t></abstract>

</front>

<seriesInfo name='Work in' value='Progress' />

</reference>



      <?rfc include="reference.RFC.3948" ?>
    </references>


    <!-- ***************************************************************** -->

    <section anchor="sec:selecting_pacing_value" 
      title="Selecting a Value for Check Pacing"> 

      <t> Selecting a suitable value for the connectivity check transaction
      pacing is essential for the performance of connectivity check-based NAT
      traversal. The value should not be so small that the checks cause network
      congestion or overwhelm the NATs.  On the other hand, a pacing value that
      is too high makes the checks last for a long time, thus increasing the
      connection setup delay. </t>

      <t> The Ta value may be configured by the user in environments where the
      network characteristics are known beforehand. However, if the
      characteristics are not known, it is recommended that the value is
      adjusted dynamically. In this case, it's recommended that the hosts
      estimate the round-trip time (RTT) between them and set the minimum Ta
      value so that only two connectivity check messages are sent on every
      RTT. </t>

      <t> One way to estimate the RTT is to use the time it takes for the HIP
      relay server registration exchange to complete; this would give an
      estimate on the registering host's access link's RTT. Also, the I1/R1
      exchange could be used for estimating the RTT, but since the R1 can be
      cached in the network, or the relaying service can increase the delay
      notably, it is not recommended. </t>
    </section>

    <section title="Base Exchange through a Rendezvous Server">

      <t> When the Initiator looks up the information of the Responder from
      DNS, it's possible that it discovers a rendezvous server (RVS) record
      <xref target="RFC8004" />. In this case, if the Initiator uses NAT
      traversal methods described in this document, it MAY use its own HIP
      relay server to forward HIP traffic to the rendezvous server. The
      Initiator will send the I1 packet using its HIP relay server, which will
      then forward it to the RVS server of the Responder. In this case, the
      value of the protocol field in the RELAY_TO parameter MUST be IP since
      RVS does not support UDP-encapsulated base exchange packets. The
      Responder will send the R1 packet directly to the Initiator's HIP relay
      server and the following I2 and R2 packets are also sent directly using
      the relay. </t>

      <t> In case the Initiator is not able to distinguish which records are
      RVS address records and which are Responder's address records (e.g., if
      the DNS server did not support HIP extensions), the Initiator SHOULD
      first try to contact the Responder directly, without using a HIP relay
      server. If none of the addresses are reachable, it MAY try them out using
      its own HIP relay server as described above. </t>

    </section> <!-- Base Exchange through a Rendezvous Server -->

    <section anchor="sec:ice_diff" title="Differences to ICE">

      <t>The protocol specified in this document follows the semantics
      of ICE as close as possible, and most of the differences are
      syntactical due to the use of a different protocol. In this
      section, we describe the differences to the ICE protocol.</t>

      <t><list style="symbols">

	<t>ICE operates at the application layer, where as this
	protocol operates between transport and network layers, thus
	hiding the protocol details from the application.</t>

	<t>STUN protocol is not employed. Instead, this protocol
	reuses the HIP control plane format in order simplify
	demultiplexing of different protocols. For example, STUN
	binding response is replaced with a HIP UPDATE message
	containing an ECHO_REQUEST_SIGN parameter and STUN binding
	response with a HIP UPDATE messages containing an
	ECHO_RESPONSE_SIGNED parameter as defined in section <xref
	target="sec:conn_checks" />.</t>

	<t>TURN protocol is not utilized. Instead, this protocol reuses
	HIP relay servers for the same purpose.</t>

	<t>ICMP errors may be used in ICE to signal failure. In this
	protocol, HIP NOTIFY messages are used instead.</t>

	<t>Instead of the ICE username fragment and password mechanism
	for credentials, this protocol uses the public key derived HIT
	for the same purpose. The username fragments are "transient
	host identifiers, bound to a particular session established as
	part of the candidate exchange" <xref
	target="I-D.ietf-ice-rfc5245bis" />. In HIP, a local public
	key and the derived HIT are considered long-term identifiers,
	and invariant across different host associations and different
	transport-layer flows.</t>

	<t>In ICE, the conflict when two communicating end-points take
	the same controlling role is solved using
	random values (co called tie-breaker value). In this protocol, the conflict is solved by the
	standard HIP base exchange procedure, where the host with the
	"larger" HIT switches to Responder role, thus changing also to
	controlled role.</t>
	
	<t>The ICE-CONTROLLED and ICE-CONTROLLING attributes are not
	included in the connectivity checks.
	<!-- The attributes make it
	easier to build gateways between different protocols using
	ICE. -rosenberg-mmusic-ice-nonsip --></t>
	
	<t>The foundation concept is unnecessary in this protocol
	because only a single UDP flow for the IPsec tunnel will be
	negotiated.</t>
	
	<t>Frozen candidates are omitted for the same reason as
	foundation concept is excluded.</t>

	<t>Components are omitted for the same reason as
	foundation concept is excluded.</t>

	<t>This protocol supports only "full ICE" where the two
	communicating hosts participate actively to the connectivity
	checks, and the "lite" mode is not supported.  This design
	decision follows the guidelines of ICE which recommends full
	ICE implementations.  However, it should be noted that a
	publicly reachable Responder may refuse to negotiate the ICE
	mode as described in <xref target="sec:no_relay" />.  This
	would result in a <xref target="RFC7401" /> based base
	exchange tunneled over UDP followed ESP traffic over the same
	tunnel, without the connectivity check procedures defined in
	this document (in some sense, this mode corresponds to the
	case where two ICE lite implementations connect since no
	connectivity checks are sent).</t>

	<t>As the "ICE lite" is not adopted here and both sides are
	capable of ICE-HIP-HIP mode (negotiated during the base
	exchange), default candidates are not employed here.</t>

	<t>The considerations on Diffserve Codepoint markings in ICE
	are not applicable to HIP since Diffserve is not used in HIP.</t>

	<t>Unlike in ICE, the addresses are not xorred in this
	protocol in order to avoid middlebox tampering.</t>

	<t>This protocol does not employ the ICE related address and
	related port attributes (that are used for diagnostic or SIP purposes).</t>

      </list></t>

    </section> <!-- ice diff  -->

    <section anchor="sec:hip_diff" title="Differences to Base Exchange and UPDATE procedures">

      <t>This section gives some design guidance for implementers how the extensions in
      this protocol extends and differs from <xref target="RFC7401" /> and <xref
      target="I-D.ietf-hip-rfc5206-bis" />.</t>

      <t><list style="symbols">

	<t>Both control and data plane are operated on top of UDP, not directly on IP.</t>

	<t>A minimal implementation would conform only to <xref
	target="sec:minimal" /> or <xref target="sec:no_relay" />,
	thus merely tunneling HIP control and data traffic over
	UDP. The drawback here is that it works only in the limited
	cases where the Responder has a public address.</t>

	<t>It is worth noting that while a rendezvous server <xref
	target="RFC8004" /> has not been designed to be
	used in NATted scenarios because it just relays the first I1
	packet and does not employ UDP encapsulation.HIP relay
	forwards all control traffic and, hence, is more suitable in
	NATted environments. Further, the data relay concept
	guarantees forwarding of data plane traffic also in the cases
	when the NAT penetration procedures fail.</t>

	<t>Registration procedures with a relay server are similar as
	with rendezvous server. However, a relay has different
	registration parameters than rendezvous because it offers a
	different service. Also, the relay includes also a REG_FROM
	parameter that informs the client about its server reflexive
	address. In the case of a data relay, it includes also a
	RELAYED_ADDRESS containing the relayed address for the
	client.</t>

	<t>In <xref target="RFC7401" />, the Initiator and Responder
	can start to exchange application payload immediately after
	the base exchange. While exchanging data immediately after a
	base exchange via a data relay would be possible also here, we
	follow the ICE methodology to establish a direct path between
	two hosts using connectivity checks. This means that there
	will be some additional delay after the base exchange before
	application payload can be transmitted. The same applies for
	the UPDATE procedure as the connectivity checks introduce some
	additional delay.</t>

	<t>In HIP without NAT traversal support, the base exchange
	acts as an implicit connectivity check, and the mobility and
	multihoming extensions support explicit connectivity
	checks. After a base exchange or UPDATE based connectivity
	checks, a host can use the associated address pair for
	transmitting application payload. In this extension, we follow
	the ICE methodology, where one end-point acting in the
	controlled role chooses the used address pair also on behalf
	of the other end-point acting in controlled role, which is
	different from HIP without NAT traversal support. Another
	difference is that the process of choosing an address pair is
	explicitly signaled using the nomination packets. The
	nomination process in this protocol supports only single
	address pair, and multihoming extensions are left for further
	study.</t>

	<t>The UPDATE procedure resembles the mobility extensions
	defined in <xref target="I-D.ietf-hip-rfc5206-bis" />. The
	first UPDATE message from the mobile host is exactly the same
	as in the mobility extensions. The second UPDATE message from
	the peer host and third from the mobile host are different in
	the sense that they merely acknowledge and conclude the
	reception of the candidates through the relay. In other words,
	they do not yet test for connectivity (besides reachability
	through the HIP relay) unlike in the mobility extensions. The
	idea is that connectivity check procedure follows the ICE
	specification, which is somewhat different from the HIP
	mobility extensions.</t>

	<t>The connectivity checks as defined in the mobility
	extensions <xref target="I-D.ietf-hip-rfc5206-bis" /> are
	triggered only by the peer of the mobile host. Since
	successful NAT penetration requires that both end-points test
	connectivity, both the mobile host and its peer host have to
	test for connectivity. In addition, this protocol
	validates also the UDP ports; the ports in the connectivity
	check must match with the response, as required by ICE.</t>

	<t>In HIP mobility extensions <xref
	target="I-D.ietf-hip-rfc5206-bis" />, an outbound locator has
	some associated state: UNVERIFIED mean that the locator has
	not been tested for reachability, ACTIVE means that the
	address has been verified for reachability and is being used
	actively, and DEPRECATED means that the locator lifetime has
	expired. In the subset of ICE specifications used by this
	protocol, an individual address candidate has only two
	properties: type and priority. Instead, the actual state in
	ICE is associated with candidate pairs rather than individual
	addresses. The subset of ICE specifications utilized by this
	protocol require the following attributes for a candidate
	pair: valid bit, nominated bit, base and the state of
	connectivity check. The connectivity checks have the following
	states: Waiting, In-progress, Succeeded and Failed. Handling
	of this state attribute requires some additional logic when
	compared to the mobility extensions since the state is
	associated with a local-remote address pair rather just a
	remote address, and the states of the different specification
	do not have an unambiguous one-to-one mappings.
	</t>

	<t>Credit-based authorization as defined in <xref
	target="I-D.ietf-hip-rfc5206-bis" /> could be used before
	candidate nomination has been concluded upon discovering
	working candidate pairs. However, this may result in the use
	of asymmetric paths for a short time period in the beginning
	of communications (similarly as in aggressive ICE
	nomination). Thus, support credit-based authorization is left
	for further study.</t>

      </list></t>

    </section> <!-- hip diff  -->

    <!-- ***************************************************************** -->
    
  </back>
</rfc>

<!-- LocalWords: xref CDATA -->
