<?xml version="1.0" encoding="UTF-8"?>
  <?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
  <!-- generated by https://github.com/cabo/kramdown-rfc2629 version 1.2.13 -->

<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
]>

<?rfc toc="yes"?>
<?rfc tocdepth="2"?>
<?rfc sortrefs="yes"?>
<?rfc symrefs="yes"?>

<rfc ipr="trust200902" docName="draft-voit-rats-trustworthy-path-routing-01" category="std">

  <front>
    <title abbrev="trust-path">Trusted Path Routing</title>

    <author initials="E." surname="Voit" fullname="Eric Voit">
      <organization abbrev="Cisco">Cisco Systems, Inc.</organization>
      <address>
        <email>evoit@cisco.com</email>
      </address>
    </author>

    <date year="2020" month="October" day="02"/>

    <area>Security</area>
    <workgroup>RATS Working Group</workgroup>
    <keyword>Internet-Draft</keyword>

    <abstract>


<t>There are end-users who believe encryption technologies like IPSec alone are insufficient to protect the confidentiality of their highly sensitive traffic flows.  These end-users want their flows to traverse devices which have been freshly appraised and verified. This specification describes Trusted Path Routing.  Trusted Path Routing protects sensitive flows as they transit a network by forwarding traffic to/from sensitive subnets across network devices recently appraised as trustworthy.</t>



    </abstract>


  </front>

  <middle>


<section anchor="introduction" title="Introduction">

<t>There are end-users who believe encryption technologies like IPSec alone are insufficient to protect the confidentiality of their highly sensitive traffic flows.   These customers want their highly sensitive flows to be transported over only network devices recently verified as trustworthy.</t>

<t>With the inclusion of TPM based cryptoprocessors into network devices, it is now possible for network providers to identify potentially compromised devices as well as potentially exploitable (or even exploited) vulnerabilities.  Using this knowledge, it then becomes possible to redirect sensitive flows around these devices.</t>

<t>Trusted Path Routing provides a method of establishing Trusted Topologies which only include trust-verified network devices.  Membership in a Trusted Topology is established and maintained via an exchange of Stamped Passports at the link layer between peering network devices. As links to Attesting Devices are appraised as meeting at least a minimum set of formally defined Trustworthiness Levels, the links are then included as members of this Trusted Topology.  Routing protocols like <xref target="I-D.ietf-lsr-flex-algo"/> can then used to propagate topology state throughout a network.  IP Packets to and from end-user designated Sensitive Subnets are then forwarded into this Trusted Topology at each network boundary.</t>

<t>The specification works under the following assumptions:</t>

<t><list style="symbols">
  <t>A set of network devices supporting the TPM remote attestation profile as laid out in <xref target="RATS-Device"/> are connected within a network domain.</t>
  <t>A routing protocol capable of maintaining multiple forwarding topologies connects these network devices.</t>
  <t>One or more Verifiers continuously appraise each of network devices, and these Verifiers can return the Attestation Results back to the attesting network device.</t>
</list></t>

</section>
<section anchor="terminology" title="Terminology">

<section anchor="terms" title="Terms">
<t>The following terms are imported from <xref target="RATS-Arch"/>: 
Attester, Evidence, Passport, Relying Party, and Verifier.</t>

<t>Newly defined terms for this document:</t>

<t><list style="hanging">
  <t hangText='Attested Device –'>
  a device where a Verifier’s most recent appraisal of Evidence has returned a Trustworthiness Vector.</t>
  <t hangText='Stamped Passport –'>
  a bundle of Evidence which includes at least signed Attestation Results from a Verifier, and two independent TPM quotes from an Attester.</t>
  <t hangText='Sensitive Subnet –'>
  an IP address range where IP packets to or from that range desire confidentially guarantees beyond those of non-identified subnets.  In practice, flows to or from a Sensitive Subnet must only have their IP headers and encapsulated payloads accessible/visible only by Attested Devices supporting one or more Trustworthiness Vectors.</t>
  <t hangText='Transparently-Transited Device –'>
  a network device within an network domain where any packets originally passed into that network domain are completely opaque on that network device at Layer 3 and above.</t>
  <t hangText='Trusted Topology –'>
  a topology which includes only Attested Devices and Transparently-Transited Devices.</t>
  <t hangText='Trustworthiness Level –'>
  a specific quanta of trustworthiness which can be assigned by a Verifier.</t>
  <t hangText='Trustworthiness Vector –'>
  a set of Trustworthiness Levels assigned during a single assessment cycle by a Verfier using Evidence and Claims related to an Attested Device.  The vector is included within Attestation Results.</t>
</list></t>

</section>
<section anchor="requirements-notation" title="Requirements Notation">

<t>The key words “MUST”, “MUST NOT”, “REQUIRED”, “SHALL”, “SHALL
NOT”, “SHOULD”, “SHOULD NOT”, “RECOMMENDED”, “NOT RECOMMENDED”,
“MAY”, and “OPTIONAL” in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>

</section>
</section>
<section anchor="protocol-independent-definitions" title="Protocol Independent Definitions">

<section anchor="trusted-path-routing-service" title="Trusted Path Routing Service">

<t>An end user identifies sensitive IP subnets where flows with applications using these IP subnets need enhanced privacy guarantees. Trusted Path Routing passes flows to/from these Sensitive Subnets over a Trusted Topology able to meet these guarantees.  The Trusted Topology itself consists of the interconnection of network devices where each potentially transited device has passed a recent trustworthiness appraisal.</t>

<t>Different guarantees of end-to-end trustworthiness appraisal may be offered to network users.  These guarantees are network operator specific, but might include options such as:</t>

<t><list style="symbols">
  <t>all transited devices are currently boot integrity verified</t>
  <t>all transited devices are from a specific set of vendors and are running known software containing the latest patches</t>
  <t>no guarantees provided</t>
</list></t>

</section>
<section anchor="network-topology-assembly" title="Network Topology Assembly">

<t>To be included in a Trusted Topology, Evidence of trustworthiness is shared between network device peers (such as routers).  Upon receiving and appraising this Evidence as part of link layer authentication, the network device peer decides if this link should be added as an active adjacency for the Trusted Topology.</t>

<t>When enough links have been successfully added, a Trusted Topology will come into existence as routing protocols flood the adjacency information across the network domain.</t>

<figure title="Trusted Path Topology Assembly" anchor="fig-topology"><artwork><![CDATA[
              .-------------.             .---------.
              | Compromised |             | Edge    |       
 .---------.  |    Router   |             | Router  |    
 | Router  |  |             |             |         |    
 |         |  |        trust>-------------<no_trust |
 | no_trust>--<trust        | .--------.  |         |----Sensitive
 |         |  '-------------' |   trust>==<trust    |    Subnet 
 |    trust>==================<trust   |  |         |    
 '---------'                  |        |  '---------' 
                              | Router | 
                              '--------' 
]]></artwork></figure>

<t>Traffic exchanged with Sensitive Subnets can then be forwarded into that Trusted Topology from all edges of the network domain.</t>

</section>
<section anchor="link-appraisal" title="Link Appraisal">

<t>Critical to the establishment and maintenance of a Trusted Topology is the Stamped Passport.  A Stamped Passport is comprised of Evidence from both an Attester and a Verifier.  Stamped Passports are exchanged between adjacent network devices over a link layer protocols like 802.1x or MACSEC.  As both sides of a link may need might need to appraise the other, independent Stamped Passports will often be transmitted from either side of the link.  Additionally, as link layer protocols will continuously re-authenticate the link, this allows for fresh Stamped Passports to be constantly appraised by either side of the connection.</t>

<t>Each Stamped Passport will include the most recent Verifier provided Attestation Results, as well as the most recent TPM Quote for that Attester.  Upon receiving this information as part of link layer authentication, the Relying Party Router appraises the results and decides if this link should be added to a Trusted Topology.</t>

<t><xref target="fig-timing"/> describes this flow of information using the time definitions described in <xref target="RATS-Arch"/>, and the information flows defined in Section 7 of <xref target="RATS-Interactions"/>.</t>

<figure title="Trusted Path Timing" anchor="fig-timing"><artwork><![CDATA[
     .----------.                .----------.    .---------------.
     | Attester |                | Verifier |    | Relying Party |
     |          |                |     A    |    |  / Verifier B |
     | (Router) |                |          |    |    (Router)   |
     '----------'                '----------'    '---------------'
        time(VG)                       |                 |  
          |<------nonce--------------time(NS)            |   
          |                            |                 |  
 time(EG)(1)------Evidence------------>|                 |  
          |                          time(RG)            | 
          |<------Attestation Result--(2)                | 
          ~                            ~                 ~ 
        time(VG')?                     |                 | 
          ~                            ~                 ~
          |<------nonce---------------------------------(3)time(NS') 
          |                            |                 |   
time(EG')(4)------Stamped Pat--------------------------->| 
          |                            |                (5)time(RG',RA')
                                                        (6)
                                                         ~
                                                      time(RX')  
]]></artwork></figure>

<t>Specifics for each one of these information flows, including details on what happens at the items numbered (1) through (5) are described in <xref target="passport-section"/>.</t>

</section>
<section anchor="vector-section" title="Trustworthiness Vector">

<t>For Trusted Path Routing to operate, fresh Attestation Results need to be communicated by a Verifier back to the Attester.  These Attestation Results must be encoded in a way which is known and actionable.</t>

<t>To support this requirement, specific levels of appraised trustworthiness have been defined.  These are known as Trustworthiness Levels.  It is these Trustworthiness Levels which are asserted as part of the Attestation Results by a Verifier. It is out of the scope of this document for the Verifier to provide proof or logic on how the assertion was derived.</t>

<t>Following are the set of available Trustworthiness Levels:</t>

<texttable>
      <ttcol align='left'>Trustworthiness Level</ttcol>
      <ttcol align='left'>Definition</ttcol>
      <c>hw-authentic</c>
      <c>A Verifier has appraised an Attester as having authentic hardware</c>
      <c>fw-authentic</c>
      <c>A Verifier has appraised an Attester as having authentic firmware</c>
      <c>hw-verification-fail</c>
      <c>A Verifier has appraised an Attester has failed its hardware or firmware verification</c>
      <c>identity-verified</c>
      <c>A Verifier has appraised and verified an Attester’s unique identity</c>
      <c>identity-fail</c>
      <c>A Verifier has been unable to assess or verify an Attester’s unique identity</c>
      <c>boot-verified</c>
      <c>A Verifier has appraised an Attester as Boot Integrity Verified</c>
      <c>boot-verification-fail</c>
      <c>A Verifier has appraised an Attester has failed its Boot Integrity verification</c>
      <c>files-verified</c>
      <c>A Verifier has appraised an Attester’s file system, and asserts that it recognizes relevant files</c>
      <c>file-repudiated</c>
      <c>A Verifier has found a file on an Attester which should not be present</c>
</texttable>

<t>A quick look at the list above shows that multiple Trustworthiness Level will often be applicable at single point in time.  To support this, the Attestation Results will include a single Trustworthiness Vector consisting of a set of Trustworthiness Levels.  The establishment of this Trustworthiness Vector follows the following logic on the Verifier:</t>

<figure><artwork><![CDATA[
Start: TPM Quote Received, log received, or appraisal timer expired

Step 0: set Trustworthiness Vector = Null

Step 1: Is there sufficient fresh signed evidence to appraise?
   (yes) - No Action
   (no) -  Goto Step 6
   
Step 2: Appraise Hardware Integrity
   (if hw-verification-fail) - push onto vector, go to Step 6
   (if hw-authentic) - push onto vector
   (if fw-authentic) - push onto vector
   (if not evaluated, or insufficient data to conclude: take no action)

Step 3: Appraise attester identity
   (if identity-verified) - push onto vector
   (if identity-fail) - push onto vector
   (if not evaluated, or insufficient data to conclude: take no action)

Step 4: Appraise boot integrity
   (if boot-verified) - push onto vector
   (if boot-verification-fail) - push onto vector
   (if not evaluated, or insufficient data to conclude: take no action)

Step 5: Appraise filesystem integrity
   (if files-verified) - push onto vector
   (if file-repudiated) - push onto vector
   (if not evaluated, or insufficient data to conclude: take no action)

Step 6: Assemble Attestation Results, and push to Attester 

End

]]></artwork></figure>

</section>
<section anchor="attestation-results" title="Attestation Results">

<t>As Evidence changes, a new Trustworthiness Vector needs to be returned to the Attester as Attestation Results.  But this Trustworthiness Vector is not all that needs to be returned.  Following is a YANG tree for all the returned objects.  Each of these objects will later be used as Evidence by another Verifier which is co-resident with the Relying Party.</t>

<figure title="Attestation Results Tree" anchor="fig-results-tree"><artwork type="YANG"><![CDATA[
module: ietf-attestation-results-vector
  +--rw attestation-results!
     +--rw trustworthiness-vector*        identityref
     +--rw (tpm-specification-version)?
     |  +--:(TPM2.0) {taa:TPM20}?
     |  |  +--rw TPM2B_DIGEST             binary
     |  |  +--rw tpm20-pcr-bank* [TPM-hash-algo]
     |  |  |  +--rw TPM-hash-algo    identityref
     |  |  |  +--rw pcr-index*       tpm:pcr
     |  |  +--rw clock                    uint64
     |  |  +--rw reset-counter            uint32
     |  |  +--rw restart-counter          uint32
     |  |  +--rw safe                     boolean
     |  +--:(TPM1.2) {taa:TPM12}?
     |     +--rw pcr-index*               pcr
     |     +--rw tpm12-pcr-value*         binary
     |     +--rw timestamp                yang:date-and-time
     +--rw public-key-format              identityref
     +--rw public-key                     binary
     +--rw public-key-algorithm-type      identityref
     +--rw verifier-signature-key-name?   string
     +--rw verifier-key-algorithm-type    identityref
     +--rw verifier-signature             binary
]]></artwork></figure>

<t>Looking at the objects above, if the Attester has a TPM2, then the values of the TPM PCRs are included (i.e., &lt;TPM2B_DIGEST&gt;, &lt;TPM2_Algo&gt;, and &lt;pcr-index&gt;), as are the timing counters from the TPM (i.e., &lt;clock&gt;, &lt;reset-counter&gt;, &lt;restart-counter&gt;, and &lt;safe&gt;).</t>

<t>Likewise if the Attester has a TPM1.2, the TPM PCR values of the &lt;pcr-index&gt; and &lt;pcr-value&gt; are included.  Timing information comes from the Verifier itself via the &lt;timestamp&gt; object.</t>

<t>For both the TPM1.2 and the TPM2, there are other Attestation Results which are sent.  These are the Attester’s TPM key (i.e., &lt;public-key&gt;, &lt;public-key-format&gt;, and &lt;public-key-algorithm-type&gt;).  This key later will allow the Relying Party router to appraise a subsequent TPM Quote. It is this signature which allows the Trustworthiness Vector to be later provably associated with a recent TPM Quote.</t>

</section>
<section anchor="passport-section" title="Stamped Passport">

<t>The Attestation Results are not the only item which a Relying Party needs to consider during its appraisal.  A provably recent TPM Quote from the Attester must also be included.  With these two items, the resulting Stamped Passports formats described below must be converted to CDDL and passed over EAP.  If an Attester includes a TPM2, the objects are:</t>

<figure><artwork><![CDATA[
    YANG structure for a TPM2 Stamped Passport
       +--ro latest-tpm-quote
       |  +--ro quote              binary
       |  +--ro quote-signature    binary
       +--ro latest-attestation-results
          +--ro trustworthiness-vector*        identityref
          +--ro TPM2B_DIGEST                   binary
          +--ro tpm20-pcr-bank* [TPM-hash-algo]
          |  +--ro TPM-hash-algo    identityref
          |  +--ro pcr-index*   tpm:pcr       
          +--ro clock                          uint64
          +--ro reset-counter                  uint32
          +--ro restart-counter                uint32
          +--ro safe                           boolean
          +--ro public-key-format              identityref
          +--ro public-key                     binary
          +--ro public-key-algorithm-type      identityref
          +--ro verifier-signature-key-name?   string
          +--ro verifier-signature             binary
]]></artwork></figure>

<t>And if the Attester is a TPM1.2, the object are:</t>

<figure><artwork><![CDATA[
    YANG structure for a TPM1.2 Stamped Passport
       +--ro latest-tpm-quote
       |  +--ro version* []
       |  |  +--ro major?      uint8
       |  |  +--ro minor?      uint8
       |  |  +--ro revMajor?   uint8
       |  |  +--ro revMinor?   uint8
       |  +--ro digest-value?   binary
       +--ro latest-tpm12-attestation-results
          +--ro trustworthiness-vector*        identityref
          +--ro pcr-index*                     pcr
          +--ro tpm12-pcr-value*               binary
          +--ro timestamp                      yang:date-and-time
          +--ro public-key-format              identityref
          +--ro public-key                     binary
          +--ro public-key-algorithm-type      identityref
          +--ro verifier-signature-key-name?   string
          +--ro verifier-signature             binary
]]></artwork></figure>

<t>With either of these passport formats, if the &lt;latest-tpm-quote&gt; is verifiably fresh, then the state of the Attester can be appraised by a network peer.</t>

</section>
<section anchor="appraising-the-stamped-passport" title="Appraising the Stamped Passport">

<t>When it receives a Stamped Passport, a Verifier co-resident with the Relying Party on a network peer can make nuanced decisions about how to handle traffic coming from that link.  For example, when the Attester’s TPM hardware identity credentials can be verified, it might choose to accept link layer connections and forward generic Internet traffic.</t>

<t>Additionally, if the Attester’s Trustworthiness Vector is acceptable to the Relying Party, and it hasn’t been too long since the Verifier has provided a Stamped Passport, the Relying Party can include that link in a Trusted Topology.</t>

<t>As the process described above repeats across the set of links within a network domain, Trusted Topologies can be extended and maintained.  Traffic to and from Sensitive Subnets is then identified at the edges of the network domain and passed into this Trusted Topology.</t>

<figure title="Stamped Passport Generation and Appraisal" anchor="fig-passport"><artwork><![CDATA[
       .--------------.
       |  Verifier A  |
       '---------(2)--'
           ^      |
           |     Attestation Results
      Evidence    |
           |      V
        .-(1)---------.                           .---------------.
        | Attester    |                           | Relying Party |
        |  (Router)   |<--------------------nonce(3) / Verifier B |
        |  .-----.    |                           |   (Router)    |
        |  | TPM |   (4)-Stamped Passport-------->|               |
        |  '-----'    |                           |   (5) & (6)   |
        '-------------'                           '---------------'
]]></artwork></figure>

<t>In <xref target="fig-passport"/> above, Evidence from a TPM is generated and signed by that TPM. This Evidence is appraised by Verifier A, and the Attester is given a Trustworthiness Vector which is signed and returned as Attestation Results to the Attester.   Later, when a request comes in from a Relying Party, the Attester assembles and returns three independently signed elements of Evidence.  These three comprise the Stamped Passport which when taken together allow Verifier B to appraise and set the current Trustworthiness Vector of the Attester.</t>

<t>More details on the mechanisms used in the construction and verification of the Stamped Passport are listed below.  These numbers match to the numbered steps of <xref target="fig-passport"/>:</t>

<t><list style="numbers">
  <t>An Attester sends a signed TPM Quote which includes PCR measurements to Verifier A at time(EG).</t>
  <t>Verifier A appraises (1), then sends the following items back to that Attester as Attestation Results:  <list style="numbers">
      <t>the Trustworthiness Vector of an Attester,</t>
      <t>the PCR state information from the TPM Quote of (1),</t>
      <t>time information associated with the TPM Quote of (1),</t>
      <t>the Public Attestation Key which it used to validate the TPM Quote of (1), and</t>
      <t>a Verifier signature across (2.1) though (2.4).</t>
    </list></t>
  <t>At time(EG’) a nonce known to the Relying Party is sent to the Attester .</t>
  <t>The Attester generates and sends a Stamped Passport.  This Stamped Passport includes:  <list style="numbers">
      <t>The Attestation Results from (2)</t>
      <t>New signed, verifiably fresh PCR measurements from time(EG’), which incorporates the nonce from (3).</t>
    </list></t>
  <t>On receipt of (4), the Relying Party makes its determination of how the Stamped Passport will impact adjacencies within a Trusted Topology.  The decision process is:  <list style="numbers">
      <t>Verify that (4.2) includes the nonce from (3).</t>
      <t>Use a local certificate to validate the signature (4.1).</t>
      <t>Use the Attestation Results provided public key info of (2.4) to validate the signatures of (4.2).</t>
      <t>Failure of (5.1) through (5.3) means the link does not meet minimum validation criteria, therefore appraise the link as having a null Trustworthiness Vector.  Jump to step (6).</t>
      <t>If all PCR values from (2.2) equal those (4.2), then Relying Party can accept (2.1) as the link’s Trustworthiness Vector. Jump to step (6).</t>
      <t>If the PCR state information of (2.2) doesn’t equal (4.2), and not much time has passed between time(EG) and time(EG’), the Relying Party accepts any previous Trustworthiness Vector.  (Note: rather than accepting, it is also viable to attempt to acquire a new Stamped Passport.  Where <xref target="stream-subscription"/> is used, it should only be a few seconds before a new Attestation Results are delivered to an Attester via (2).)</t>
      <t>When the PCR state information is different, and there is a large or uncertain time gap between time(EG) and time(EG’), the link should be assigned a null Trustworthiness Vector.</t>
    </list></t>
  <t>Take action based on Verifier B’s appraised Trustworthiness Vector:  <list style="numbers">
      <t>Include the link within any Trusted Topology for which that Trustworthiness Vector is qualified.</t>
      <t>Remove the link from any Trusted Topology for which that Trustworthiness Vector is not qualified.</t>
    </list></t>
</list></t>

</section>
</section>
<section anchor="implementable-solution" title="Implementable Solution">

<t>This section defines one set of protocols which can be used for Trusted Path Routing. The protocols include <xref target="MACSEC"/> or <xref target="IEEE-802.1X"/>, ISIS <xref target="I-D.ietf-lsr-flex-algo"/>, YANG subscriptions <xref target="RFC8639"/>, and <xref target="RFC3748"/> methods. Other alternatives are also viable.</t>

<section anchor="prerequisites" title="Prerequisites">

<t><list style="symbols">
  <t>A Trusted Topology such as one established by ISIS exists in an IGP domain for the forwarding of Sensitive Subnet traffic.  This Topology will carry traffic across a set of devices which currently meet at a defined set of Trustworthiness Vectors.</t>
  <t>Customer designated Sensitive Subnets and their requested Trustworthiness Vectors have been identified and associated with external interfaces to/from the edge of a network. Traffic to a Sensitive Subnet can be passed into the Trusted Topology.</t>
  <t>Verifiers A and B are able to verify <xref target="TPM1.2"/> or <xref target="TPM2.0"/> signatures of an Attester.</t>
  <t>Verifier B trusts information signed by Verifier A.  Verifier B has also been pre-provisioned with certificates or public keys necessary to confirm that Stamped Passports came from Verifier A</t>
  <t>Within a network, a Relying Party is able to use affinity to include/exclude links as part of the Trusted Topology based on this appraisal.</t>
</list></t>

</section>
<section anchor="passport-instance" title="Protocol Bindings">

<t>The numbering in below matches to the steps in <xref target="fig-passport"/>.</t>

<t>Step (1)</t>

<t>There are two alternatives for Verifier A to acquires Evidence including a TPM Quote from the Attester:</t>

<t><list style="symbols">
  <t>Subscription to the &lt;attestation&gt; stream defined in <xref target="stream-subscription"/>.  Note: this method is recommended as it will minimize the interval between when a PCR change is made in a TPM, and when the PCR change appraisal is incorporated within a subsequent Stamped Passport.</t>
  <t>The RPCs &lt;tpm20-challenge-response-attestation&gt; or &lt;tpm12-challenge-response-attestation&gt; defined in device <xref target="RATS-YANG"/></t>
</list></t>

<t>Step (2)</t>

<t>The delivery of these Attestation Results back to the Attester MAY be done via an operational datastore write to the YANG module  &lt;ietf-attestation-results-vector&gt;.</t>

<t>Step (3)</t>

<t>At time(NS’) a Relying Party makes a Link Layer authentication request to an Attester via a either <xref target="MACSEC"/> or <xref target="IEEE-802.1X"/>.  This connection request must include <xref target="RFC3748"/> credentials.  Specifics of the EAP mapping to the Stamped Passport is tbd.</t>

<t>Step (4)</t>

<t>Upon receipt of (3), a Stamped Passport is generated as per <xref target="passport-section"/>, and sent to the Relying Party.  Note that with <xref target="MACSEC"/> or <xref target="IEEE-802.1X"/>, steps (3) &amp; (4) will repeat periodically independently of any subsequent iteration (1) and (2). This allows for periodic reauthentication of the link layer in a way not bound to the updating of Verifier A’s Attestation Results.</t>

<t>Step (5)</t>

<t>Upon receipt of (4), the Relying Party appraises the Stamped Passport as per <xref target="passport-section"/>.  Following are relevant mappings which replace generic steps from <xref target="passport-section"/> with specific objects available with a TPM1.2 or TPM2.0.</t>

<texttable>
      <ttcol align='left'>TPM2.0 - Bindings/details</ttcol>
      <c>(5.5): If the &lt;TPM2B_DIGEST&gt;, &lt;TPML_PCR_SELECTION&gt;, &lt;reset-counter&gt;, &lt;restart-counter&gt; and &lt;safe&gt; are equal between the Attestation Results and the TPM Quote at time(EG’) then Relying Party can accept (2.1) as the link’s Trustworthiness Vector. Jump to step (6).</c>
      <c>(5.6): If the &lt;reset-counter&gt;, &lt;restart-counter&gt; and &lt;safe&gt; are equal between the Attestation Results and the TPM Quote at time(EG’), and the &lt;clock&gt; object from time(EG’) has not incremented by an unacceptable number of seconds since the Attestation Result, then Relying Party can accept (2.1) as the link’s Trustworthiness Vector. Jump to step (6).</c>
      <c>(5.7): Assign the link a null Trustworthiness Vector.</c>
</texttable>

<texttable>
      <ttcol align='left'>TPM1.2 - Bindings/details</ttcol>
      <c>(5.5): If the &lt;pcr-index&gt;’s and &lt;tpm12-pcr-value&gt;’s are equal between the Attestation Results and the TPM Quote at time(EG’), then Relying Party can accept (2.1) as the link’s Trustworthiness Vector. Jump to step (6).</c>
      <c>(5.6): If the time hasn’t incremented an unacceptable number of seconds from the Attestation Results &lt;timestamp&gt; and the system clock of the Relying Party, then Relying Party can accept (2.1) as the link’s Trustworthiness Vector. Jump to step (6).</c>
      <c>(5.7): Assign the link a null Trustworthiness Vector.</c>
</texttable>

<t>Step (6)</t>

<t>After the Trustworthiness Vector has been validated or reset, based on the link’s Trustworthiness Vector, the Relying Party may adjust the link affinity of the corresponding ISIS <xref target="I-D.ietf-lsr-flex-algo"/> topology.  ISIS will then replicate the link state across the IGP domain.  Traffic will then avoid links which do not have a qualifying Trustworthiness Vector.</t>

</section>
</section>
<section anchor="YANG-Module" title="YANG Module">

<t>This YANG module imports modules from <xref target="RATS-YANG"/>, <xref target="crypto-types"/> and <xref target="RFC6021"/>.</t>

<figure><artwork type="YANG"><![CDATA[
<CODE BEGINS> ietf-attestation-results-vector@2020-09-17.yang
module ietf-attestation-results-vector {
  yang-version 1.1;
  namespace 
     "urn:ietf:params:xml:ns:yang:ietf-attestation-results-vector";
  prefix arv;
  
  import ietf-yang-types {
    prefix yang;
  }
  import ietf-tpm-remote-attestation { 
    prefix tpm; 
    reference  
      "draft-ietf-rats-yang-tpm-charra";  
  }
  import ietf-crypto-types {
    prefix ct;
    reference  
      "RFC XXXX: Common YANG Data Types for Cryptography
      (currently draft-ietf-netconf-crypto-types)";
  }
  import ietf-tcg-algs {
    prefix taa;
  }
   
  organization "IETF";
  contact
    "WG Web:   <http://tools.ietf.org/wg/rats/>
     WG List:  <mailto:rats@ietf.org>

     Editor:   Eric Voit
               <mailto:evoit@cisco.com>";
               
  description
    "This module contains conceptual YANG specifications for  
    subscribing to attestation streams being generated from TPM chips.
    
    Copyright (c) 2020 IETF Trust and the persons identified as authors 
    of the code.  All rights reserved.

    Redistribution and use in source and binary forms, with or without 
    modification, is permitted pursuant to, and subject to the license 
    terms contained in, the Simplified BSD License set forth in Section 
    4.c of the IETF Trust's Legal Provisions Relating to IETF Documents
    (https://trustee.ietf.org/license-info).

    This version of this YANG module is part of RFC XXXX; see the RFC 
    itself for full legal notices.";
  
  revision 2020-09-17 {
    description
      "Initial version.";    
    reference 
      "draft-voit-rats-trustworthy-path-routing";
  }


  /*
   * IDENTITIES
   */ 

  identity trustworthiness-level {
    description
      "Base identity for a Verifier that uses its Appraisal Policy for 
      Evidence to establish a trustworthiness level.";
  }

  identity trustworthiness-pass {
    description
      "A trustworthiness-level which successfully meets an Appraisal 
      Policy for Evidence.";
  }
  
  identity trustworthiness-fail {
    description
      "A trustworthiness-level which hit Appraisal Policy for Evidence
      necessary to fail an evaluation.  Note: this failure might or 
      might not consider whether sufficient Evidence has been provided.  
      In other words having insufficient evidence might not drive the 
      setting of this failing trustworthiness-level.";
  }

  identity boot-verified {
    base trustworthiness-pass;
    description
      "A Verifier has appraised an Attester as Boot Integrity 
      Verified.";
  }
  
  identity boot-verification-fail {
    base trustworthiness-fail;
    description
      "A Verifier has appraised an Attester has failed its Boot 
      Integrity verification.";
  }

  identity hw-authentic {
    base trustworthiness-pass;
    description
      "A Verifier has appraised an Attester as having authentic 
      hardware.";
  }
  
  identity fw-authentic {
    base trustworthiness-pass;
    description
      "A Verifier has appraised an Attester as having authentic 
      firmware.";
  }
  
  identity hw-verification-fail {
    base trustworthiness-fail;
    description
      "A Verifier has appraised an Attester has failed its hardware or  
      firmware verification.";
  }
  identity identity-verified {
    base trustworthiness-pass;
    description
      "A Verifier has appraised and verified an Attester's unique 
      identity.";
  }
  
  identity identity-fail {
    base trustworthiness-fail;
    description
      "A Verifier has been unable to assess or verify an Attester's 
      unique identity";
  }
  
  identity files-verified {
    base trustworthiness-pass;
    description
      "A Verifier has appraised an Attester's file system, and asserts 
      that it recognizes relevant files.";
  }
  
  identity file-repudiated {
    base trustworthiness-fail;
    description
      "A Verifier has found a file on an Attester which should not be 
      present.";
  }



  grouping TPM20-unsigned-internals {
    description
      "The unsigned extract of a TPM2 Quote.";
    leaf TPM2B_DIGEST {
      mandatory true;
      type binary;
      description
        "A hash of the latest PCR values (and the hash algorithm used) 
        which have been returned from a Verifier for the selected PCRs 
        identified within TPML_PCR_SELECTION.";
      reference
        "https://www.trustedcomputinggroup.org/wp-content/uploads/
        TPM-Rev-2.0-Part-2-Structures-01.38.pdf  Section 10.12.1";        
    }     
    list tpm20-pcr-bank {
        min-elements 1;
        key "TPM-hash-algo";
        description
          "Specifies the list of PCRs and Hash Algorithms used for the   
          latest returned TPM2B_DIGEST. Identifying 
          this object simplifies Stamped Passport troubleshooting if the
          same PCRs and Hash algorithms are not used when attempting to
          correlate independent TPM2B_DIGESTs.";
      reference
        "https://www.trustedcomputinggroup.org/wp-content/uploads/
         TPM-Rev-2.0-Part-2-Structures-01.38.pdf  Section 10.9.7";
      leaf TPM-hash-algo {
        type identityref {
          base taa:hash;
        }
        description
          "The hash scheme actively being used to hash a PCRs.";
      }    
      leaf-list pcr-index {
        type tpm:pcr;
        min-elements 1;
        description
          "Defines what TPM2 Banks are available.  A bank is a set 
          of PCRs which are extended using a particular hash 
          algorithm.";
      }
    } 
    leaf clock {
      mandatory true;
      type uint64;
      description
        "Clock is a monotonically increasing counter that advances 
         whenever power is applied to a TPM2. The value of Clock is 
         incremented each millisecond.";      
      reference
        "https://www.trustedcomputinggroup.org/wp-content/uploads/
         TPM-Rev-2.0-Part-2-Structures-01.38.pdf  Section 10.11.2";
    }          
    leaf reset-counter {
      mandatory true;
      type uint32;
      description
        "This counter increments on each TPM Reset.  The most common 
        TPM Reset would be due to a hardware power cycle.";
      reference
        "https://www.trustedcomputinggroup.org/wp-content/uploads/
         TPM-Rev-2.0-Part-2-Structures-01.38.pdf  Section 10.11.3";
    }
    leaf restart-counter {
      mandatory true;
      type uint32;
      description
        "This counter shall increment by one for each TPM Restart or 
        TPM Resume. The restartCount shall be reset to zero on a TPM 
        Reset.";
      reference
        "https://www.trustedcomputinggroup.org/wp-content/uploads/
         TPM-Rev-2.0-Part-2-Structures-01.38.pdf  Section 10.11.4";
    }
    leaf safe {
      mandatory true;
      type boolean;
      description
        "This parameter is set to YES when the value reported in Clock 
        is guaranteed to be unique for the current Owner. It is set to 
        NO when the value of Clock may have been reported in a previous 
        attestation or access.";
      reference
        "https://www.trustedcomputinggroup.org/wp-content/uploads/
        TPM-Rev-2.0-Part-2-Structures-01.38.pdf  Section 10.11.5";    
    }
  }

  grouping TPM12-unsigned-internals-extended {
    description
      "The unsigned extract of a TPM12 Quote, with extra content from 
       the Verifier specific to a TPM12.";
    uses tpm:tpm12-pcr-selection;
    leaf-list tpm12-pcr-value {
      type binary;
      description
        "The list of TPM_PCRVALUEs from each PCR selected in sequence
        of tpm12-pcr-selection.";
      reference
        "https://www.trustedcomputinggroup.org/wp-content/uploads/
         TPM-Main-Part-2-TPM-Structures_v1.2_rev116_01032011.pdf
         Section 10.9.7";
    }          
    leaf timestamp {
      type yang:date-and-time;
      mandatory true;
      description
        "The timestamp of the Verifier's appraisal.  This can be used by  
        a Relying Party to determine the freshness of the attestation 
        results.";
    }
  }
  
  /*
   * DATA NODES
   */  

  container attestation-results {
    presence 
      "Indicates that Verifier has appraised the security posture of the
      Attester, and returned the results within this container.  If the 
      Attester believes this information is no longer fresh, this 
      container should automatically be deleted.";
    description
      "Retains the most recent Attestation Results for this Attester.
      It must only be written by a Verfier which is to be trusted by a 
      Relying Party.";  
    leaf-list trustworthiness-vector {
      type identityref {
        base trustworthiness-level;
      }
      ordered-by system;
      description
        "One or more Trustworthiness Levels assigned which expose the 
        Verifier's evaluation of the Evidence associated with the 
        'tpmt-signature'.";
    }
    choice tpm-specification-version {
      description
        "Identifies the cryptoprocessor API set which drove the 
         Attestation Results.";
      case TPM2.0 {
        if-feature "taa:TPM20";
        description
          "The Attestation Results are from a TPM2.";
        uses TPM20-unsigned-internals;
      }
      case TPM1.2 {
        if-feature "taa:TPM12";
        description
          "The most recent Attestation Results from a TPM1.2.";  
        uses TPM12-unsigned-internals-extended;
      }
    }    
    uses ct:public-key-grouping {
      description
        "In order to avoid having to provision AIK certificates on a 
         Relying Party network device, it is possible to send the AIK 
         public key as from the Verifier as part of the passport. This 
         is safe because the key is signed by the Verifier (hence 
         vouching for its validity.) The two objects within this group 
         allow the Verifier to include this information as part of the 
         Attestation Results.";
    }
    leaf public-key-algorithm-type {
      mandatory true;
      type identityref {
        base taa:asymmetric;
      }
      description
        "Indicates what kind of algorithm is used with the Attester's 
        Public Key Value.";  
    }  
    leaf verifier-signature-key-name {
      type string;
      description
        "Name of the key the Verifier used to sign the results.";
    }  
    leaf verifier-key-algorithm-type {
      mandatory true;
      type identityref {
        base taa:asymmetric;
      }
      description
        "Indicates what kind of algorithm was used for the 
        'verifier-signature'."; 
    } 
    leaf verifier-signature {
      type binary;
      mandatory true;
      description
        "Signature of the Verifier across all the other objects within 
        the attestation-results container.  The signature will assume  
        the sequence of objects as defined in the YANG model schema.";
    }    
  }
}
<CODE ENDS>
]]></artwork></figure>

</section>
<section anchor="security-considerations" title="Security Considerations">

<t>Verifiers are limited to the Evidence available for appraisal from a Router.   Although the state of the art is improving, some exploits may not be visible via Evidence.</t>

<t>Only security measurements which are placed into PCRs are capable of being exposed via TPM Quote at time(EG’).</t>

<t>Successful attacks on an Verifier have the potential of affecting traffic on the Trusted Topology.</t>

<t>For Trusted Path Routing, links which are part of the FlexAlgo are visible across the entire IGP domain.  Therefore a compromised device will know when it is being bypassed.</t>

<t>Access control for the objects in <xref target="fig-results-tree"/> should be tightly controlled so that it becomes difficult for the Stamped Passport to become a denial of service vector.</t>

</section>


  </middle>

  <back>

    <references title='Normative References'>





<reference  anchor="RFC8639" target='https://www.rfc-editor.org/info/rfc8639'>
<front>
<title>Subscription to YANG Notifications</title>
<author initials='E.' surname='Voit' fullname='E. Voit'><organization /></author>
<author initials='A.' surname='Clemm' fullname='A. Clemm'><organization /></author>
<author initials='A.' surname='Gonzalez Prieto' fullname='A. Gonzalez Prieto'><organization /></author>
<author initials='E.' surname='Nilsen-Nygaard' fullname='E. Nilsen-Nygaard'><organization /></author>
<author initials='A.' surname='Tripathy' fullname='A. Tripathy'><organization /></author>
<date year='2019' month='September' />
<abstract><t>This document defines a YANG data model and associated mechanisms enabling subscriber-specific subscriptions to a publisher's event streams.  Applying these elements allows a subscriber to request and receive a continuous, customized feed of publisher-generated information.</t></abstract>
</front>
<seriesInfo name='RFC' value='8639'/>
<seriesInfo name='DOI' value='10.17487/RFC8639'/>
</reference>



<reference  anchor="RFC6021" target='https://www.rfc-editor.org/info/rfc6021'>
<front>
<title>Common YANG Data Types</title>
<author initials='J.' surname='Schoenwaelder' fullname='J. Schoenwaelder' role='editor'><organization /></author>
<date year='2010' month='October' />
<abstract><t>This document introduces a collection of common data types to be used with the YANG data modeling language.  [STANDARDS-TRACK]</t></abstract>
</front>
<seriesInfo name='RFC' value='6021'/>
<seriesInfo name='DOI' value='10.17487/RFC6021'/>
</reference>


<reference anchor="crypto-types" target="https://datatracker.ietf.org/doc/draft-ietf-netconf-crypto-types/">
  <front>
    <title>Common YANG Data Types for Cryptography</title>
    <author >
      <organization></organization>
    </author>
    <date year="2020" month="May" day="20"/>
  </front>
</reference>
<reference anchor="RATS-Arch" target="https://tools.ietf.org/html/draft-ietf-rats-architecture-02">
  <front>
    <title>Remote Attestation Procedures Architecture</title>
    <author >
      <organization></organization>
    </author>
    <date year="2020" month="March" day="06"/>
  </front>
</reference>
<reference anchor="RATS-YANG" target="https://datatracker.ietf.org/doc/draft-ietf-rats-yang-tpm-charra/">
  <front>
    <title>A YANG Data Model for Challenge-Response-based Remote Attestation Procedures using TPMs</title>
    <author >
      <organization></organization>
    </author>
    <date year="2020" month="June" day="23"/>
  </front>
</reference>
<reference anchor="TPM1.2" target="https://trustedcomputinggroup.org/resource/tpm-main-specification/">
  <front>
    <title>TPM 1.2 Main Specification</title>
    <author initials="." surname="TCG" fullname="Trusted Computing Group">
      <organization></organization>
    </author>
    <date year="2003" month="October" day="02"/>
  </front>
</reference>
<reference anchor="TPM2.0" target="https://trustedcomputinggroup.org/resource/tpm-library-specification/">
  <front>
    <title>TPM 2.0 Library Specification</title>
    <author initials="." surname="TCG" fullname="Trusted Computing Group">
      <organization></organization>
    </author>
    <date year="2013" month="March" day="15"/>
  </front>
</reference>




<reference  anchor="RFC2119" target='https://www.rfc-editor.org/info/rfc2119'>
<front>
<title>Key words for use in RFCs to Indicate Requirement Levels</title>
<author initials='S.' surname='Bradner' fullname='S. Bradner'><organization /></author>
<date year='1997' month='March' />
<abstract><t>In many standards track documents several words are used to signify the requirements in the specification.  These words are often capitalized. This document defines these words as they should be interpreted in IETF documents.  This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t></abstract>
</front>
<seriesInfo name='BCP' value='14'/>
<seriesInfo name='RFC' value='2119'/>
<seriesInfo name='DOI' value='10.17487/RFC2119'/>
</reference>



<reference  anchor="RFC8174" target='https://www.rfc-editor.org/info/rfc8174'>
<front>
<title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
<author initials='B.' surname='Leiba' fullname='B. Leiba'><organization /></author>
<date year='2017' month='May' />
<abstract><t>RFC 2119 specifies common key words that may be used in protocol  specifications.  This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the  defined special meanings.</t></abstract>
</front>
<seriesInfo name='BCP' value='14'/>
<seriesInfo name='RFC' value='8174'/>
<seriesInfo name='DOI' value='10.17487/RFC8174'/>
</reference>




    </references>

    <references title='Informative References'>





<reference  anchor="RFC3748" target='https://www.rfc-editor.org/info/rfc3748'>
<front>
<title>Extensible Authentication Protocol (EAP)</title>
<author initials='B.' surname='Aboba' fullname='B. Aboba'><organization /></author>
<author initials='L.' surname='Blunk' fullname='L. Blunk'><organization /></author>
<author initials='J.' surname='Vollbrecht' fullname='J. Vollbrecht'><organization /></author>
<author initials='J.' surname='Carlson' fullname='J. Carlson'><organization /></author>
<author initials='H.' surname='Levkowetz' fullname='H. Levkowetz' role='editor'><organization /></author>
<date year='2004' month='June' />
<abstract><t>This document defines the Extensible Authentication Protocol (EAP), an authentication framework which supports multiple authentication methods.  EAP typically runs directly over data link layers such as Point-to-Point Protocol (PPP) or IEEE 802, without requiring IP.  EAP provides its own support for duplicate elimination and retransmission, but is reliant on lower layer ordering guarantees.  Fragmentation is not supported within EAP itself; however, individual EAP methods may support this.  This document obsoletes RFC 2284.  A summary of the changes between this document and RFC 2284 is available in Appendix A.  [STANDARDS-TRACK]</t></abstract>
</front>
<seriesInfo name='RFC' value='3748'/>
<seriesInfo name='DOI' value='10.17487/RFC3748'/>
</reference>


<reference anchor="RATS-Interactions" target="https://ietf-rats.github.io/draft-birkholz-rats-reference-interaction-model/draft-birkholz-rats-reference-interaction-model.html#section-7">
  <front>
    <title>Reference Interaction Models for Remote Attestation Procedures</title>
    <author >
      <organization></organization>
    </author>
    <date year="2020" month="June" day="24"/>
  </front>
</reference>
<reference anchor="stream-subscription" target="https://datatracker.ietf.org/doc/draft-birkholz-rats-network-device-subscription">
  <front>
    <title>Attestation Event Stream Subscription</title>
    <author >
      <organization></organization>
    </author>
    <date year="2020" month="June" day="03"/>
  </front>
</reference>




<reference anchor="I-D.ietf-lsr-flex-algo">
<front>
<title>IGP Flexible Algorithm</title>

<author initials='P' surname='Psenak' fullname='Peter Psenak'>
    <organization />
</author>

<author initials='S' surname='Hegde' fullname='Shraddha Hegde'>
    <organization />
</author>

<author initials='C' surname='Filsfils' fullname='Clarence Filsfils'>
    <organization />
</author>

<author initials='K' surname='Talaulikar' fullname='Ketan Talaulikar'>
    <organization />
</author>

<author initials='A' surname='Gulko' fullname='Arkadiy Gulko'>
    <organization />
</author>

<date month='September' day='10' year='2020' />

<abstract><t>IGP protocols traditionally compute best paths over the network based on the IGP metric assigned to the links.  Many network deployments use RSVP-TE based or Segment Routing based Traffic Engineering to steer traffic over a path that is computed using different metrics or constraints than the shortest IGP path.  This document proposes a solution that allows IGPs themselves to compute constraint-based paths over the network.  This document also specifies a way of using Segment Routing (SR) Prefix-SIDs and SRv6 locators to steer packets along the constraint-based paths.</t></abstract>

</front>

<seriesInfo name='Internet-Draft' value='draft-ietf-lsr-flex-algo-11' />
<format type='TXT'
        target='http://www.ietf.org/internet-drafts/draft-ietf-lsr-flex-algo-11.txt' />
</reference>


<reference anchor="RATS-Device" target="https://datatracker.ietf.org/doc/draft-ietf-rats-tpm-based-network-device-attest">
  <front>
    <title>Network Device Remote Integrity Verification</title>
    <author >
      <organization></organization>
    </author>
    <date year="n.d."/>
  </front>
</reference>
<reference anchor="MACSEC" target="https://1.ieee802.org/security/802-1ae/">
  <front>
    <title>802.1AE: MAC Security (MACsec)</title>
    <author initials="M." surname="Seaman" fullname="Mick Seaman">
      <organization></organization>
    </author>
    <date year="2006" month="January" day="01"/>
  </front>
</reference>
<reference anchor="IEEE-802.1X" target="https://standards.ieee.org/standard/802_1X-2010.html">
  <front>
    <title>802.1AE: MAC Security (MACsec)</title>
    <author initials="G." surname="Parsons" fullname="Glenn Parsons">
      <organization></organization>
    </author>
    <date year="2020" month="January" day="01"/>
  </front>
</reference>


    </references>


<section anchor="acknowledgements" title="Acknowledgements">

<t>Shwetha Bhandari, Henk Birkholz, Chennakesava Reddy Gaddam, Sujal Sheth, Peter Psenak, Adwaith Gautham, Annu Singh, Nancy Cam Winget, Ned Smith, and Guy Fedorkow.</t>

</section>
<section anchor="change-log" title="Change Log">

<t>[THIS SECTION TO BE REMOVED BY THE RFC EDITOR.]</t>

<t>v00-v01</t>

<t><list style="symbols">
  <t>Minor tweaks</t>
</list></t>

<t>v02-v00 of draft-voit-rats-trustworthy-path-routing-00</t>

<t><list style="symbols">
  <t>file rename was due to an IETF tool submission glitch</t>
  <t>The Attester’s AIK is included within the Stamped Passport.  This eliminates the need to provision to AIK certificate on the Relying Party.</t>
  <t>Removed Centralized variant</t>
  <t>Added timing diagram, and moved content around to match</t>
</list></t>

<t>v01-v02 of draft-voit-rats-trusted-path-routing</t>

<t><list style="symbols">
  <t>Extracted the attestation stream, and placed into draft-birkholz-rats-network-device-subscription</t>
  <t>Introduced the Trustworthiness Vector</t>
</list></t>

<t>v00-v01 of draft-voit-rats-trusted-path-routing</t>

<t><list style="symbols">
  <t>Move all FlexAlgo terminology to <xref target="passport-instance"/>. This allows <xref target="passport-section"/> to be more generic.</t>
  <t>Edited Figure 1 so that (4) points to the egress router.</t>
  <t>Added text freshness mechanisms, and articulated configured subscription support.</t>
  <t>Minor YANG model clarifications.</t>
  <t>Added a few open questions which Frank thinks interesting to work.</t>
</list></t>

</section>
<section anchor="open-questions" title="Open Questions">

<t>(1) When there is no available Trusted Topology?</t>

<t>Do we need functional requirements on how to handle traffic to/from Sensitive Subnets when no Trusted Topology exists between IGP edges?  The network typically can make this unnecessary.    For example it is possible to construct a local IPSec tunnel to make untrusted devices appear as Transparently-Transited Devices.  This way Secure Subnets could be tunneled between FlexAlgo nodes where an end-to-end path doesn’t currently exist.  However there still is a corner case where all IGP egress points are not considered sufficiently trustworthy.</t>

<t>(2) Extension of the Stamped Passport?</t>

<t>We might move to ‘verifier-certificate’ and ‘verifier-certificate-name’ based on WG desire to include more information in the Stamped Passport.  The format used could be extracted from ietf-keystore.yang, grouping keystore-grouping.</t>

</section>


  </back>

<!-- ##markdown-source:
H4sIAIpYd18AA+19aVMjR7bodyL6P+TFERfwo6oRvdiWe9qjBtzm3V4YwO5x
XM9zFKUUKiNVaapK0LjBv+X9lvvL7tlyq0Vgt+03N+JplkalXE5mnj3PORVF
0YO1OqtneqhOy2VV67E6SuqpOi6WdZafP1hLzs5KfTlUNf4aLeC3B2vjIs2T
OXQZl8mkji6LrI7KpK4ianRVlPX0mppGJQ8T7QwerFV1ko9/TGZFrmk4/WAt
W5Qy8u7Ozhc7uzBdqZOhOtHpsszq6wdrV+dDdTw6PVHvivICRlIvYcjFg7WL
q6E6zGtd5rqO9hGMB2tpUg9VVY8frC2y4YM1peoiHaprXcnfY72op0O1i18r
ALLUk8r+Xl3Pve8AyLKeFiUME6ksh8cHsfoO1olNee0HZZbaR0UJcO5lVVqo
k2vYxXm1DeClMf5mdpB+xgd6nmSzodK4b39N8WmcFnOcNC/KeVJnl5rAP/56
7/Onj77AljqvowoATuZRtTyr0jJb1FmRS6unO7sDGL+Yz4tcfT9681LtJ3Wi
Tq8XvDb8X1peL+oiqvHZkB/BpiTluYZNm9b1oho+fDiGbnWZpBe6jDNdT2JY
10M47Yd80Pgogg1Pi3wS+QM+lOEYkda7IVGTolR71Ou8TBbT63XuBZNCp92d
3Z1o50m0u4MboejQo1GZTnuBrYtiVjkwp/V85sNJCJnAAFmt03pZ6mhnNwTz
WM+LWqtRXWvATdxPdVQWqR5D40qNvK4dkD6Kdp56kOJaP2pbCdzrBGilXsyj
dJqUZdLY1pG3o6+LsZ7xjk6T2Uzn5zo61tWiyCsdnSUV0PHq5S0rpKbTo9dV
x+KeRruPeHHQYBDvDntOgDkGIO+CyPwcaZMWBzMUyzLVD3ExgO55VC10mk2y
lABpLAwmUTCLeg0N1YnfUGCzxKjoE5k/FNPm6d5L94Sp0zCzPQObYRz+UuEQ
BzuCFgDDbrzzcQudZWdlUl7fuVaYSL3itn/mcgePEG0HT/Bk8T9ZPmnym0ef
Pf4cWNvoyENtYrNJivD1cw6Lw/F5Vk+XZ3FWCHafZeXFtJj9zBgOPFaXOk91
lLlhozli869tHyPFf1JpfvRZk7aln/LAZ6phRrSSOrpJ4rHhpR2c+LfSfrha
4K0gPS+isb7MYMlNVu+xAg/sA5QO6oRgUidel85V7DwyqziM9gmiaFaV0WSm
30fJ7LwYqq/hzxH8ZdoREuwTRD3kcW/+hkRCzKm50oTWE67xDTdRPLU5MDzO
c9QN1He69AkHO78e7Z0c7PVAOQDYtP58Z5fAq0TFeAgPokGiH6pwdmw3GB0M
cUyrj6hN+AY9t+5HqK9j6JnMk7xJrq+z9CL4yXIkOKABaUtwPgcHBxGB8fee
FZFGlZTjilbGy5JHuKwfB38HcTrYIUL5/Vf3MgZVsayAKzSX9xLkUR7+6CMh
LxA0qygC5ahCzKnx++kUSFaBBqh0Po6WlS4rdTUt1JmeZaACwVPSORDnQS5P
82JWnGcgymbZBeDFESxDkXZJQwCIywmgR4bEURdqURYozFU91Qr1l2wMP2TJ
DNddTPBxVqppdj6dXatK51WGbBF00wQHUZNZcVXFICWmugrAS/Ja+lITnAn6
XMJvWjFu4xqydKqm8BSWonM1AQ6D0ySLRZlkKKrhzNQlobMexzBJVqlAhsBQ
SNVnMFiXlo6AdTw2a668BTGUSYVAXyOo+INKlNCjOrtG7ngFGIQDmOXXxcNJ
Wcy9cYA1QRcYKS2LqrLdzZJLncL2hmuslGcexMhbGAXm2Xg80/jtE4XkXRbj
JbPr/yFIIViRwuKKeQMrWp0tmpxp3v4F7AdsTwHnr4oc2vbupcGQ1lbiPr0D
sUvryPJ0Bsod7AesALUN1gZZXV+giKvA+KmgHQDRmGtbATIA8uXFlVrAuWZn
M03S0rSD/pewSSWtgHdrcg1Na943ABJ1JEAVOnKzAoD3Ss9m+K/fVL9fzMAE
SnCSTZgEzRzzUI+31OVyloPoPsvgPOBIYae/JaW1Rvq4ABhnenyuCWZYeA47
CpPrykEOMJZ6nJV4xC0SAP0IqK6moxNABSn7aAlXDh3VXANfHOP2ogw+m2XV
lHRp6XZaLAwSMuXTqdKxjLXY0fYoGwcAELzW8zPY4Gm2gD4wW2PYazwfO6/w
DtSwa/gffL3MEngE2wgmBBgFCOVJncwXtJ6KsA3WwCg/y/ILNUuuAfPOAA7k
TQsNkMFiWnCNKmpOB8/aBzbbNyeMNOqT+lxragAzzXRSIYuZZ3k2XyITqREq
0j0RDcZ6QpCfWpSGr8BTXgE+zAAlDaQ8C520bKbMRPvF9JpVrf2CLfX5YZGC
1cjc4cOHyOg6t7cqhV2jwZe4BGYOi+Qc5BZ8ka1HlQtBANw5n8KgjnHCLIdH
sMOgA9W0R3gsxDMN20Ienp3nCcJ2YpHxxPBRszThvtCICLRzSbirOgHMslwb
cRmsiVg4ZkN6YBuw+HIgXNrNSTEDGqDjqarlfMGqPfb9VI3M+TTZULVcIPIw
AWriLCWrZImnjMKmTTIgPTiYWZIBkcAmARp/+OBpkbDZuFxguDlQJqzrKsMz
96TQuECMjhmesnF6cFIL4hkApEF8/H2+nNXZghmWFWCOFmW6Ski+heA42VuQ
E8CI5gWAx+olYhb0BACWxbLyBBofQHuftunkeQ5vCECuUtfLknAssDrAagfA
K2DToBPSiZsdbdNhzIbbJ+pUl0BOhAz0gJ9UfPjueGt8yJJvLnKGcFKOA10c
t7dDWDoDpMttsCaQrafAVg272AYQZ9c4HGh09TUv0CyNhc8bfeURMs+KYoOw
FwyB5RyYPiGYTDQ2Wj36H4dw8rw+YJgk7e3wG0DfBXAPloFm85MZbryBFDSr
SjYXOUKLj3wHp16UKKcRgCYztBCcAX0wUtmBmX0Ls6kcL0M6hiG6TpG218Ev
2HAFwhKobwG8AJeBtPPPJZCOaZ8rcwB0wk32YGDMkcck43GJyyqJvfOGweOF
Yz2w8TRsPQWIuRnynjLUceDAzpcJ/FxrgONMXxeEt0VFe5CDSS3yHcWUqHvI
5ZDG0ZxGFLHKjJkyabE2IEvYMRKBpAGzWgQAT3VCigRuEOx2soANJOa4SK5n
RTJG3RJ1FZTkDy8zlug0DuioDTQKuFPhEXE3LlSxyHlUv4A6ULuKTlkXbqNm
SIKWWeUNbmVwN7+2Z1GU2XmW01YvAN0cT4dzaXRmhjgH9lUDsSmQPP9c4nIb
jRkEePKKpPYj2r3kDJTHOFBdrKQwi7AirIHTtKGt3cRRV+9OFdvpmiLbzmmE
EOA6YFlCErrRgaFB7niGMkMICw448TiMp5W1jtJNxlKrW4lwQ4+XpN5Ae/iH
5FQFzZA9qfQ6hQdmbpxanKSWH+C27IFYmyO/YWQlSd/cQDYUQV8nCLPK6SuC
PB2cg88PGPmx/ucSaBVBqtSbglsZuX4BRhusDohj/fW3J6fr2/yvevOW/j4+
+Nu3h8cH+/j3yTejV6/sH2vS4uSbt9++2nd/uZ57b1+/Pnizz53hqQoera2/
Hn2/zuxs/e3R6eHbN6NX6yjaAx7PegwZN+SvWwBfJjVtzViwSAPqxd7Rf/3f
wWOQQ/92/PXe7mDwBegE/OXzwWeP4QsQU86zEYbyV7RZ10AG6KQk3XhGugBY
EKgmghCopsVVrpAMY5GTR0ZnOPTY7z7KqYyUHiM8uzT+E13iYZLUylGNU6TG
Wa7om9XAz4xFzGyAOSMeNwqtmWhixu3O6oHXKdcauSCo7ClywDK7TFKfP8c9
Bj6hr2XDD4Xt4+BtFZMszA57IhFTCVV26exPTKjcNkLqSs8mKFCqrKpF+5ZD
F01LTNCmHsn7Q9qTbwzWlsEIk0OpLlwzMfK/yT6sPsDUs59NyOtb+5INzTRQ
wesiwiPsHQFUyWtE24KGIMI2kJPTwTp/vKER2U2jYgGmKpK74XrboFGA9AP7
v7bGX8GqNhw7rD4xKjficXP5PHi6LJn/goZf1LS77Ps09uPq7iKSLR8WHglm
9rgQyYvNymVOCjSa1Lmqikl9Jfq5Ua3JBEuQZ8GR1OkUrxU/BR3B3wwxkMei
on6ijP/W4swIDnN+NiON9VR4hPDFTkvXKaNdogN9ZNMEj8rYrg0piaZspTZl
r8mMgAdb6EZYFDmhVHZJwgD3gfHAuhccz0csLGnfPHMZXaOIukzWbKN2TA9/
p+Q0yMQ4pSGATS1nY5J4YzFiQYagTnWJj35KANfTa1Gg27Qn/h40FnWOhqhY
x87BCEtGzWmyRMKiOba7CP8qQwZazDWrJfo9ULJZc9PoIiZTjNk6sSDaG6Qi
N57AYCeMGfdg7ZdffnFeYv7Ekf+Je36Lm91u6JLLuJhuGr8djEHbpb/4A71j
fw56fkyo4LUyvc0PN9I1eNJs3P3NdfWe2C+ExM+DhT/Lix/psbqhbuYrtHrG
z+04cXMh/ByfWHbfnHojmGyDfuTx//IXNz51EYXdjGBaNT+2103Xuje8uVqf
G+8Pv2HzjNv95Bxu7my64Y9KWPdhqD6ZZOeRVYHpEuQv64FEbTGp9VtmZKfi
7DUONdbhOsSr9R+d6bYTBzT2FvkxdwYSRC+mlaAdtAO89BXyjZGRVfhwD+QA
sJ+ZcRlYlyCrYcYpqPNE+Ge3JxG7Nk1iwK5R6yE2Jt8ukZ1vJdM6zgrUdJwd
y0zVV+I7vJCoB9htNVxcuEvT6LH6i8eFG/48utR6j7Yf3wPiOiqGrCIuTLtA
/VHYk87F8pn+RFXeOHdwW6AfGvC+4d5eA/FQkJh87iSG51ltHS06w0FoenPA
OD9CNh6TCorKDymvnesSFu35n0odecJH2yG3WcAkM9IFJ2SQ62raATKr56i5
1UnjjgaMnw6InT7HoucAdbcWfhCo1ssN3XzHjcEDqyV0mUDb/kVBcwT0mfwN
fSYiF4GirM+kJdFpKwLhdG8pHvi6DNsxO8RgleLrQRS/l4BHzOoR4x8+EGvK
5jAnmD3uno9GQ8UeYfaXYi0I4GNzzU43NmZUYGMFPj7rlQyGYrvBuO0w9kbU
9s9wUhnAD/+4vW0Ic0+Gx01O3PwtlPdOst84pnHTHOPGYc6NCILgfG7sGG0Z
Ez4Y2T/h/x66YV94Y2zycW/1jaH8MZRrruwYnrRtib/mbxuN/dhwog1PdvO7
l1vNIfqWiE98wXjzjIfMC4ycCT409JuTrUbvsHvPvCsnp4EPXm5tDrZ4JiMg
/Nmf3w16/8w0w/HLBuhd624zlyja3G1tZ9j5l1Wrbv/4i2qd18bWV52duxb9
MTPf86g7PpuPtgQBNrY+8sgVBg7TkW9sbT6WM3dSoV4BxfObj5h788mWIMLG
9vFoY+suhbD/s/n0Izqrlj1z3w9D/3c4gJaGSmKgWz+ln1gpNSGDLOb5Hio3
0rrqYPHbIpdx8LEGo36Gjl91hUJ0iv603F4JZxi7rPIl3qnC3EDM5roTN55U
toaUWYgCEEkknsgIXBM7QO0PztXWcuNij69hMZ1eLrxfIO8K3jiQUtN182J0
ONJt5vNlTvpRw5kc3LJ5+gO7drqGpeuLM4ozKayn4iqxjvRK3Cak79I60Z8W
i49DriVYmpfOs7vtnDIz9lCjbmr1sKavw5n2IqwtyHggAkDV4/zGS5tadP2q
fSUiHnJeDt3jgwVUstfWKk29l5ahp57nwTtf6VOlcHL2at56iY1rwx4LX7ej
wMB/oT00wHvbFPF0CkoQ+R0IMLrQTlBtKcH8GseMOvZCm+/RjasruQRkJwdn
97KHfLdw0/0zMB/nK0YZf6OmV079Rs3FLQH9lX5El2cK0QESdLbrFMxD8rLR
qJPfadRJVs7dqADrpRcjGU1gL+47Ov6C7RHj68qBi3aFmcQfnGdk33h97eJb
Vk439kKa3NwbGKqQ4fWXGa4xePc6iDyWufFm88UOwktzXN9nBnSy3hP04Bxe
oHO2GZiKIzQG/fhzaMzUPgEMvqh+7RpgPyhoo6LUFbYVmNgqtrQyMsOK8zz7
mQLSgGdhiBtN5uaNSr0AIUNctzXxhMKtEp6oyINFMu8RqykviN8ugNEjq7ih
+xcFnBMY96woLlzwEkYV4dUn3fsIpDYIpJugQ3NdbmYQY5La3AguiiynmBWU
08hnQy6+3csLAwPYXjD2XFvKxQndV0/uur6US5jQxRPEO7Un4CCQqhHvY3mq
z32H1qaj8IiyHnrW9jEZ1ehBhr5iYuO3ovTuTnCrSgzdA/E25mH0Qu0MaVk9
AP5FvVnOZrbxYKgOCdoSg0ttkCbLe7m81cbl5LlqviI1bPNaV1sqUm8KNUpt
uPxmXuBD9bKADjTLU3ouU+4OjUtNq28Mg7PExSOAXd/FRnHYxbJCxQuGZj1n
W50XKpxIulsG3dXNNpzctyFSCBDgbImURicRxLViND7CAShGuDhUdXKh8baG
9ZMtu+ePvA1IDDEalminazH1lcAFXPrPWcZjbxnhPZmdK+DsK6HqZtd/zkKe
eAsh3kr8uGM5IZdfjVUhY/5zFvJ0aPzonaySJQyBYaNJAfPIt5iPPW4E9kJH
d5II3hUde5BxVDACrvr4DdoHxvlpo8UalgAK887YDPViWa9ktxQ0XfNdLEfs
tGeDYZyiir5azuerS81OTe7sQVec/YQRi9DvQIINWYWX5yxx8F4W43c5bjXx
9gWV85y82E4UW6slLQArKqJWvtFoOT+Nq4+gfLA2L8ZLzB2hbB4v5DMSd2jk
kOl/RVF5pTra/JvYzNygYeXIAJ8aO9lwklJPgm6bmEUUBLgiJWDE+9ZXzh0I
bYebnNS3pT7USTLELzu3XpMbMyL+8uLH/cOXByengal+luVJed3RA0DY3YkW
aRmdJfnFp+o/YYgI1Jwp5VD9I+jhT+PadK+w0QMnwPuH92ZTYN4hPOyAKJ0V
oCB1fJbAPp4+7uiBClYdpaCX8WVo0OPRbncPVA/afXp7VMlEdzpBgM3OtE2M
8s5rEO+68xrs+uelerfFfIKtUd5hDXbpsJC3adepebyuB+gzFbqymmBjgu4Q
c5miBGNKoFmAmosl6GdpdKFB/JELJuzdh9GuW/de+WC2JkJkAuEwnVMq9uqJ
RGKUEUeiY1I0DoFZW+i5rOqScv67enRPdf+JOlcUeL8MHyF+KD6wLj37FH5n
R9grMAckyYAu7IQtklGwzVcyOjSlEqL1bb6oxV8JI+zlK6q9R3vHEjJtglM2
s1jH2+qHZz6f+OG5efIjJhDgVxRqPzyzyPnD8y260TIuCfHuCfFUJkaXZ7Vz
EB3z4AGB2kc+BbpZkdBgQhMs+Sq70FeoRvRuAtDZtr/mxk4E6/BWRq3wibdB
aJ7w2nzPI+fi2EVaCSSRY5inwhNZYoNh+Qhj4w6ku1sBEhPEzSWWPURJDWMh
12mUWbcWWpOB28zfF7CAcR+QAu1JOBrjvW8Rt3fmfeTIR0IJfTg2y2oS23RR
23HjyGFKwWV0gmGClf7nMrgHja1XDyOhLJnJgp3x16OwsGrCAKHrDSzLazT6
i5QNeA5dbN2+SgYC0mzL8Uv6WvNe2ESudh0Oxc8VQryUJIXqrqygsS9WoSLL
GTNZJJQX3SJeHKAaueW0r44NNlp6IPduMquCcDQYxaTTYSwARu9zSQ93+0sB
oq2rdcYL/yL2TOMxGycywH7JvlVYyN7+/itWhDnKkeIbDkZH6K+dBP4Rl4Hg
MN9xu5LSsllVYyZMaiUw8yUVr2Ddknp2nI5wZGTbhcT4UZo25SfYn29MC3q8
Qjw1m4YCoNE0mLRDXfRvWLjtr1YZvb69Wl7nMtyU91L1wqXfQ9MLOwQajSh5
0qYNUa+qx59A4fO69ep7rpvV4cJu3Urf6m69mh9/Qv3P6/erVajOvt1z9pzw
r1amvL6/RqNa2a0TUjGDR8AkmoI8a8px5gfCDrwYjT5mgPL0o9mBGF5AFf/w
f7S/z5OfilIuxRFTPu9uleX3aFXqy9dmuNWtzHCtVtxknJ3jskiV+aqNF821
g+3wh/OmXouGP86u8efrM2tCHGp167Nt+NNr4fjQ/n8abdEoKQwSPGcdNUZF
MoqBNUp+eNakLVB+gaR5TlJeyPPtWSqce1w02IBJnfJD+FzKGsagmxDSkR/h
3g76tDHlfNeDXn7kMM1m2/5l+t0+JLrpCcAhiOfkN1xytguG0FUUvwaG27Lm
694CLBXKxzTFFsCcwFFdYqPEUaKZoN8nmDm3TWlCXXq9vb60931pqSUPsjJ7
aNypVFCA40LTaYH5kKiMp6le1H7woIuK5EhAiflV5zrXWBrOVKczK5DiAmHc
Z4Orb6zyLzII5n6ztdVsi2QY0VHlGzXfh9YFcLICmsC5pzo0xCjBxoRjdp10
+zRxp1yIpxxCd/JGLF5aHESqTnhqMd/blXqhE1dExLu354yGnrzw7a5SC3KI
+n2NsbrNsghUIcXUMnG5+e0obg6TyF2W19h4F1ZEaftafH/WfisPohEQGfuS
yp7SyAUX+iGDm7tbQcQgfP6PdA4eSvBjlxOdG1hvcU9X9Z17GEc2uC/qCPj0
Pn2xnioI93STdH76gj25mx99+awryowi4jYfbXVHe/IgsVvJakiC+RqD3BCP
oTaPt6ImHXlBb41Bg0H4aDfuBcmTLfXvGL0WDtLM9Oj/dESeBp44K7bEC9eK
9X6JPE4iqwH1bWICu+UOMSzMHwcLPrBPLkwaID0USe6cxxOydVnAnDhx9Fpq
ItneWRVKPEctLtDZ15TPMywt01cawF2KyMw4hCso0Hkl1BFDpl4lVEGBhFBC
0V6YMMd+sCw3S24w7cb1E1+aVR4IyJDQI+rlIWBBIbkRn0misJeQYZ1c3M8k
bXRKfVk6y00QyigxzjUpMeyg8igncEnhMWkpnMRJin2b29BYiAu+LiiO0EYi
UrC/xnu8rJpXfJOV5Sb5gI0Xg2xBzIsM3loWynoMEDEeGLsnHNlYgWio06k5
RBvuCB0WFce+h/hLJtUAvUueW6aC06go0oPOwrmZGjn26F2d66RamqxumNbj
7yhfJHZadITdOBAALvsA2K9ohDx3GNzBsZsuwtFLkejB4iGXzVMKlrbCV1gE
7qht7rLLXXBxrJoGYae+b5s3BQZB8Lnzo5izF8IcjdD5uKL7Y5mbjIJgYf+h
bWRmbSv5gH2UjU2yTGtIwiplHC1PYl/Ddaq/6CibuzGFxHJE7G78eIsQ+hGi
hj3HjS3UWVD8SGxml75G/EbqkAVMgJDgscT82KeGRVZCe4x6HalbxCnb2VuC
jP6J97ll6fC8cHl73m/0lSD7dstSaWM544DZkW1HFUUJINFSiPgKKw9AWMd2
vgdrcBTqraT1LEgtBPnapZaiOVGRIxh4ClXGsdzBxI72pCvNFwn6TCShlUp2
GZ2zo44UbpixVqxSmwV7+h0HGxLxbT7Gu0zLBjoWa3f2W3LzzwpM6EsxyHUi
2V0N5HX4CIMPaLeUpahvK/9SIzxTq+izIU23EUh8tKuIxv1TVbzzsJbYTAbY
+TXwboQDf3sSB2HiMehcgAl5ZZPTQE/WHCBBRQZMJTCZj26LwKKHrUvkVmdS
eAXF3DBezCswbTjA3lo//3s5X+CSkKOjqhRb6kbfOvT0rrwE3/GwQGZjOBtV
waElC7ttm0FiEDI/SNxSe024uA2T2c6nBFU/N+UzAvBwG9G2YzAFQOQHtLWY
6E5c1SudYLIqjYRh9cgRZZuYeGEVF7Ip9WVWLPuXpDbfFFjYE8h5SsXF7M7A
gKaaIF2vXGY2MhfQc76o2aqmiHgJ3OlgZu/oiu/Dh46Ku6BUZqwq0DwSPcoF
gnDECTIrDerDGGODGaFomr6bqLGegZpYNou6lHRVCewwNhkzn8XqnXE0dB8Y
xrqbWhRWIy1Zb1UzrOKKwVXLHEk9kVBTdZ4s7nVczRRDU9pmNUkYpgq4dore
F6mIzMUh4Q+n6G34ynX3aEMzmhK2d+jlfRJ8tkrSdUfis1W5XWJ0p8cDsZxr
ospMwCmxDPClN5EU0PqYaZB4/Km4dMwhupRQkhHenhSzpSvEQ6I7lcqsmJBR
UQaOOC+89F2/vBFpI5OeJBeWxq6n8bJ8+MC5zIDt0PPDB68oMGZ1Hp4cnoR1
DLfF4e9RSoWpnPwuAZMJCl0ORkcwKNeyrGL1VpR+dFpRSXAp6uho1zgSj0pN
mSxYb6RSpmpga/tN3Q3cGL9eJZhrBDWVmyDDCOuavTwyvhSTG+JV8cMals2y
Ys6rRsfRKGqRlOW1dR2K6maDrMO6vK7GCsmmpKZqdJwS2xOVbaqI4cr3pOrr
HeUdmQVkpTELe0nLT/bxnVAckh8oyOjrgsOacdWdSYJr8ooAkceKo8ttkUrf
CdbeU0HU0JPVUYAE1+1qG44IuBeMLsLjJefiwwe+aDLYy/F48C1ULvz6d8of
HK1OnDxM5nb+AWck+RbTC45y4Ut9rGla6oj0H9TbzOZ5WhZliTi9CFPJULPD
6vwcb4AZL8xE2lf+aTIXhc4Bg0t41/BdbrciGlAYyHYtUf2bUKYRzSnU/1C/
Zy4g5U/DfKwWxVlezpUAbExEK2Ajo9T/VN8KPUuNrBdZjuRWmbrLYhdzYI+J
ZODyP8ZoYYM5azt8YmWDgcHGCgs5Y0BFwGiQ5D171ykGvsvHZjAmqwI6pKSS
XwbfwPrDM+8a74fnUsXfT3/v0TMAt1jLoX2V6r+Uz4eJhuJuRvuDmQ9pt9nP
LKOINEHPtJJdvEOoN0iFXhwzGWtxox+9Zg595WsY0tIlXHBNOWNIeRVUvUih
DnUKtwYP9vhor8LIKwptSO0LRErzApFwo+B0qO1g9+623m5KHSQpI4BS6fbW
IcWuQQqjd127a7O7yqNazez16HtkWGOUMVL4mDNF6YKFAtaBO2NUFJoXpjsJ
SA5nVrCyOwKaf3geO6gfbXERU+WyqJtkzcZowiVbXnXUmbCewQ41MzFXiCvl
vhF6XqE1MyZFGjnlQaS8d9uFlVhs/rBwEmgEYC8WkmzbaS/jxcjZGMnapM+A
MU5E7mpviJH+CI2SzhE8Py/wMlpmO31423g46k6/iVAj82Ni5XfoSMyj8CLg
3wlmIlK+ekIYsmKMdXSoRLfvYSW5dO0TFFqofIKYFo1AolXAR+HVXTFjwhyN
g/cqwMglos0mpqw3rkjOa14u0DJm5cfxxo2e/ASHoU+2Os+k23ES1jVpe1H7
DynIZaAiciYpUBDJqFew0TPQTOy1KJ+GVCFuj8snapOjbZCbzeOVuEQJYEFt
mnQK8Zze8DcVWWH20LiZMU1x80n8ZGtojO2egN5XPwLL/fHk4NXBHpa5vH8s
bhCKy9WNyE63Rl1fGKSLahWxlviuxD/SAUHFN3Bbnvrb8v9use76xkZCm8Cm
0J1IKl5OuV4pOxwl9oFygN1NOaswSALGF+Buwtvg/bHeHrvZn21RfhSosZ5r
a6X1fmOQG5H+nsjtBXBvVHJcjZgh/uV3O7s/dPNaeGpcXegQ87HgbhRoaI3h
IsOAdLNkScXj0Evh4+2bvD/OUXjzWzGHE6hPZCTSXia19ipLtl0iNpve+IPH
yGeJKWz7RsYd6+j21GNByp9QSXHwG8PHlhsrWbkkbb/t4bC1rDFQGn8lgU67
j8ImLIsmzjkvwsS5GrygEDdEcllkYxN/QhJsXBCjIbM8EUfRtX3hR5enzRhc
qGhGr0nRvFXoUyLNkx9YR5KvjXKV/kq+WjHpKdDb8NV/8yJerZM/R14DaSwv
utE3qXvP9t7uH6gXBy8P35w8vyuB76/8kqYvosFnMQYDmsy/u/qpD2scPWiy
8dQgHny5xu+EqhaoA7ATb31Z5kMcbAjWbDKvhu/ns2FeDSny8I5J1nFAsOcn
2XvgW5f4Df7L28YA8isU6X2TH2g+aY3Psfltoz0G4PF7LPxp1Qfld4ZGX/ID
+z46JatR63e8xHH9S2ranNc/xBDStP6ybyo4ZPV3+PS97LP1ik3puOmcXHe8
yXNrvXOT0nMMu2wAWieJaYwQFuV5kmc/8/6tHx6cfk1jURnhtKaO6+9eqnf6
bAh/PsOXmLXf4nl1/hA38eFzhhzav8qqGjo8w5em1sUQf/2raf58jZsdjDP0
SuNf5q2sfiQTfkz/xltXn69/2WwJ3zlQjcx/hpsoVehA6iKT+YWsHSUn+1z9
nFQ+Cz45cSeciX3l4xk7HJDf4o/OPiLKRzmbTrNFFa8JYAoOfnFdUnDiZrpF
L1RTuNXMjKy4ArUd370WeBAreaFbxQNZbjvGiJER2kQ4bEWMvsTKOry5x3qc
YYjs2dKGYCypyJTiN1/SEw6GpTDXapt1dPS+ZzW9JYfGgd2zm7ONxuACb2qp
VOZiWVZLemdWIcbfknU+sYWAp+u8Ev7BbxeRQyBPAwuaE0BYduGrFyf7gDbc
B124E+TRfn1DucRMzSa4HdzAmhvncKJHxmFYoQhLTCEqarkvdYwqGmczfEuo
dsgscEfovNyS7SRMMhzS1PAIZIDz8hly/xJWwSINn9AwkkVHdT5R+s8IaJBT
9G6GdWGMeH1HEzmeLiTcxHDA8UOscwSDCHAxMi7V5Hoh07v7zc/CTnDtDz/F
zp+qw/2DN6eHp4cHJ/T9ocIfbWBuM4qeymP1A/0iqbyoXk5ucFWl0EWwrCQ2
wEapqaMCToZbN6MgsQ62uazA12Y0RDxBE5tFrQAbLdt+qEc9y5RCOH75bryU
oPrgDnwZxVuFDf2y3HsVbFR/6DfCNs3q7o00IMgwgQudJsSXknFtCSok67tU
JxJLwEHX7lSkOG9Ru6S/qylHp3llKYL3AInDn4MdYis5D3PJEeWXZ0gQQVDd
whaXcbOOy0yuGmUYYCbGJ2MB5/ckduxYF5qEFab4DFCj7sSfL/uP6DfVpZLu
pjxVN7L0lKtaASr+/nGgdhW5sgfXVeuqa2uDymx/9M62Kq/JACbRoHtvJ/8K
IJrybd0gdtaM+zMP36801wS5Ewc84Nvl5/6ATb6raJ0MYWDp3uawlt3vtL+/
rgKeDNIohNeNt2FRuT8Sc1eVopNx7qxI10N8jQp1v9Om/9q6djKMlLezjAxZ
Gb1VnhwLWKkmWuZ80c1vPs8xU6lXaOM9mmmPcQFYsFuK/mPaN6fui6kz08kk
TIb+YOQtvjsaDClSGbQxjCjLjhV886gNAW0MpjzbSw5+XYwXZrdpjBNqZrP4
KC5mS9lxmm9LtoH4jVfr2UARUIT5NZJUucOO45k+cjva9u3H1vqzGq5bj1Hr
r66uYlbtxxhLT2otHRUbrIsIbRGY6+FyQe+te2iHwDTwY30Z7cY7Efq/ot3o
xCTiVtHOIH70ebwYT5S1SwY78WA3HrDmjR8a6tb9SUUPw4x0e3qoL+WRzQgY
OMMWgz3Xg5x0z+rtOktYvVwSauOwrAifuDgKnOM3eIYjc4aVC27C1kp5Iwki
2GP0MS9Wh/IOYUR7rxNpV+L4r4xh1xHWXMM5YL7EFFQG0ugI+byBKgzPCKFO
HNSmAAVBzzfzHJzI1p43DjklZxznF7zI0a6l+oOR6Tdh0xfxZxYqQ/deZQKH
OkTkXhat95NhkkkyxJ4Oc27vwqFTQ+xVOgWslFccUYAmbrAJz2d+QKfk9vDW
4jxDHhEK2juNJuhSM+HLO2mhB9R9CeO7koyjXfUiMa8ctpePVF2EaC4z4WTe
GIY8XMkZm4zI72xIyLDP0uUsKXnRXm+Lld4WCPU7rs3XD/dg11wDYiW73qOx
aCHzAoigyO01eFrqpPJqFbHITcaXGDTksVgiGY1lSxbFldQkwJKq2rzyAi9j
+VWIKAJwh+ysbhD/7oaKmc+zGRw23dXEhhX+y1HWYBDvykndulN0RxVW27jn
kT3aXXlkEvTBQ9ptowwq2jj0Fx7jvJKrQO9PSdlT7AslbgS2sIQQj5esMDrl
m8+T3oj5r8jWYPMfmc0PtjyoVPIHbHqF8U9u6/HGGWOPbB1+2dyaHHhla9OX
WFH4lIsIYZs9HFYGpUKRlFNXqJ91WXDqPHa0o/DZ/muex+P2eVAJmPvollwL
5u5ToPsiLTmdslXfH5y4WDlmM6Dk87uuQedjfuOUwsq9stC8LUAsIKO8mHTG
t1e5K2kvk9lx3rxtTmp5G15x+tqrgyVx+RR2IP8uAJ2X5Pn7V1RLB/ETzyF8
uybuF99mGex22CyRFYK/zXgZiPWybWOey0TJ0tgkMOuq/eIGNoLICCLQq2VX
ySGM+oILhmATAkByFlJkVG0/XsJi831tolNPdwYg0Pr4bvTq2wO52iWeQSkk
xobBaxUKN/OOHC2qNqh/Bh94nYAWJSiC3x2a/HgJ8u9HQOfB4OmPO4OdR7s7
gCKANW6ATjW0U1a6kjTB/rZL0Xy5kpn0noAbX4xT7/Xyfuk4ZvVetgawd49U
G7EMgFkm3ZCdxJQHSdcEMo1P3HYYudCOPX4prgpzQbI/Oh0Bh9m3FyR0Q2Ju
vMquwrruYrYKrmkO87GEuJMK1+N/YSsaGB/6SRagNEhinzOlbO5vmBtfT93b
0MTIriUwlWHlWnaeB936Rs406ImX5kVnjeSpnKuW6NJVwXEqo9sI8awky7rA
vqy+nlFEMb522mxxB8s51nyFW0/Dt8x1psOSYMgql6Mgoxz6L7c/4yBjerOA
/wpxW1uAhY0QI7eRccLwVokXCLhQZ2WpkFi6bbdO9xbdToRGBt7ejzH3LQLA
2Pe2kqre5uSgnWNs9V2vXOcd0O8XRRVcpiifDN3VkA1Kdm/gbeeF2yE2gDPW
rkLTRhyoIem0wBD03oLRdqc6F3no3vRNigGFSUjaLyx+dHRIeoFECZXFZWN5
naG6lmuneDQSruoOLJtEE80Zvuu2aPXd3prTvoi90i+1sRt7I5EY7PM0NrHD
AIvhhyuBHezeD9g7ic4CDVM6mvABX61uNI1oJSNQ77QeegXFrA6zGhtyphHS
KChITG5YzLuLCKFGh//RSC3KHaGrBq03XnFq8mWBUKpMnPiVNuVMYGA3jJfF
nXQV2W2kCi1sCsjpNLS9K9bSz3SaLIU8KTW8CqqweCNvTn0BA5/LYplOqTRX
QcV9OWoQbz62yNTBbB9XsN7JCNp1bxxXENd/K5SrNtX/Rs97E51nm/TXk7uH
wbKK1wIZJNX1HMyUMkubZNSDWEZGk/PpIsvp/brOQS5pzo77tW9xlKmFgfUv
vkNV1dHMra9qraiFF8oTroq3Ugi8wU6y/4g0wdkZ556NVW3qPZ1Q/Y84D3z7
WODvdtKovb0okcw5rDqGVabFr1B3T+x4DVXXZsHKSyY4HKJBmHachvZq1Uxf
sTsN6lFwUesKXRwqHMfYMwiRzecIXjvrJ2XpGXuLk9i3GEhJvjWRrAdv9k+e
S4SrSdc+MfrrnoSKcBQe/uhSVbks0DyTCsyhmmFTTCbBu41M2Saq/oUFN0Yz
Kf/CCZBeVcaEs5yyOckDLIBQFXN0A4NxhZxxbhJ9MFuNWTwmfdnoHQT2LSqT
VhkPCqo4xzKl1EiGrq1XnyYLAh+AYf86q1xjmqM7ZJ8z22y4ER55kl5Uco/p
WQui2iyKmtPIiCAmE7TwKPyFo6glKryz8F3f2x23g1hrWpzH1k3UN/1g9swL
5kZoymZMtysgwsWvijlZOZKPSIiKZXnYg8Milzfs7JpTn7l2Ie0KYXxZzCyt
Gwy2Oa/+awsws9kWZqgxjggOU0bAAIeqsLfXZ5oLg2GdCLwScC9FbF9yFdKa
MtNz2X4M0sT1XLqo8yiKKE+SKWKU4ipnmAVO+ENnPb3SAIF6gdU1kzLbVt/o
/EK9yMqLaTH7eVvtwZ7kmMEI5IChn+Nr9TIZj5P5tjpZ/gQzn2AA1rY6Ijfc
EagnycW2Go2vEhROLzHaBNuO8nypTmBPoembJE+BLJO5egcPMIfgDebIAxVO
2Zx8ubxWX+sxKEJYqIuBB0Ao5fVVcY4PfvjP028OT9QJX9uq07fqxYE6Pnj9
9ruDffXie3X6zQHFRh7sH56+PY5/+Ad2utzZiS53BpwRTEWBQRnRyUXFP+7C
jztUD+CesYzRzg6PRXf9pSahSa+iFP95zuGhGNKMIayAdqQTns+yOp2a3FtP
eKNOl9laD2OnHrWRwHgnNLKv3BVPEjemU0DxhUqhDmrIsvlyn0+llsZY7QF6
lKC1/YzMArAiyWsq6sAvL+dXO4yz5LxMJCKDuxkvXFKaxEXKDufdHcDu7vbu
Lqjs/s5KFYkD9v2JY6EdJi3vjfKYHw9+JujLE4hSHTG9B7ncOMkhUuN4mcos
/e+jFfS57xoEzdAKRBlrORd7iDhDHyD2kh5tGv5tmETamRfJ7gMyuCWVko4Q
I99hJV9n5yiEB5bDYKIrvcnQpurr8xLXx++XiL3zBYvJc125MnwSfCM3ljUf
+IQmGgf1Rcz7Ebl2AxOaJ87TWeKitipvZq7RUyyAC1PyMgVbsxz4usRbVjyT
i4pz6HVlQrCpkgVzibfY92+mLz7DzFxTnIcL7uDrycK3wHqi6Svssw9jCilN
lnkqyePe23or+xbaVlliU2+jXfKDpAtM3irTIIVPTLIdyi6qLfsVq1TGJgQ9
UDxatmIyGUHL3MbWUvkvrwByh/1oyyfa8mKHR6AqqRqHmTHNXqD73TimTHEU
fC10UvJbhZO8AqFM+SMRfSOc2+eWhjNhFjMpYW4LUisKaTavHJWljrwYk6JN
tSFykOfjqC4iTfV066kteOXyV2j3YM5viiu6eeZzBgSYzfgyOy3KnMpMV9qM
Cz/RLjMFCFmY2A8TWkxIbaKBZ37UNCswWBDvAJ0LleekarJpwqd3JoaYKxUV
nlngseUNIq/On8gc23Cpdu9eUnWZUvsWMbGCwG+6QnJoqUDOdos9F20ZLiEx
5fpgBRSsmUDJX9vugsc8t+4S2JX/Bl2Iy80/qgAA

-->

</rfc>

