]> LISP PubSub Flow Examples Orange
Rennes 35000 France mohamed.boucadair@orange.com
Routing Locator/ID Separation Protocol LISP This document provides a set of flow examples to illustrate the use of LISP PubSub specification. Discussion Venues Discussion of this document takes place on the Locator/ID Separation Protocol Working Group mailing list (lisp@ietf.org), which is archived at . Source for this draft and an issue tracker can be found at .
Introduction This document provides a set of flow examples as a companion to the LISP PubSub specification . The document is meant to illustrate and assess the behavior of LISP control nodes under specific conditions. The examples use a simplified/simple setup for the sake of illustration.
Terminology This document uses the terms defined in . The following terms and notations are used in this document:
init_nonce:
the nonce that is initially included in a Map-Request to create a subscription.
initial subscription request:
the Map-Request that was used to create the initial subscription. This request has the nonce value set to init_nonce.
nonce++:
incremented nonce by 1.
init_key_id:
the key identifier that was used in the Map-Request with init_nonce.
trans_count:
retransmission counter as per Section 5.7 of .
trans_timer:
retransmission timer as per Section 5.7 of .
AT:
Attacker
Initial Successful Subscription shows the example a successful subscription. The example assumes that a security association is in place between the xTR ad the Map-Server (Section 7.1 of ) and that all integrity-protection checks are successfully passed.
An Example of Successful Initial Subscription xTR MS Generate a new key Map-Request(init_nonce, and an initial init_key_id,..) Security/integrity nonce. Store them protection check. locally for this No State for this subscription xTR-ID/EID is found Create the sub and Map-Notify(init_nonce, store init_nonce, ,...) init_key_id, ... Security/integrity protection check. Check that rcv Map-Notify-Ack(init_nonce nonce == init_nonce ,...) Confirm the sub and Security/integrity wait for notifs protection checks. This subscription is now ACKed +-+ Security/integrity | | wait for notifs | | | | protection checks. | '--------------------' | | | This subscription | | | | is now ACKed | | | '--------------------' ]]>
Successful Notification illustrates the example of a successful delivery of notification updates that match an existing subscription state. This example assumes that a security association is in place between the xTR and the Map-Server (Section 7.1 of ) and that all subsequent integrity-protection checks are successfully passed.
An Example of Successful Notification xTR MS Security/integrity Map-Notify(nonce ...) Update is triggered protection check. Increment the nonce Check that rcv Set trans_count and nonce >= local trans_timer nonce + 1 Confirms the notif and update the Map-Notify-Ack(nonce ..) Security/integrity entry protection checks. This notification is now ACKed = local | | | | trans_timer | | nonce + 1 | | | '--------------------' | | | | | Confirms the notif | | | .--------------------. | and update the | |Map-Notify-Ack(nonce++,..)| | Security/integrity | | entry +-+=========================>+-+ protection checks. | | | | | | This notification | '--------------------' | | | is now ACKed | | | '--------------------' ]]>
Successful Notification with Retransmission Unlike the example depicted in , illustrates the behavior that is experienced when a subset of Map-Notify messages are lost during their transfer. This example assumes that at least one of these Map-Notify messages is received by the target xTR.
An Example of Successful Notification with Retransmission xTR MS Map-Notify(nonce, ...) Update is triggered Increment the nonce Set trans_count and trans_timer Map-Notify(nonce, ...) Increment trans_count and reset trans_timer Security/integrity Map-Notify(nonce, ...) Increment protection check. trans_count and Check that rcv reset trans_timer nonce >= local nonce + 1 Confirms the notif Map-Notify-Ack(nonce,... Security/integrity and update the protection checks. entry This notification is now ACKed = local | | | '--------------------' | nonce + 1 | | | | | | | .--------------------. | Confirms the notif | |Map-Notify-Ack(nonce,...) | Security/integrity | | and update the +-+=======================>+-+ protection checks. | | entry | | | | This notification | '--------------------' | | | is now ACKed | | | '--------------------' ]]>
Failed Notification with Retransmission assumes that, due to network conditions, all Map-Notifies are lost.
An Example of Failed Notification Delivery xTR MS Map-Notify(nonce, ...) Update is triggered Increment the nonce Set trans_count and trans_timer Map-Notify(nonce, ...) Increment trans_count and reset trans_timer Map-Notify(nonce, ...) Increment trans_count and reset trans_timer
Note that no specific action is currently specified in when such a failure occurs. That is, the entry is kept active and future updates will trigger new Map-Notify cycles. Also, the current specification does not recommend a behavior (e.g., regular refreshes) so that the xTR avoids maintaining stale mappings. Such details are implementation specific (see, for example, ). In order to accommodate Map-Notify message lost, the nonce checks on the xTR should not be on the exact match vs "nonce + 1"; messages with "received nonce >= local nonce + 1" should be accepted.
Successful Subscription Update illustrates the example of successful update of an existing subscription. The triggers for such a refresh are implementation specific.
An Example of Successful Subscription Update xTR MS Increment the last Map-Request(nonce, ...) Security/integrity seen nonce protection check. Found an entry for this xTR-ID Map-Notify(nonce,...) Check that rcv Security/integrity nonce >= local protection check. nonce + 1 Check that rcv nonce == snd nonce Confirm the sub and Map-Notify-Ack(nonce,...) wait for notifs Security/integrity protection check. This subscription update is ACKed +-+ protection check. | '--------------------' | | | Found an entry for | | | | this xTR-ID | .--------------------. | Map-Notify(nonce,...) | | Check that rcv | | Security/integrity +-+<=========================+-+ nonce >= local | | protection check. | | | | nonce + 1 | | Check that rcv | | | '--------------------' | nonce == snd nonce | | | | Confirm the sub and| | Map-Notify-Ack(nonce,...) .--------------------. | wait for notifs +-+=========================>+-+ Security/integrity | '--------------------' | | | protection check. | | | | This subscription | | | | update is ACKed | | | '--------------------' ]]>
Failed Subscription with Lost Map-Notify-Ack This example is similar to , except that the Map-Notify-Ack is not delivered to the Map-Server. The Map-Server retransmits the Map-Notify 3 times, and then removes the subscription. A Map-Notify to explicitly indicate the reason for such a removal is also generated by the Map-Server. If the xTR receives this Map-Notify, the xTR may decide to send the Map-Request to reinstall back the removed state. The procedure to reinstall the state is similar to .
An Example of Failed Initial Subscription xTR MS Generate a new key Map-Request(init_nonce, and an initial init_key_id,..) Security/integrity nonce. Store them protection check. locally for this No State for this subscription xTR-ID/EID is found Create the sub and store init_nonce, Map-Notify(init_nonce,...) init_key_id, ... Security/integrity Set trans_count and protection check. trans_timer Check that rcv nonce == init_nonce Map-Notify-Ack(init_nonce,...) Confirm the sub and wait for notifs Map-Notify(nonce, ...) Increment trans_count and reset trans_timer Map-Notify(nonce, ...) Increment trans_count and reset trans_timer Map-Notify(nonce, AFI, ACT,...) Remove the subscri- ption ... +-+ protection check. | | locally for this | | | | No State for this | | subscription | | | | xTR-ID/EID is found| '--------------------' | | | Create the sub and | | | | store init_nonce, | .--------------------. | Map-Notify(init_nonce,...) | | init_key_id, ... | | Security/integrity +-+<==============================+-+ Set trans_count and| | protection check. | | | | trans_timer | | Check that rcv | | | '--------------------' | nonce == init_nonce| | Map-Notify-Ack(init_nonce,...)| | Confirm the sub and+-+===========> | | wait for notifs | | | '--------------------' | | | | .--------------------. | Map-Notify(nonce, ...) | | Increment | | <==================+-+ trans_count and | | | | reset trans_timer | | | '--------------------' | | | | .--------------------. | Map-Notify(nonce, ...) | | Increment | | <==================+-+ trans_count and | | | | reset trans_timer | | | '--------------------' | | | | .--------------------. |Map-Notify(nonce, AFI, ACT,...)| | Remove the subscri-| | <=========================+-+ ption | | | '--------------------' ... | ]]>
Bootstrapping an xTR When first bootrsapped, an xTR may delete any (stale) state that might be associated with its provisioned xTR-ID and security association. To that aim, the xTR sends a Map-Request that has only one ITR-RLOC with AFI = 0. A Map-Notify will be sent back by the Map-Server even if no subscription is found.
Stale Subscriptions For various reasons, an xTR may lose its subscriptions (or at least the nonce of a subscription). Note that losing the nonce is not compliant with the following from the PubSub specification:
  • The xTR MUST keep track of the last nonce seen in a Map-Notify received as a publication from the Map-Server for the EID-Record.
If the same key is used, the Map-Request is likely to be rejected by the Map-Server and, thus, stale subscriptions will be maintained by the Map-Server. The request is silently discarded by the Map-Server. This behavior is similar to thsi behavior in :
  • If a Map-Register is received with a nonce value that is not greater than the saved nonce, it MUST drop the Map-Register message and SHOULD log the fact that a replay attack could have occurred.
An Example of Stale Subscriptions xTR MS Map-Request(nonce, init_key_id,..) Security/integrity protection check. A state for xTR-ID/EID is found but the nonce check fails: rcv nonce < local nonce + 1. Discard the packet +-+ protection check. | | | | A state for | | | | xTR-ID/EID is found| | | | but the nonce check| | | | fails: rcv nonce < | | | | local nonce + 1. | | | | Discard the packet | | | '--------------------' ]]>
If the Map-Server stores all the key-ids that were used by an xTR for its subscriptions, the Map-Server may accept overriding an existing state without enforcing the nonce check but if and only if a new key is used (see ).
An Example of Stale Subscriptions Avoidance with New KEys xTR MS Map-Request(nonce, new key_id, ...) Security/integrity protection check. A state for Map-Notify (nonce, ...) xTR-ID/EID is found but the new auth key is used, the state is updated +-+ protection check. | | | | A state for | | Map-Notify (nonce, ...) | | xTR-ID/EID is found| |<==============================+-+ but the new auth | | | | key is used, the | | | | state is updated | | | '--------------------' ]]>
However, the approach in may have scalability issues as the Map-Server must store all the key identifiers that were ever used. Otherwise, an attacker can replay a message for which the key-id is not stored anymore by the Map-Server. This issue is not encountered if LISP-SEC messages are timestamped.
  • Note that currently none of LISP specifications use timestamps.
xTR-triggered Subscription Withdrawal illustrates the observed exchange to successfully delete a subscription.
An Example of Successful Subscription Withdrawal xTR MS Increment the last Map-Request(nonce, AF=0...) Security/integrity seen nonce protection check. Found an entry for this xTR-ID Map-Notify(nonce,...) Check that rcv Security/integrity nonce >= local protection check. nonce + 1 Check that rcv nonce == snd nonce Send Map-Notfiy-ACK Map-Notify-Ack(nonce,...) Security/integrity protection check. This withdrawal is confirmed +-+ protection check. | '--------------------' | | | Found an entry for | | | | this xTR-ID | .--------------------. | Map-Notify(nonce,...) | | Check that rcv | | Security/integrity +-+<==============================+-+ nonce >= local | | protection check. | | | | nonce + 1 | | Check that rcv | | | '--------------------' | nonce == snd nonce | | | | Send Map-Notfiy-ACK| | Map-Notify-Ack(nonce,...) | .--------------------. | +-+==============================>+-+ Security/integrity | '--------------------' | | | protection check. | | | | This withdrawal is | | | | confirmed | | | '--------------------' ]]>
'Map-Server'-triggered Subscription Withdrawal illustrates the observed exchange to notify the withdrawal of a subscription at the initiative of the Map-Server.
An Example of Successful Notification of Subscription withdrawal xTR MS Security/integrity Map-Notify(nonce, TTL=0, ...) Update is triggered protection check. Increment the nonce Check that rcv Set trans_count and nonce >= local trans_timer nonce + 1 Confirms the notif and remove the Map-Notify-Ack(nonce, ...) Security/integrity entry protection checks. This notification is now ACKed = local | | | | trans_timer | | nonce + 1 | | | '--------------------' | | | | | Confirms the notif | | | .--------------------. | and remove the | | Map-Notify-Ack(nonce, ...) | | Security/integrity | | entry +-+==============================>+-+ protection checks. | | | | | | This notification | '--------------------' | | | is now ACKed | | | '--------------------' ]]>
Replay Attacks
Replayed Subscription (Update) shows the example of a replayed subscription request. The request will be silently dropped the Map-Server because of nonce check failure.
An Example of Handling of Replayed Initial Subscription AT MS Map-Request(init_nonce, init_key_id,..) Security/integrity protection check. A state is for xTR-ID/EID is found xTR but the nonce check fails: rcv nonce < local nonce + 1. Discard the packet +-+ protection check. | | | | A state is for | +---+ | | xTR-ID/EID is found| |xTR| | | but the nonce check| +-+-+ | | fails: rcv nonce < | | | | local nonce + 1. | | | | Discard the packet | | | '--------------------' | | ]]>
Note that legitimate Map-Requests issued from the authentic xTR may be blocked as a side effect of enforcing a rate-lmit of the replayed messages. An example is shown in .
An Example of Handling of Replayed Initial Subscription AT MS Map-Request(init_nonce, init_key_id,..) Security/integrity protection check. ... A state is found xTR-ID/EID is found but the nonce check fails: rcv nonce < local nonce + 1 (more requests) Rate-limit xTR-ID requests is reached xTR Map-Request(...) Discard +-+ protection check. | | ... | | A state is found | +==========================>+-+ xTR-ID/EID is found| | | | but the nonce check| | | | fails: rcv nonce < | | | | local nonce + 1 | | | '--------------------' | | | (more requests) | .--------------------. | +-+ Rate-limit xTR-ID | | | | requests is reached| +----+ | '--------------------' |xTR | | +-+--+ Map-Request(...) | .--------------------. |==========================================>+-+ Discard | | '--------------------' ]]>
If replayed attacks are not counted as part of the rate-limit policy, legitimate Map-Requests will be procecced as illustrate in .
An Example of Handling of Replayed Initial Subscription AT MS Map-Request(init_nonce, init_key_id,..) Security/integrity protection check. ... A state is found xTR-ID/EID is found but the nonce check fails: rcv nonce < local nonce + 1 xTR Map-Request(...) Process +-+ protection check. | | ... | | A state is found | +==========================>+-+ xTR-ID/EID is found| | | | but the nonce check| | | | fails: rcv nonce < | | | | local nonce + 1 | | | '--------------------' +----+ | |xTR | | +-+--+ Map-Request(...) | .--------------------. |==========================================>+-+ Process | | '--------------------' ]]>
Replayed Withdrawal depicts the example of the exchange that occurs when an attacker sends a replayed withdrawal request. The request will be silently discared by the Map-Server.
An Example of Handling of Replayed Removal of a Subscription AT MS Map-Request(nonce, AFI=0,...) Security/integrity protection check. A state is found xTR-ID/EID is found xTR but the nonce check fails: rcv nonce < local nonce + 1 Discard the packet +-+ protection check. | | | | A state is found | +---+ | | xTR-ID/EID is found| |xTR| | | but the nonce check| +-+-+ | | fails: rcv nonce < | | | | local nonce + 1 | | | | Discard the packet | | | '--------------------' | | ]]>
Replayed Notification Updates illustrates the observed exchange when a replayed notification update is sent by a misbehaving node (AT) to an xTR.
An Example of Replayed Notification of Subscription Withdrawal xTR AT Security/integrity Map-Notify(nonce, TTL=0, ...) protection check. Check that rcv nonce >= local nonce + 1 Discard the message because the nonce checks failed = local | | | | nonce + 1 | | | | | | | | Discard the message| | | | because the nonce | | | | checks failed | | | '--------------------' | | | | ]]>
Explicit Subscriptions TBC.
Security Considerations This document does not introduce any security considerations beyond those already discussed in .
IANA Considerations This document does not make any request to IANA.
Normative References Publish/Subscribe Functionality for the Locator/ID Separation Protocol (LISP) Cisco Google UPC/BarcelonaTech Nexar Orange This document specifies an extension to the request/reply based Locator/ID Separation Protocol (LISP) control plane to enable Publish/Subscribe (PubSub) operation. Locator/ID Separation Protocol (LISP) Control Plane This document describes the control plane and Mapping Service for the Locator/ID Separation Protocol (LISP), implemented by two types of LISP-speaking devices -- the LISP Map-Resolver and LISP Map-Server -- that provide a simplified "front end" for one or more Endpoint IDs (EIDs) to Routing Locator mapping databases. By using this control plane service interface and communicating with Map-Resolvers and Map-Servers, LISP Ingress Tunnel Routers (ITRs) and Egress Tunnel Routers (ETRs) are not dependent on the details of mapping database systems; this behavior facilitates modularity with different database designs. Since these devices implement the "edge" of the LISP control plane infrastructure, connecting EID addressable nodes of a LISP site, the implementation and operational complexity of the overall cost and effort of deploying LISP is reduced. This document obsoletes RFCs 6830 and 6833.
Acknowledgments Thanks to TBC.