<?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.3.17 -->

<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
]>

<?rfc toc="yes"?>
<?rfc tocdepth="4"?>
<?rfc sortrefs="yes"?>
<?rfc symrefs="yes"?>
<?rfc compact="yes"?>
<?rfc subcompact="no"?>
<?rfc rfcedstyle="yes"?>

<rfc ipr="trust200902" docName="draft-ietf-rats-eat-08" category="std">

  <front>
    <title abbrev="EAT">The Entity Attestation Token (EAT)</title>

    <author initials="G." surname="Mandyam" fullname="Giridhar Mandyam">
      <organization>Qualcomm Technologies Inc.</organization>
      <address>
        <postal>
          <street>5775 Morehouse Drive</street>
          <city>San Diego</city>
          <region>California</region>
          <country>USA</country>
        </postal>
        <phone>+1 858 651 7200</phone>
        <email>mandyam@qti.qualcomm.com</email>
      </address>
    </author>
    <author initials="L." surname="Lundblade" fullname="Laurence Lundblade">
      <organization>Security Theory LLC</organization>
      <address>
        <email>lgl@island-resort.com</email>
      </address>
    </author>
    <author initials="M." surname="Ballesteros" fullname="Miguel Ballesteros">
      <organization>Qualcomm Technologies Inc.</organization>
      <address>
        <postal>
          <street>5775 Morehouse Drive</street>
          <city>San Diego</city>
          <region>California</region>
          <country>USA</country>
        </postal>
        <phone>+1 858 651 4299</phone>
        <email>mballest@qti.qualcomm.com</email>
      </address>
    </author>
    <author initials="J." surname="O'Donoghue" fullname="Jeremy O'Donoghue">
      <organization>Qualcomm Technologies Inc.</organization>
      <address>
        <postal>
          <street>279 Farnborough Road</street>
          <city>Farnborough</city>
          <code>GU14 7LS</code>
          <country>United Kingdom</country>
        </postal>
        <phone>+44 1252 363189</phone>
        <email>jodonogh@qti.qualcomm.com</email>
      </address>
    </author>

    <date year="2021" month="February" day="04"/>

    <area>Internet</area>
    <workgroup>RATS Working Group</workgroup>
    <keyword>signing attestation cbor</keyword>

    <abstract>


<t>An Entity Attestation Token (EAT) provides a signed (attested) set of
claims that describe state and characteristics of an entity, typically
a device like a phone or an IoT device.  These claims are used by a
relying party to determine how much it wishes to trust the entity.</t>

<t>An EAT is either a CWT or JWT with some attestation-oriented 
claims. To a large degree, all this document does is extend
CWT and JWT.</t>



    </abstract>


    <note title="Contributing">


<t>TBD</t>


    </note>


  </front>

  <middle>


<section anchor="introduction" title="Introduction">

<t>Remote device attestation is a fundamental service that allows a remote
device such as a mobile phone, an Internet-of-Things (IoT) device, or
other endpoint to prove itself to a relying party, a server or a
service.  This allows the relying party to know some characteristics
about the device and decide whether it trusts the device.</t>

<t>Remote attestation is a fundamental service that can underlie other
protocols and services that need to know about the trustworthiness of
the device before proceeding. One good example is biometric
authentication where the biometric matching is done on the device. The
relying party needs to know that the device is one that is known to do
biometric matching correctly.  Another example is content protection
where the relying party wants to know the device will protect the
data.  This generalizes on to corporate enterprises that might want to
know that a device is trustworthy before allowing corporate data to be
accessed by it.</t>

<t>The notion of attestation here is large and may include, but is not
limited to the following:</t>

<t><list style="symbols">
  <t>Proof of the make and model of the device hardware (HW)</t>
  <t>Proof of the make and model of the device processor, particularly
for security-oriented chips</t>
  <t>Measurement of the software (SW) running on the device</t>
  <t>Configuration and state of the device</t>
  <t>Environmental characteristics of the device such as its GPS location</t>
</list></t>

<t>TODO: mention use for Attestation Evidence and Results.</t>

<section anchor="cwt-jwt-and-uccs" title="CWT, JWT and UCCS">

<t>For flexibility and ease of imlpementation in a wide variety of environments, EATs can be either CBOR <xref target="RFC8949"/> or JSON <xref target="ECMAScript"/> format.
This specification simultaneously describes both formats.</t>

<t>An EAT is either a CWT as defined in <xref target="RFC8392"/>, a UCCS as defined in <xref target="UCCS.Draft"/>, or a JWT as defined in <xref target="RFC7519"/>.
This specification extends those specifications with additional claims for attestation.</t>

<t>The identification of a protocol element as an EAT, whether CBOR or JSON format, follows the general conventions used by CWT, JWT and UCCS.
Largely this depends on the protocol carrying the EAT.
In some cases it may be by content type (e.g., MIME type).
In other cases it may be through use of CBOR tags.
There is no fixed mechanism across all use cases.</t>

</section>
<section anchor="cddl" title="CDDL">

<t>This specification uses CDDL, <xref target="RFC8610"/>, as the primary formalism to
define each claim.  The implementor then interprets the CDDL to come
to either the CBOR <xref target="RFC8949"/> or JSON <xref target="ECMAScript"/>
representation. In the case of JSON, Appendix E of <xref target="RFC8610"/> is
followed. Additional rules are given in <xref target="jsoninterop"/> of this
document where Appendix E is insufficient.  (Note that this is not to
define a general means to translate between CBOR and JSON, but only to
define enough such that the claims defined in this document can be
rendered unambiguously in JSON).</t>

<t>The CWT specification was authored before CDDL was available and did not use it.
This specification includes a CDDL definition of most of what is described in <xref target="RFC8392"/>.</t>

</section>
<section anchor="entity-overview" title="Entity Overview">

<t>An “entity” can be any device or device subassembly (“submodule”) that
can generate its own attestation in the form of an EAT.  The
attestation should be cryptographically verifiable by the EAT
consumer. An EAT at the device-level can be composed of several
submodule EAT’s.  It is assumed that any entity that can create an EAT
does so by means of a dedicated root-of-trust (RoT).</t>

<t>Modern devices such as a mobile phone have many different execution
environments operating with different security levels. For example, it
is common for a mobile phone to have an “apps” environment that runs
an operating system (OS) that hosts a plethora of downloadable
apps. It may also have a TEE (Trusted Execution Environment) that is
distinct, isolated, and hosts security-oriented functionality like
biometric authentication. Additionally, it may have an eSE (embedded
Secure Element) - a high security chip with defenses against HW
attacks that can serve as a RoT.  This device attestation format
allows the attested data to be tagged at a security level from which
it originates.  In general, any discrete execution environment that
has an identifiable security level can be considered an entity.</t>

</section>
<section anchor="eat-operating-models" title="EAT Operating Models">

<t>TODO: Rewrite (or eliminate) this section in light of the RATS architecture draft.</t>

<t>At least the following three participants exist in all EAT operating
models. Some operating models have additional participants.</t>

<t><list style="hanging">
  <t hangText="The Entity.">
  This is the phone, the IoT device, the sensor, the sub-assembly or
such that the attestation provides information about.</t>
  <t hangText="The Manufacturer.">
  The company that made the entity.  This may be a chip vendor, a
circuit board module vendor or a vendor of finished consumer products.</t>
  <t hangText="The Relying Party.">
  The server, service or company that makes use of the information in
the EAT about the entity.</t>
</list></t>

<t>In all operating models, the manufacturer provisions some secret
attestation key material (AKM) into the entity during manufacturing.
This might be during the manufacturer of a chip at a fabrication
facility (fab) or during final assembly of a consumer product or any
time in between. This attestation key material is used for signing
EATs.</t>

<t>In all operating models, hardware and/or software on the entity create
an EAT of the format described in this document. The EAT is always
signed by the attestation key material provisioned by the
manufacturer.</t>

<t>In all operating models, the relying party must end up knowing that
the signature on the EAT is valid and consistent with data from claims
in the EAT.  This can happen in many different ways. Here are some
examples.</t>

<t><list style="symbols">
  <t>The EAT is transmitted to the relying party. The relying party gets
corresponding key material (e.g. a root certificate) from the
manufacturer. The relying party performs the verification.</t>
  <t>The EAT is transmitted to the relying party. The relying party
transmits the EAT to a verification service offered by the
manufacturer. The server returns the validated claims.</t>
  <t>The EAT is transmitted directly to a verification service, perhaps
operated by the manufacturer or perhaps by another party. It
verifies the EAT and makes the validated claims available to the
relying party. It may even modify the claims in some way and re-sign
the EAT (with a different signing key).</t>
</list></t>

<t>All these operating models are supported and there is no preference
of one over the other. It is important to support this variety of
operating models to generally facilitate deployment and to allow for
some special scenarios. One special scenario has a validation service
that is monetized, most likely by the manufacturer.  In another, a
privacy proxy service processes the EAT before it is transmitted to
the relying party. In yet another, symmetric key material is used for
signing. In this case the manufacturer should perform the
verification, because any release of the key material would enable a
participant other than the entity to create valid signed EATs.</t>

</section>
<section anchor="what-is-not-standardized" title="What is Not Standardized">

<t>The following is not standardized for EAT, just the same they are not
standardized for CWT or JWT.</t>

<section anchor="transmission-protocol" title="Transmission Protocol">

<t>EATs may be transmitted by any protocol the same as CWTs and JWTs. For
example, they might be added in extension fields of other protocols,
bundled into an HTTP header, or just transmitted as files. This
flexibility is intentional to allow broader adoption. This flexibility
is possible because EAT’s are self-secured with signing (and possibly
additionally with encryption and anti-replay). The transmission
protocol is not required to fulfill any additional security
requirements.</t>

<t>For certain devices, a direct connection may not exist between the
EAT-producing device and the Relying Party. In such cases, the EAT
should be protected against malicious access. The use of COSE and JOSE
allows for signing and encryption of the EAT. Therefore, even if the
EAT is conveyed through intermediaries between the device and Relying
Party, such intermediaries cannot easily modify the EAT payload or
alter the signature.</t>

</section>
<section anchor="signing-scheme" title="Signing Scheme">

<t>The term “signing scheme” is used to refer to the system that includes
end-end process of establishing signing attestation key material in
the entity, signing the EAT, and verifying it. This might involve key
IDs and X.509 certificate chains or something similar but
different. The term “signing algorithm” refers just to the algorithm
ID in the COSE signing structure. No particular signing algorithm or
signing scheme is required by this standard.</t>

<t>There are three main implementation issues driving this. First, secure
non-volatile storage space in the entity for the attestation key
material may be highly limited, perhaps to only a few hundred bits, on
some small IoT chips. Second, the factory cost of provisioning key
material in each chip or device may be high, with even millisecond
delays adding to the cost of a chip. Third, privacy-preserving signing
schemes like ECDAA (Elliptic Curve Direct Anonymous Attestation) are
complex and not suitable for all use cases.</t>

<t>Over time to faciliate interoperability, some signing schemes may be
defined in EAT profiles or other documents either in the IETF or outside.</t>

</section>
</section>
</section>
<section anchor="terminology" title="Terminology">

<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>

<t>This document reuses terminology from JWT <xref target="RFC7519"/>, COSE
<xref target="RFC8152"/>, and CWT <xref target="RFC8392"/>.</t>

<t><list style="hanging">
  <t hangText="Claim Name.">
  The human-readable name used to identify a claim.</t>
  <t hangText="Claim Key.">
  The CBOR map key or JSON name used to identify a claim.</t>
  <t hangText="Claim Value.">
  The value portion of the claim. A claim value can be any CBOR data item or JSON value.</t>
  <t hangText="CWT Claims Set.">
  The CBOR map or JSON object that contains the claims conveyed by the CWT or JWT.</t>
  <t hangText="Attestation Key Material (AKM).">
  The key material used to sign the EAT token. If it is done
symmetrically with HMAC, then this is a simple symmetric key.
If it is done with ECC, such as an IEEE DevID <xref target="IDevID"/>, then this
is the private part of the EC key pair. If ECDAA 
is used, (e.g., as used by Enhanced Privacy ID, i.e. EPID) then it is the key material 
needed for ECDAA.</t>
</list></t>

</section>
<section anchor="the-claims" title="The Claims">

<t>This section describes new claims defined for attestation. It also
mentions several claims defined by CWT and JWT that are particularly
important for EAT.</t>

<t>Note also:
* Any claim defined for CWT or JWT may be used in an EAT including 
  those in the CWT <xref target="IANA.CWT.Claims"/> and JWT IANA <xref target="IANA.JWT.Claims"/>
  claims registries.</t>

<t><list style="symbols">
  <t>All claims are optional</t>
  <t>No claims are mandatory</t>
  <t>All claims that are not understood by implementations MUST be ignored</t>
</list></t>

<t>There are no default values or meanings assigned to absent claims
other than they are not reported. The reason for a claim’s absence may
be the implementation not supporting the claim, an inability to
determine its value, or a preference to report in a different way such
as a proprietary claim.</t>

<t>CDDL along with text descriptions is used to define each claim
indepdent of encoding.  Each claim is defined as a CDDL group (the
group is a general aggregation and type definition feature of
CDDL). In the encoding section <xref target="encoding"/>, the CDDL groups turn into
CBOR map entries and JSON name/value pairs.</t>

<t>TODO: add paragraph here about use for Attestation Evidence and for Results.</t>

<section anchor="token-id-claim-cti-and-jti" title="Token ID Claim (cti and jti)">

<t>CWT defines the “cti” claim. JWT defines the “jti” claim. These are
equivalent to each other in EAT and carry a unique token identifier as
they do in JWT and CWT.  They may be used to defend against re use of
the token but are distinct from the nonce that is used by the relying
party to guarantee freshness and defend against replay.</t>

</section>
<section anchor="timestamp-claim-iat" title="Timestamp claim (iat)">

<t>The “iat” claim defined in CWT and JWT is used to indicate the
date-of-creation of the token, the time at which the claims are
collected and the token is composed and signed.</t>

<t>The data for some claims may be held or cached for some period of
time before the token is created. This period may be long, even 
days. Examples are measurements taken at boot or a geographic
position fix taken the last time a satellite signal was received.
There are individual timestamps associated with these claims to
indicate their age is older than the “iat” timestamp.</t>

<t>CWT allows the use floating-point for this claim. EAT disallows
the use of floating-point. No token may contain an iat claim in
float-point format. Any recipient of a token with a floating-point
format iat claim may consider it an error.  A 64-bit integer 
representation of epoch time can represent a range of +/- 500 billion
years, so the only point of a floating-point timestamp is to 
have precession greater than one second. This is not needed for EAT.</t>

</section>
<section anchor="nonce-claim-nonce" title="Nonce Claim (nonce)">

<t>All EATs should have a nonce to prevent replay attacks. The nonce is
generated by the relying party, the end consumer of the token. It is
conveyed to the entity over whatever transport is in use before the
token is generated and then included in the token as the nonce claim.</t>

<t>This documents the nonce claim for registration in the IANA CWT 
claims registry. This is equivalent to the JWT nonce claim that is
already registered.</t>

<t>The nonce must be at least 8 bytes (64 bits) as fewer are unlikely
to be secure. A maximum of 64 bytes is set to limit the memory
a constrained implementation uses. This size range is not set
for the already-registered JWT nonce, but it should follow
this size recommendation when used in an EAT.</t>

<t>Multiple nonces are allowed to accommodate multistage verification
and consumption.</t>

<section anchor="nonce-cddl" title="nonce CDDL">

<figure><artwork type="CDDL"><![CDATA[
nonce-type = bstr .size (8..64)

nonce-claim = (
    nonce => nonce-type / [ 2* nonce-type ]
)
]]></artwork></figure>

</section>
</section>
<section anchor="universal-entity-id-claim-ueid" title="Universal Entity ID Claim (ueid)">

<t>UEID’s identify individual manufactured entities / devices such as a
mobile phone, a water meter, a Bluetooth speaker or a networked
security camera. It may identify the entire device or a submodule or
subsystem. It does not identify types, models or classes of
devices. It is akin to a serial number, though it does not have to be
sequential.</t>

<t>UEID’s must be universally and globally unique across manufacturers
and countries. UEIDs must also be unique across protocols and systems,
as tokens are intended to be embedded in many different protocols and
systems. No two products anywhere, even in completely different
industries made by two different manufacturers in two different
countries should have the same UEID (if they are not global and
universal in this way, then relying parties receiving them will have
to track other characteristics of the device to keep devices distinct
between manufacturers).</t>

<t>There are privacy considerations for UEID’s. See <xref target="ueidprivacyconsiderations"/>.</t>

<t>The UEID should be permanent. It should never change for a given
device / entity. In addition, it should not be reprogrammable.  UEID’s
are variable length. All implementations MUST be able to receive
UEID’s that are 33 bytes long (1 type byte and 256 bits).  The
recommended maximum sent is also 33 bytes.</t>

<t>When the entity constructs the UEID, the first byte is a type and the
following bytes the ID for that type. Several types are allowed to
accommodate different industries and different manufacturing processes
and to give options to avoid paying fees for certain types of
manufacturer registrations.</t>

<t>Creation of new types requires a Standards Action <xref target="RFC8126"/>.</t>

<texttable title="UEID Composition Types" anchor="ueid-types-table">
      <ttcol align='left'>Type Byte</ttcol>
      <ttcol align='left'>Type Name</ttcol>
      <ttcol align='left'>Specification</ttcol>
      <c>0x01</c>
      <c>RAND</c>
      <c>This is a 128, 192 or 256 bit random number generated once and stored in the device. This may be constructed by concatenating enough identifiers to make up an equivalent number of random bits and then feeding the concatenation through a cryptographic hash function. It may also be a cryptographic quality random number generated once at the beginning of the life of the device and stored. It may not be smaller than 128 bits.</c>
      <c>0x02</c>
      <c>IEEE EUI</c>
      <c>This makes use of the IEEE company identification registry. An EUI is either an EUI-48, EUI-60 or EUI-64 and made up of an OUI, OUI-36 or a CID, different registered company identifiers, and some unique per-device identifier. EUIs are often the same as or similar to MAC addresses. This type includes MAC-48, an obsolete name for EUI-48. (Note that while devices with multiple network interfaces may have multiple MAC addresses, there is only one UEID for a device) <xref target="IEEE.802-2001"/>, <xref target="OUI.Guide"/></c>
      <c>0x03</c>
      <c>IMEI</c>
      <c>This is a 14-digit identifier consisting of an 8-digit Type Allocation Code and a 6-digit serial number allocated by the manufacturer, which SHALL be encoded as byte string of length 14 with each byte as the digit’s value (not the ASCII encoding of the digit; the digit 3 encodes as 0x03, not 0x33). The IMEI value encoded SHALL NOT include Luhn checksum or SVN information. <xref target="ThreeGPP.IMEI"/></c>
</texttable>

<t>UEID’s are not designed for direct use by humans (e.g., printing on
the case of a device), so no textual representation is defined.</t>

<t>The consumer (the relying party) of a UEID MUST treat a UEID as a
completely opaque string of bytes and not make any use of its internal
structure. For example, they should not use the OUI part of a type
0x02 UEID to identify the manufacturer of the device. Instead they
should use the oemid claim that is defined elsewhere. The reasons for
this are:</t>

<t><list style="symbols">
  <t>UEIDs types may vary freely from one manufacturer to the next.</t>
  <t>New types of UEIDs may be created. For example, a type 0x07 UEID may
be created based on some other manufacturer registration scheme.</t>
  <t>Device manufacturers are allowed to change from one type of UEID to
another anytime they want. For example, they may find they can
optimize their manufacturing by switching from type 0x01 to type
0x02 or vice versa.  The main requirement on the manufacturer is
that UEIDs be universally unique.</t>
</list></t>

<section anchor="ueid-cddl" title="ueid CDDL">

<figure><artwork type="CDDL"><![CDATA[
ueid-type = bstr .size (7..33)

ueid-claim = (
     ueid => ueid-type
)
]]></artwork></figure>

</section>
</section>
<section anchor="origination-claim-origination" title="Origination Claim (origination)">

<t>TODO: this claim is likely to be dropped in favor of Endorsement identifier and locators.</t>

<t>This claim describes the parts of the device or entity that are
creating the EAT. Often it will be tied back to the device or chip
manufacturer. The following table gives some examples:</t>

<texttable>
      <ttcol align='left'>Name</ttcol>
      <ttcol align='left'>Description</ttcol>
      <c>Acme-TEE</c>
      <c>The EATs are generated in the TEE authored and configured by “Acme”</c>
      <c>Acme-TPM</c>
      <c>The EATs are generated in a TPM manufactured by “Acme”</c>
      <c>Acme-Linux-Kernel</c>
      <c>The EATs are generated in a Linux kernel configured and shipped by “Acme”</c>
      <c>Acme-TA</c>
      <c>The EATs are generated in a Trusted Application (TA) authored by “Acme”</c>
</texttable>

<t>TODO: consider a more structure approach where the name and the URI
and other are in separate fields.</t>

<t>TODO: This needs refinement. It is somewhat parallel to issuer claim
in CWT in that it describes the authority that created the token.</t>

<section anchor="origination-cddl" title="origination CDDL">

<figure><artwork type="CDDL"><![CDATA[
origination-claim = (
    origination => string-or-uri
)
]]></artwork></figure>

</section>
</section>
<section anchor="oemid" title="OEM Identification by IEEE (oemid)">

<t>The IEEE operates a global registry for MAC addresses and company IDs.
This claim uses that database to identify OEMs. The contents of the
claim may be either an IEEE MA-L, MA-M, MA-S or an IEEE CID
<xref target="IEEE.RA"/>.  An MA-L, formerly known as an OUI, is a 24-bit value
used as the first half of a MAC address. MA-M similarly is a 28-bit
value uses as the first part of a MAC address, and MA-S, formerly
known as OUI-36, a 36-bit value.  Many companies already have purchased
one of these. A CID is also a 24-bit value from the same space as an
MA-L, but not for use as a MAC address.  IEEE has published Guidelines
for Use of EUI, OUI, and CID <xref target="OUI.Guide"/> and provides a lookup
services <xref target="OUI.Lookup"/></t>

<t>Companies that have more than one of these IDs or MAC address blocks
should pick one and prefer that for all their devices.</t>

<t>Commonly, these are expressed in Hexadecimal Representation
<xref target="IEEE.802-2001"/> also called the Canonical format. When this claim is
encoded the order of bytes in the bstr are the same as the order in the
Hexadecimal Representation. For example, an MA-L like “AC-DE-48” would
be encoded in 3 bytes with values 0xAC, 0xDE, 0x48. For JSON encoded
tokens, this is further base64url encoded.</t>

<section anchor="oemid-cddl" title="oemid CDDL">

<figure><artwork type="CDDL"><![CDATA[
oemid-claim = (
    oemid => bstr
)
]]></artwork></figure>

</section>
</section>
<section anchor="hardware-version-claims-hardware-version-claims" title="Hardware Version Claims (hardware-version-claims)">

<t>The hardware version can be claimed at three different levels, the chip, the circuit board and the final device assembly.
An EAT can include any combination these claims.</t>

<t>The hardware version is a simple text string the format of which is set by each manufacturer.
The structure and sorting order of this text string can be specified using the version-scheme item from CoSWID <xref target="CoSWID"/>.</t>

<t>The hardware version can also be given by a 13-digit European Article Number <xref target="EAN-13"/>.
An EAN-13 is also known as an International Article Number or most commonly as a bar code.
This claim is the ASCII text representation of actual digits often printed with a bar code.
Use of this claim must comply with the EAN allocation and assignment rules.
For example, this requires the manufacturer to obtain a manufacture code from GS1.</t>

<t>Both the simple version string and EAN-13 versions may be included for the same hardware.</t>

<figure><artwork type="CDDL"><![CDATA[
chip-version-claim = (
    chip-version => tstr
)

chip-version-scheme-claim = (
    chip-version-scheme => $version-scheme
)

board-version-claim = (
    board-version => tstr
)

board-version-scheme-claim = (
    board-version-scheme => $version-scheme
)

device-version-claim = (
    device-version => tstr
)

device-version-scheme-claim = (
    device-version-scheme => $version-scheme
)


ean-type = text .regexp "[0-9]{13}"

ean-chip-version-claim = (
    ean-chip-version => ean-type
)

ean-board-version-claim = (
    ean-board-version => ean-type
)

ean-device-version-claim = (
    ean-device-version => ean-type
)

hardware-version-claims = (
    ? chip-version-claim,
    ? board-version-claim,
    ? device-version-claim,
    ? chip-version-scheme-claim,
    ? board-version-scheme-claim,
    ? device-version-scheme-claim,
    ? ean-chip-version-claim,
    ? ean-board-version-claim,
    ? ean-device-version-claim,
)

]]></artwork></figure>

</section>
<section anchor="software-description-and-version" title="Software Description and Version">

<t>TODO: Add claims that reference CoSWID.</t>

</section>
<section anchor="the-security-level-claim-security-level" title="The Security Level Claim (security-level)">

<t>This claim characterizes the device/entity 
ability to defend against attacks aimed at capturing the signing
key, forging claims and at forging EATs. This is done by
defining four security levels as described below. This is similar
to the key protection types defined by the Fast Identity Online (FIDO) Alliance <xref target="FIDO.Registry"/>.</t>

<t>These claims describe security environment and countermeasures
available on the end-entity / client device where the attestation key
reside and the claims originate.</t>

<t><list style="hanging">
  <t hangText="1 – Unrestricted">
  There is some expectation that implementor will
protect the attestation signing keys at this level. Otherwise
the EAT provides no meaningful security assurances.</t>
  <t hangText="2– Restricted">
  Entities at this level should not be general-purpose
operating environments that host features such as app download
systems, web browsers and complex productivity applications.
It is akin to the Secure Restricted level (see below) without the
security orientation. Examples include a Wi-Fi subsystem,
an IoT camera, or sensor device.</t>
  <t hangText="3 – Secure Restricted">
  Entities at this level must meet the criteria defined by FIDO Allowed
Restricted Operating Environments <xref target="FIDO.AROE"/>. Examples include TEE’s and 
schemes using virtualization-based security. Like the FIDO security goal,
security at this level is aimed at defending well against large-scale
network / remote attacks against the device.</t>
  <t hangText="4 – Hardware">
  Entities at this level must include substantial defense 
against physical or electrical attacks against the device itself.
It is assumed any potential attacker has captured the device and can 
disassemble it. Example include TPMs and Secure Elements.</t>
</list></t>

<t>The entity should claim the highest security level it achieves and no higher.
This set is not extensible so as to provide a common interoperable description of security level to the relying party.
If a particular implementation considers this claim to be inadequate, it can define its own proprietary claim.
It may consider including both this claim as a coarse indication of security and its own proprietary claim as a refined indication.</t>

<t>This claim is not intended as a replacement for a proper end-device
security certification schemes such as those based on FIPS 140 <xref target="FIPS-140"/> 
or those based on Common Criteria <xref target="Common.Criteria"/>. The 
claim made here is solely a self-claim made by the Entity Originator.</t>

<section anchor="security-level-cddl" title="security-level CDDL">

<figure><artwork type="CDDL"><![CDATA[
security-level-type = &(
    unrestricted: 1,
    restricted: 2,
    secure-restricted: 3,
    hardware: 4
)

security-level-claim = (
    security-level => security-level-type
)
]]></artwork></figure>

</section>
</section>
<section anchor="secure-boot-claim-secure-boot" title="Secure Boot Claim (secure-boot)">

<t>The value of true indicates secure boot is enabled. Secure boot is
considered enabled when base software, the firmware and operating
system, are under control of the entity manufacturer identified in the
oemid claimd described in <xref target="oemid"/>. This may because the software is
in ROM or because it is cryptographically authenticated or some
combination of the two or other.</t>

<section anchor="secure-boot-cddl" title="secure-boot CDDL">

<figure><artwork type="CDDL"><![CDATA[
secure-boot-claim = (
    secure-boot => bool
)
]]></artwork></figure>

</section>
</section>
<section anchor="debug-status-claim-debug-status" title="Debug Status Claim (debug-status)">

<t>This applies to system-wide or submodule-wide debug facilities of the
target device / submodule like JTAG and diagnostic hardware built into
chips. It applies to any software debug facilities related to root,
operating system or privileged software that allow system-wide memory
inspection, tracing or modification of non-system software like user
mode applications.</t>

<t>This characterization assumes that debug facilities can be enabled and
disabled in a dynamic way or be disabled in some permanent way such
that no enabling is possible. An example of dynamic enabling is one
where some authentication is required to enable debugging. An example
of permanent disabling is blowing a hardware fuse in a chip. The specific
type of the mechanism is not taken into account. For example, it does
not matter if authentication is by a global password or by per-device
public keys.</t>

<t>As with all claims, the absence of the debug level claim means
it is not reported. A conservative interpretation might assume
the Not Disabled state. It could however be that it is reported
in a proprietary claim.</t>

<t>This claim is not extensible so as to provide a common interoperable description of debug status to the relying party.
If a particular implementation considers this claim to be inadequate, it can define its own proprietary claim.
It may consider including both this claim as a coarse indication of debug status and its own proprietary claim as a refined indication.</t>

<t>The higher levels of debug disabling requires that all debug disabling
of the levels below it be in effect. Since the lowest level requires
that all of the target’s debug be currently disabled, all other levels
require that too.</t>

<t>There is no inheritance of claims from a submodule to a superior
module or vice versa. There is no assumption, requirement or guarantee
that the target of a superior module encompasses the targets of
submodules. Thus, every submodule must explicitly describe its own
debug state. The verifier or relying party receiving an EAT cannot
assume that debug is turned off in a submodule because there is a claim
indicating it is turned off in a superior module.</t>

<t>An individual target device / submodule may have multiple debug
facilities. The use of plural in the description of the states
refers to that, not to any aggregation or inheritance.</t>

<t>The architecture of some chips or devices may be such that a debug
facility operates for the whole chip or device. If the EAT for such
a chip includes submodules, then each submodule should independently
report the status of the whole-chip or whole-device debug facility.
This is the only way the relying party can know the debug status
of the submodules since there is no inheritance.</t>

<section anchor="enabled" title="Enabled">

<t>If any debug facility, even manufacturer hardware diagnostics, is
currently enabled, then this level must be indicated.</t>

</section>
<section anchor="disabled" title="Disabled">

<t>This level indicates all debug facilities are currently disabled. It
may be possible to enable them in the future, and it may also be
possible that they were enabled in the past after the
target device/sub-system booted/started, but they are currently disabled.</t>

</section>
<section anchor="disabled-since-boot" title="Disabled Since Boot">

<t>This level indicates all debug facilities are currently disabled and
have been so since the target device/sub-system booted/started.</t>

</section>
<section anchor="disabled-permanently" title="Disabled Permanently">

<t>This level indicates all non-manufacturer facilities are permanently
disabled such that no end user or developer cannot enable them. Only
the manufacturer indicated in the OEMID claim can enable them. This
also indicates that all debug facilities are currently disabled and
have been so since boot/start.</t>

</section>
<section anchor="disabled-fully-and-permanently" title="Disabled Fully and Permanently">

<t>This level indicates that all debug capabilities for the target
device/sub-module are permanently disabled.</t>

</section>
<section anchor="debug-status-cddl" title="debug-status CDDL">

<figure><artwork type="CDDL"><![CDATA[
debug-status-type = &(
    enabled: 0,
    disabled: 1,
    disabled-since-boot: 2,
    disabled-permanently: 3,
    disabled-fully-and-permanently: 4
)

debug-status-claim = (
    debug-status => debug-status-type
)
]]></artwork></figure>

</section>
</section>
<section anchor="including-keys" title="Including Keys">

<t>An EAT may include a cryptographic key such as a public key.
The signing of the EAT binds the key to all the other claims in the token.</t>

<t>The purpose for inclusion of the key may vary by use case.
For example, the key may be included as part of an IoT device onboarding protocol.
When the FIDO protocol includes a pubic key in its attestation message, the key represents the binding of a user, device and relying party.
This document describes how claims containing keys should be defined for the various use cases.
It does not define specific claims for specific use cases.</t>

<t>Keys in CBOR format tokens SHOULD be the COSE_Key format <xref target="RFC8152"/> and keys in JSON format tokens SHOULD be the JSON Web Key format <xref target="RFC7517"/>.
These two formats support many common key types.
Their use avoids the need to decode other serialization formats.
These two formats can be extended to support further key types through their IANA registries.</t>

<t>The general confirmation claim format <xref target="RFC8747"/>, <xref target="RFC7800"/> may also be used.
It provides key encryption. 
It also allows for inclusion by reference through a key ID.
The confirmation claim format may employed in the definition of some new claim for a a particular use case.</t>

<t>When the actual confirmation claim is included in an EAT, this document associates no use case semantics other than proof of posession.
Different EAT use cases may choose to associate further semantics.
The key in the confirmation claim MUST be protected the same as the key used to sign the EAT. 
That is, the same, equivalent or better hardware defenses, access controls, key generation and such must be used.</t>

</section>
<section anchor="the-location-claim-location" title="The Location Claim (location)">

<t>The location claim gives the location of the device entity from which the attestation originates.
It is derived from the W3C Geolocation API <xref target="W3C.GeoLoc"/>.
The latitude, longitude, altitude and accuracy must conform to <xref target="WGS84"/>.
The altitude is in meters above the <xref target="WGS84"/> ellipsoid.
The two accuracy values are positive numbers in meters.
The heading is in degrees relative to true north.
If the device is stationary, the heading is NaN (floating-point not-a-number).
The speed is the horizontal component of the device velocity in meters per second.</t>

<t>When encoding floating-point numbers half-precision should not be used.
It usually does not provide enough precision for a geographic location.
It is not a requirement that the receiver of an EAT implement half-precision, so the receiver may not be able to decode the location.</t>

<t>The location may have been cached for a period of time before token
creation. For example, it might have been minutes or hours or more
since the last contact with a GPS satellite. Either the timestamp or
age data item can be used to quantify the cached period.  The timestamp
data item is preferred as it a non-relative time.</t>

<t>The age data item can be used when the entity doesn’t know what time
it is either because it doesn’t have a clock or it isn’t set. The
entity must still have a “ticker” that can measure a time
interval. The age is the interval between acquisition of the location
data and token creation.</t>

<t>See location-related privacy considerations in <xref target="locationprivacyconsiderations"/> below.</t>

<section anchor="location-cddl" title="location CDDL">

<figure><artwork type="CDDL"><![CDATA[
location-type = {
    latitude => number,
    longitude => number,
    ? altitude => number,
    ? accuracy => number,
    ? altitude-accuracy => number,
    ? heading => number,
    ? speed => number,
    ? timestamp => ~time-int,
    ? age => uint
}

latitude = 1
longitude = 2
altitude = 3
accuracy = 4
altitude-accuracy = 5
heading = 6
speed = 7
timestamp = 8
age = 9

location-claim = (
    location => location-type
)
]]></artwork></figure>

</section>
</section>
<section anchor="the-uptime-claim-uptime" title="The Uptime Claim (uptime)">

<t>The “uptime” claim contains a value that represents the number of
seconds that have elapsed since the entity or submod was last booted.</t>

<section anchor="uptime-cddl" title="uptime CDDL">

<figure><artwork type="CDDL"><![CDATA[
uptime-claim = (
    uptime => uint
)
]]></artwork></figure>

</section>
<section anchor="the-boot-seed-claim-boot-seed" title="The Boot Seed Claim (boot-seed)">

<t>The Boot Seed claim is a random value created at system boot time that will allow differentiation of reports from different boot sessions.
This value is usually public and not protected.
It is not the same as a seed for a random number generator which must be kept secret.</t>

<figure><artwork type="CDDL"><![CDATA[
boot-seed-claim = (
    boot-seed => bytes
)
]]></artwork></figure>

</section>
</section>
<section anchor="the-intended-use-claim-intended-use" title="The Intended Use Claim (intended-use)">

<t>EAT’s may be used in the context of several different applications.  The intended-use
claim provides an indication to an EAT consumer about  the intended usage
of the token. This claim can be used as a way for an application using EAT to internally distinguish between different ways it uses EAT.</t>

<t><list style="hanging">
  <t hangText="1 – Generic">
  Generic attestation describes an application where the EAT consumer
requres the most up-to-date security assessment of the attesting entity. It
is expected that this is the most commonly-used application of EAT.</t>
  <t hangText="2– Registration">
  Entities that are registering for a new service may be expected to 
provide an attestation as part of the registration process.  This intended-use
setting indicates that the attestation is not intended for any use but registration.</t>
  <t hangText="3 – Provisioning">
  Entities may be provisioned with different values or settings by an EAT
consumer.  Examples include key material or device management trees.  The consumer
may require an EAT to assess device security state of the entity prior to provisioning.</t>
  <t hangText="4 – Certificate Issuance (Certificate Signing Request)">
  Certifying authorities (CA’s) may require attestations prior to
the issuance of certificates related to keypairs hosted at the entity.  An
EAT may be used as part of the certificate signing request (CSR).</t>
  <t hangText="5 – Proof-of-Possession">
  An EAT consumer may require an attestation as part of an accompanying 
proof-of-possession (PoP) appication. More precisely, a PoP transaction is intended
to provide to the recipient cryptographically-verifiable proof that the sender has posession
of a key.  This kind of attestation may be neceesary to verify the
security state of the entity storing the private key used in a PoP application.</t>
</list></t>

<section anchor="intended-use-cddl" title="intended-use CDDL">

<figure><artwork type="CDDL"><![CDATA[
intended-use-type = &(
    generic: 1,
    registration: 2,
    provisioning: 3,
    csr: 4,
    pop:  5
)

intended-use-claim = (
    intended-use => intended-use-type
)
]]></artwork></figure>

</section>
</section>
<section anchor="profile-claim" title="The Profile Claim (profile)">

<t>The profile claim is a text string that simply gives the name of the profile to which the token purports to adhere to.
It may name an IETF document, some other document or no particular document.
There is no requirement that the named document be publicly accessible.</t>

<t>See <xref target="profiles"/> for a detailed description of a profile.</t>

<t>Note that this named “eat-profile” for JWT and is distinct from the already registered “profile” claim in the JWT claims registry.</t>

<figure><artwork type="CDDL"><![CDATA[
profile-claim = (
    profile => tstr
)
]]></artwork></figure>

</section>
<section anchor="the-submodules-part-of-a-token-submods" title="The Submodules Part of a Token (submods)">

<t>Some devices are complex, having many subsystems or submodules.  A
mobile phone is a good example. It may have several connectivity
submodules for communications (e.g., Wi-Fi and cellular). It may have
subsystems for low-power audio and video playback. It may have one or
more security-oriented subsystems like a TEE or a Secure Element.</t>

<t>The claims for each these can be grouped together in a submodule.</t>

<t>The submods part of a token are in a single map/object with many entries, one
per submodule.  There is only one submods map in a token. It is
identified by its specific label. It is a peer to other claims, but it
is not called a claim because it is a container for a claim set rather
than an individual claim. This submods part of a token allows what
might be called recursion. It allows claim sets inside of claim sets
inside of claims sets…</t>

<section anchor="two-types-of-submodules" title="Two Types of Submodules">

<t>Each entry in the submod map is one of two types:</t>

<t><list style="symbols">
  <t>A non-token submodule that is a map or object directly containing claims for the submodule.</t>
  <t>A nested EAT that is a fully formed, independently signed EAT token</t>
</list></t>

<section anchor="non-token-submodules" title="Non-token Submodules">

<t>This is simply a map or object containing claims about the submodule.</t>

<t>It may contain claims that are the same as its surrounding token or superior submodules. 
For example, the top-level of the token may have a UEID, a submod may have a different UEID and a further subordinate submodule may also have a UEID.</t>

<t>It is signed/encrypted along with the rest of the token and thus the claims are secured by the same Attester with the same signing key as the rest of the token.</t>

<t>If a token is in CBOR format (a CWT or a UCCS), all non-token submodules must be CBOR format.
If a token in in JSON format (a JWT), all non-token submodules must be in JSON format.</t>

<t>When decoding, this type of submodule is recognized from the other type by being a data item of type map for CBOR or type object for JSON.</t>

</section>
<section anchor="nested-eats" title="Nested EATs">

<t>This type of submodule is a fully formed secured EAT as defined in this document except that it MUST NOT be a UCCS or an unsecured JWT.
A nested token that is one that is always secured using COSE or JOSE, usually by an independent Attester.
When the surrounding EAT is a CWT or secured JWT, the nested token becomes securely bound with the other claims in the surrounding token.</t>

<t>It is allowed to have a CWT as a submodule in a JWT and vice versa, but this SHOULD be avoided unless necessary.</t>

<section anchor="surrounding-eat-is-cbor-format" title="Surrounding EAT is CBOR format">
<t>They type of an EAT nested in a CWT is determined by whether the CBOR type is a text string or a byte string.
If a text string, then it is a JWT.
If a byte string, then it is a CWT.</t>

<t>A CWT nested in a CBOR-format token is always wrapped by a byte string for easier handling with standard CBOR decoders and token processing APIs that will typically take a byte buffer as input.</t>

<t>Nested CWTs may be either a CWT CBOR tag or a CWT Protocol Message.
COSE layers in nested CWT EATs MUST be a COSE_Tagged_Message, never a COSE_Untagged_Message.
If a nested EAT has more than one level of COSE, for example one that is both encrypted and signed, a COSE_Tagged_message must be used at every level.</t>

</section>
<section anchor="surrounding-eat-is-json-format" title="Surrounding EAT is JSON format">
<t>When a CWT is nested in a JWT, it must be as a 55799 tag in order to distinguish it from a nested JWT.</t>

<t>When a nested EAT in a JWT is decoded, first remove the base64url encoding.
Next, check to see if it starts with the bytes 0xd9d9f7.
If so, then it is a CWT as a JWT will never start with these four bytes. 
If not if it is a JWT.</t>

<t>Other than the 55799 tag requirement, tag usage for CWT’s nested in a JSON format token follow the same rules as for CWTs nested in CBOR-format tokens.
It may be a CWT CBOR tag or a CWT Protocol Message and COSE_Tagged_Message MUST be used at all COSE layers.</t>

</section>
</section>
<section anchor="unsecured-jwts-and-uccs-tokens-as-submodules" title="Unsecured JWTs and UCCS Tokens as Submodules">

<t>To incorporate a UCCS token as a submodule, it MUST be as a non-token submodule. 
This can be accomplished inserting the content of the UCCS Tag into the submodule map.
The content of a UCCS tag is exactly a map of claims as required for a non-token submodule.
If the UCCS is not a UCCS tag, then it can just be inserted into the submodule map directly.</t>

<t>The definition of a nested EAT type of submodule is that it is one that is secured (signed) by an Attester.
Since UCCS tokens are unsecured, they do not fulfill this definition and must be non-token submodules.</t>

<t>To incorporate an Unsecured JWT as a submodule, the null-security JOSE wrapping should be removed.
The resulting claims set should be inserted as a non-token submodule.</t>

<t>To incorporate a UCCS token in a surrounding JSON token, the UCCS token claims should be translated from CBOR to JSON.
To incorporate an Unsecured JWT into a surrounding CBOR-format token, the null-security JOSE should be removed and the claims translated from JSON to CBOR.</t>

</section>
</section>
<section anchor="no-inheritance" title="No Inheritance">

<t>The subordinate modules do not inherit anything from the containing
token.  The subordinate modules must explicitly include all of their
claims. This is the case even for claims like the nonce and age.</t>

<t>This rule is in place for simplicity. It avoids complex inheritance
rules that might vary from one type of claim to another.</t>

</section>
<section anchor="security-levels" title="Security Levels">

<t>The security level of the non-token subordinate modules should always
be less than or equal to that of the containing modules in the case of non-token
submodules. It makes no sense for a module of lesser security to be
signing claims of a module of higher security. An example of this is a
TEE signing claims made by the non-TEE parts (e.g. the high-level OS)
of the device.</t>

<t>The opposite may be true for the nested tokens. They usually have
their own more secure key material. An example of this is an embedded
secure element.</t>

</section>
<section anchor="submodule-names" title="Submodule Names">

<t>The label or name for each submodule in the submods map is a text
string naming the submodule. No submodules may have the same name.</t>

</section>
<section anchor="submods-cddl" title="submods CDDL">

<figure><artwork type="CDDL"><![CDATA[
; The part of a token that contains all the submodules.  It is a peer
; with the claims in the token, but not a claim, only a map/object to
; hold all the submodules.

submods-part = (
    submods => submods-type
)

submods-type = { + submod-type }


; The type of a submodule which can either be a nested claim set or a
; nested separately signed token. Nested tokens are wrapped in a bstr
; or a tstr.

submod-type = (
    submod-name => eat-claim-set / nested-token
)


; When this is a bstr, the contents are an eat-token in CWT or UCCS
; format.  When this is a tstr, the contents are an eat-token in JWT
; format.

nested-token = bstr / tstr; 


; Each submodule has a unique text string name.

submod-name = tstr 


]]></artwork></figure>

</section>
</section>
</section>
<section anchor="keyid" title="Endorsements and Verification Keys">

<t>TODO: fill this section in. It will discuss key IDs, endorsement ID and such that
are needed as input needed to by the Verifier to verify the signature. This will
NOT discuss the contents of an Endorsement, just and ID/locator.</t>

</section>
<section anchor="profiles" title="Profiles">

<t>This EAT specification does not gaurantee that implementations of it will interoperate.
The variability in this specification is necessary to accommodate the widely varying use cases.
An EAT profile narrows the specification for a specific use case.
An ideal EAT profile will gauarantee interoperability.</t>

<t>The profile can be named in the token using the profile claim described in <xref target="profile-claim"/>.</t>

<section anchor="list-of-profile-issues" title="List of Profile Issues">

<t>The following is a list of EAT, CWT, UCCS, JWS, COSE, JOSE and CBOR options that a profile should address.</t>

<section anchor="use-of-json-cbor-or-both" title="Use of JSON, CBOR or both">

<t>The profile should indicate whether the token format should be CBOR, JSON, both or even some other encoding.
If some other encoding, a specification for how the CDDL described here is serialized in that encoding is necessary.</t>

<t>This should be addressed for the top-level token and for any nested tokens.
For example, a profile might require all nested tokens to be of the same encoding of the top level token.</t>

</section>
<section anchor="cbor-map-and-array-encoding" title="CBOR Map and Array Encoding">

<t>The profile should indicate whether definite-length arrays/maps, indefinite-length arrays/maps or both are allowed.
A good default is to allow only definite-length arrays/maps.</t>

<t>An alternate is to allow both definite and indefinite-length arrays/maps.
The decoder should accept either.
Encoders that need to fit on very small hardware or be actually implement in hardware can use indefinite-length encoding.</t>

<t>This applies to individual EAT claims, CWT and COSE parts of the implementation.</t>

</section>
<section anchor="cbor-string-encoding" title="CBOR String Encoding">

<t>The profile should indicate whether definite-length strings, indefinite-length strings or both are allowed.
A good default is to allow only definite-length strings.
As with map and array encoding, allowing indefinite-length strings can be beneficial for some smaller implementations.</t>

</section>
<section anchor="cosejose-protection" title="COSE/JOSE Protection">

<t>COSE and JOSE have several options for signed, MACed and encrypted messages.
EAT/CWT has the option to have no protection using UCCS and JOSE has a NULL protection option.
It is possible to implement no protection, sign only, MAC only, sign then encrypt and so on.
All combinations allowed by COSE, JOSE, JWT, CWT and UCCS are allowed by EAT.</t>

<t>The profile should list the protections that must be supported by all decoders implementing the profile.
The encoders them must implement a subset of what is listed for the decoders, perhaps only one.</t>

<t>Implementations may choose to sign or MAC before encryption so that the implementation layer doing the signing or MACing can be the smallest.
It is often easier to make smaller implementations more secure, perhaps even implementing in solely in hardware.
The key material for a signature or MAC is a private key, while for encryption it is likely to be a public key.
The key for encryption requires less protection.</t>

</section>
<section anchor="cosejose-algorithms" title="COSE/JOSE Algorithms">

<t>The profile document should list the COSE algorithms that a Verifier must implement.
The Attester will select one of them. 
Since there is no negotiation, the Verifier should implement all algorithms listed in the profile.</t>

</section>
<section anchor="verification-key-identification" title="Verification Key Identification">

<t>Section <xref target="keyid"/> describes a number of methods for identifying a verification key.
The profile document should specify one of these or one that is not described.
The ones described in this document are only roughly described.
The profile document should go into the full detail.</t>

</section>
<section anchor="endorsement-identification" title="Endorsement Identification">

<t>Similar to, or perhaps the same as Verification Key Identification, the profile may wish to specify how Endorsements are to be identified.
However note that Endorsement Identification is optional, where as key identification is not.</t>

</section>
<section anchor="required-claims" title="Required Claims">

<t>The profile can list claims whose absence results in Verification failure.</t>

</section>
<section anchor="prohibited-claims" title="Prohibited Claims">

<t>The profile can list claims whose presence results in Verification failure.</t>

</section>
<section anchor="additional-claims" title="Additional Claims">
<t>The profile may describe entirely new claims.
These claims can be required or optional.</t>

</section>
<section anchor="refined-claim-definition" title="Refined Claim Definition">

<t>The profile may lock down optional aspects of individual claims.
For example, it may require altitude in the location claim, or it may require that HW Versions always be described using EAN-13.</t>

</section>
<section anchor="cbor-tags" title="CBOR Tags">

<t>The profile should specify whether the token should be a CWT Tag or not.
Similarly, the profile should specify whether the token should be a UCCS tag or not.</t>

<t>When COSE protection is used, the profile should specify whether COSE tags are used or not.
Note that RFC 8392 requires COSE tags be used in a CWT tag.</t>

<t>Often a tag is unncessary because the surrounding or carrying protocol identifies the object as an EAT.</t>

</section>
</section>
</section>
<section anchor="encoding" title="Encoding">
<t>This makes use of the types defined in CDDL Appendix D, Standard Prelude.</t>

<t>Some of the CDDL included here is for claims that are defined in CWT <xref target="RFC8392"/> or JWT <xref target="RFC7519"/> or are in the IANA CWT or JWT registries.
CDDL was not in use when these claims where defined.</t>

<section anchor="common-cddl-types" title="Common CDDL Types">

<t>time-int is identical to the epoch-based time, but disallows
floating-point representation.</t>

<figure><artwork type="CDDL"><![CDATA[
string-or-uri = tstr 

time-int = #6.1(int)
]]></artwork></figure>

</section>
<section anchor="cddl-for-cwt-defined-claims" title="CDDL for CWT-defined Claims">

<t>This section provides CDDL for the claims defined in CWT. It is
non-normative as <xref target="RFC8392"/> is the authoritative definition of these
claims.</t>

<figure><artwork type="CDDL"><![CDATA[
$$eat-extension //= (
    ? issuer => text,
    ? subject => text,
    ? audience => text,
    ? expiration => time,
    ? not-before => time,
    ? issued-at => time,
    ? cwt-id => bytes,
)

issuer = 1
subject = 2
audience = 3
expiration = 4
not-before = 5
issued-at = 6
cwt-id = 7

]]></artwork></figure>

</section>
<section anchor="json" title="JSON">

<section anchor="json-labels" title="JSON Labels">

<figure><artwork type="JSON"><![CDATA[
; The following are Claim Keys (labels) assigned for JSON-encoded tokens.

ueid /= "ueid"
nonce /= "nonce"
origination /= "origination"
oemid /= "oemid"
security-level /= "seclevel"
secure-boot /= "secboot"
debug-status /= "dbgstat"
location /= "location"
uptime /= "uptime"
profile /= "eat-profile"
intended-use /= "intuse"
boot-seed /= "bootseed"
submods /= "submods"
timestamp /= "timestamp"

latitude /= "lat"
longitude /= "long"
altitude /= "alt"
accuracy /= "accry"
altitude-accuracy /= "alt-accry"
heading /= "heading"
speed /= "speed"
]]></artwork></figure>

</section>
<section anchor="jsoninterop" title="JSON Interoperability">

<t>JSON should be encoded per RFC 8610 Appendix E. In addition, the
following CDDL types are encoded in JSON as follows:</t>

<t><list style="symbols">
  <t>bstr – must be base64url encoded</t>
  <t>time – must be encoded as NumericDate as described section 2 of <xref target="RFC7519"/>.</t>
  <t>string-or-uri – must be encoded as StringOrURI as described section 2 of <xref target="RFC7519"/>.</t>
</list></t>

</section>
</section>
<section anchor="cbor" title="CBOR">

<section anchor="cbor-interoperability" title="CBOR Interoperability">

<t>CBOR allows data items to be serialized in more than one form.
If the sender uses a form that the receiver can’t decode, there will not be interoperability.</t>

<t>This specification gives no blanket requirements to narrow CBOR serialization for all uses of EAT.
This allows individual uses to tailor serialization to the environment.
It also may result in EAT implementations that don’t interoperate.</t>

<t>One way to guarantee interoperability is to clearly specify CBOR serialization in a profile document.
See <xref target="profiles"/> for a list of serialization issues that should be addressed.</t>

<t>EAT will be commonly used where the device generating the attestation is constrained and the receiver/verifier of the attestation is a capacious server.
Following is a set of serialization requirements that work well for that use case and are guaranteed to interoperate.
Use of this serialization is recommended where possible, but not required.
An EAT profile may just reference the following section rather than spell out serialization details.</t>

<section anchor="eat-constrained-device-serialization" title="EAT Constrained Device Serialization">

<t><list style="symbols">
  <t>Preferred serialization described in section 4.1 of <xref target="RFC8949"/> is not required.
The EAT decoder must accept all forms of number serialization.
The EAT encoder may use any form it wishes.</t>
  <t>The EAT decoder must accept indefinite length arrays and maps as described in section 3.2.2 of <xref target="RFC8949"/>.
The EAT encoder may use indefinite length arrays and maps if it wishes.</t>
  <t>The EAT decoder must accept indefinite length strings as described in section 3.2.3 of <xref target="RFC8949"/>.
The EAT encoder may use indefinite length strings if it wishes.</t>
  <t>Sorting of maps by key is not required.
The EAT decoder must not rely on sorting.</t>
  <t>Deterministic encoding described in Section 4.2 of <xref target="RFC8949"/> is not required.</t>
  <t>Basic validity described in section 5.3.1 of <xref target="RFC8949"/> must be followed.
The EAT encoder must not send duplicate map keys/labels or invalid UTF-8 strings.</t>
</list></t>

</section>
</section>
</section>
<section anchor="collected-cddl" title="Collected CDDL">

<figure><artwork type="CDDL"><![CDATA[
; This is the top-level definition of the claims in EAT tokens.  To
; form an actual EAT Token, this claim set is enclosed in a COSE, JOSE
; or UCCS message.

eat-claim-set = {
    ? ueid-claim,
    ? nonce-claim,
    ? origination-claim,
    ? oemid-claim,
    ? hardware-version-claims,
    ? security-level-claim,
    ? secure-boot-claim,
    ? debug-status-claim,
    ? location-claim,
    ? uptime-claim,
    ? submods-part,
    * $$eat-extension,
}


; This is the top-level definition of an EAT Token.  It is a CWT, JWT
; or UCSS where the payload is an eat-claim-set. A JWT_Message is what
; is defined by JWT in RFC 7519. (RFC 7519 doesn't use CDDL so a there
; is no actual CDDL definition of JWT_Message).

eat-token = EAT_Tagged_Message / EAT_Untagged_Message / JWT_Message


; This is CBOR-format EAT token in the CWT or UCCS format that is a
; tag.  COSE_Tagged_message is defined in RFC 8152.  Tag 601 is
; proposed by the UCCS draft, but not yet assigned.

EAT_Tagged_Message = #6.61(COSE_Tagged_Message) / #6.601(eat-claim-set)


; This is a CBOR-format EAT token that is a CWT or UCSS that is not a
; tag COSE_Tagged_message and COSE_Untagged_Message are defined in RFC
; 8152.

EAT_Untagged_Message = COSE_Tagged_Message / COSE_Untagged_Message / UCCS_Untagged_Message


; This is an "unwrapped" UCCS tag. Unwrapping a tag means to use the
; definition of its content without the preceding type 6 tag
; integer. Since a UCCS is nothing but a tag for an unsecured CWT
; claim set, unwrapping reduces to a bare eat-claim-set.

UCCS_Untagged_Message = eat-claim-set

string-or-uri = tstr 

time-int = #6.1(int)
$$eat-extension //= (
    ? issuer => text,
    ? subject => text,
    ? audience => text,
    ? expiration => time,
    ? not-before => time,
    ? issued-at => time,
    ? cwt-id => bytes,
)

issuer = 1
subject = 2
audience = 3
expiration = 4
not-before = 5
issued-at = 6
cwt-id = 7

debug-status-type = &(
    enabled: 0,
    disabled: 1,
    disabled-since-boot: 2,
    disabled-permanently: 3,
    disabled-fully-and-permanently: 4
)

debug-status-claim = (
    debug-status => debug-status-type
)
location-type = {
    latitude => number,
    longitude => number,
    ? altitude => number,
    ? accuracy => number,
    ? altitude-accuracy => number,
    ? heading => number,
    ? speed => number,
    ? timestamp => ~time-int,
    ? age => uint
}

latitude = 1
longitude = 2
altitude = 3
accuracy = 4
altitude-accuracy = 5
heading = 6
speed = 7
timestamp = 8
age = 9

location-claim = (
    location => location-type
)
nonce-type = bstr .size (8..64)

nonce-claim = (
    nonce => nonce-type / [ 2* nonce-type ]
)
oemid-claim = (
    oemid => bstr
)
; copied from CoSWID
; TODO: how to properly make reference to CoSWID and have tool validate

  $version-scheme /= multipartnumeric
  $version-scheme /= multipartnumeric-suffix
  $version-scheme /= alphanumeric
  $version-scheme /= decimal
  $version-scheme /= semver
  $version-scheme /= uint / text
  multipartnumeric = 1
  multipartnumeric-suffix = 2
  alphanumeric = 3
  decimal = 4
  semver = 16384

chip-version-claim = (
    chip-version => tstr
)

chip-version-scheme-claim = (
    chip-version-scheme => $version-scheme
)

board-version-claim = (
    board-version => tstr
)

board-version-scheme-claim = (
    board-version-scheme => $version-scheme
)

device-version-claim = (
    device-version => tstr
)

device-version-scheme-claim = (
    device-version-scheme => $version-scheme
)


ean-type = text .regexp "[0-9]{13}"

ean-chip-version-claim = (
    ean-chip-version => ean-type
)

ean-board-version-claim = (
    ean-board-version => ean-type
)

ean-device-version-claim = (
    ean-device-version => ean-type
)

hardware-version-claims = (
    ? chip-version-claim,
    ? board-version-claim,
    ? device-version-claim,
    ? chip-version-scheme-claim,
    ? board-version-scheme-claim,
    ? device-version-scheme-claim,
    ? ean-chip-version-claim,
    ? ean-board-version-claim,
    ? ean-device-version-claim,
)

origination-claim = (
    origination => string-or-uri
)
secure-boot-claim = (
    secure-boot => bool
)
security-level-type = &(
    unrestricted: 1,
    restricted: 2,
    secure-restricted: 3,
    hardware: 4
)

security-level-claim = (
    security-level => security-level-type
)
; The part of a token that contains all the submodules.  It is a peer
; with the claims in the token, but not a claim, only a map/object to
; hold all the submodules.

submods-part = (
    submods => submods-type
)

submods-type = { + submod-type }


; The type of a submodule which can either be a nested claim set or a
; nested separately signed token. Nested tokens are wrapped in a bstr
; or a tstr.

submod-type = (
    submod-name => eat-claim-set / nested-token
)


; When this is a bstr, the contents are an eat-token in CWT or UCCS
; format.  When this is a tstr, the contents are an eat-token in JWT
; format.

nested-token = bstr / tstr; 


; Each submodule has a unique text string name.

submod-name = tstr 


ueid-type = bstr .size (7..33)

ueid-claim = (
     ueid => ueid-type
)
intended-use-type = &(
    generic: 1,
    registration: 2,
    provisioning: 3,
    csr: 4,
    pop:  5
)

intended-use-claim = (
    intended-use => intended-use-type
)
uptime-claim = (
    uptime => uint
)
; The following Claim Keys (labels) are pre-assigned by IANA.
; They are for CBOR-based tokens (CWT and UCCS).
; They are not expected to change in the final publication as an RFC.

nonce = 10
ueid = 11
oemid = 13
security-level = 14
secure-boot = 15
debug-status = 16
location = 17
submods = 20

; These are not yet assigned in any way and may change.
; These are intentionally above 24 so as to not use up
; single-byte labels.

origination = <TBD30>
uptime = <TBD31>
chip-version = <TBD32>
board-version = <TBD33>
device-version = <TBD34>
chip-version-scheme = <TBD35>
board-version-scheme = <TBD36>
device-version-scheme = <TBD37>
ean-chip-version = <TBD38>
ean-board-version = <TBD39>
ean-device-version = <TBD40>
intended-use = <TBD41>

; The following are Claim Keys (labels) assigned for JSON-encoded tokens.

ueid /= "ueid"
nonce /= "nonce"
origination /= "origination"
oemid /= "oemid"
security-level /= "seclevel"
secure-boot /= "secboot"
debug-status /= "dbgstat"
location /= "location"
uptime /= "uptime"
profile /= "eat-profile"
intended-use /= "intuse"
boot-seed /= "bootseed"
submods /= "submods"
timestamp /= "timestamp"

latitude /= "lat"
longitude /= "long"
altitude /= "alt"
accuracy /= "accry"
altitude-accuracy /= "alt-accry"
heading /= "heading"
speed /= "speed"
]]></artwork></figure>

</section>
</section>
<section anchor="iana-considerations" title="IANA Considerations">

<section anchor="reuse-of-cbor-web-token-cwt-claims-registry" title="Reuse of CBOR Web Token (CWT) Claims Registry">

<t>Claims defined for EAT are compatible with those of CWT
so the CWT Claims Registry is re used. No new IANA registry
is created. All EAT claims should be registered in the
CWT and JWT Claims Registries.</t>

</section>
<section anchor="claim-characteristics" title="Claim Characteristics">

<t>The following is design guidance for creating new EAT claims, particularly those to be registered with IANA.</t>

<t>Much of this guidance is generic and could also be considered when designing new CWT or JWT claims.</t>

<section anchor="interoperability-and-relying-party-orientation" title="Interoperability and Relying Party Orientation">

<t>It is a broad goal that EATs can be processed by relying parties in a general way regardless of the type, manufacturer or technology of the device from which they originate. 
It is a goal that there be general-purpose verification implementations that can verify tokens for large numbers of use cases with special cases and configurations for different device types.
This is a goal of interoperability of the semantics of claims themselves, not just of the signing, encoding and serialization formats.</t>

<t>This is a lofty goal and difficult to achieve broadly requiring careful definition of claims in a technology neutral way.
Sometimes it will be difficult to design a claim that can represent the semantics of data from very different device types.
However, the goal remains even when difficult.</t>

</section>
<section anchor="operating-system-and-technology-neutral" title="Operating System and Technology Neutral">

<t>Claims should be defined such that they are not specific to an operating system.
They should be applicable to multiple large high-level operating systems from different vendors.
They should also be applicable to multiple small embedded operating systems from multiple vendors and everything in between.</t>

<t>Claims should not be defined such that they are specific to a SW environment or programming language.</t>

<t>Claims should not be defined such that they are specific to a chip or particular hardware. 
For example, they should not just be the contents of some HW status register as it is unlikely that the same HW status register with the same bits exists on a chip of a different manufacturer.</t>

<t>The boot and debug state claims in this document are an example of a claim that has been defined in this neutral way.</t>

</section>
<section anchor="security-level-neutral" title="Security Level Neutral">

<t>Many use cases will have EATs generated by some of the most secure hardware and software that exists. 
Secure Elements and smart cards are examples of this. 
However, EAT is intended for use in low-security use cases the same as high-security use case.
For example, an app on a mobile device may generate EATs on its own.</t>

<t>Claims should be defined and registered on the basis of whether they are useful and interoperable, not based on security level.
In particular, there should be no exclusion of claims because they are just used only in low-security environments.</t>

</section>
<section anchor="reuse-of-extant-data-formats" title="Reuse of Extant Data Formats">

<t>Where possible, claims should use already standardized data items, identifiers and formats.
This takes advantage of the expertise put into creating those formats and improves interoperability.</t>

<t>Often extant claims will not be defined in an encoding or serialization format used by EAT.
It is preferred to define a CBOR and JSON format for them so that EAT implementations do not require a plethora of encoders and decoders for serialization formats.</t>

<t>In some cases, it may be better to use the encoding and serialization as is.
For example, signed X.509 certificates and CRLs can be carried as-is in a byte string.
This retains interoperability with the extensive infrastructure for creating and processing X.509 certificates and CRLs.</t>

</section>
<section anchor="proprietary-claims" title="Proprietary Claims">

<t>EAT allows the definition and use of proprietary claims.</t>

<t>For example, a device manufacturer may generate a token with proprietary claims intended only for verification by a service offered by that device manufacturer. 
This is a supported use case.</t>

<t>In many cases proprietary claims will be the easiest and most obvious way to proceed, however for better interoperability, use of general standardized claims is preferred.</t>

</section>
</section>
<section anchor="claims-registered-by-this-document" title="Claims Registered by This Document">

<t>This specification adds the following values to the “JSON Web Token
Claims” registry established by <xref target="RFC7519"/> and the “CBOR Web Token Claims Registry”
established by <xref target="RFC8392"/>. Each entry below is an addition to both registries (except
for the nonce claim which is already registered for JWT, but not registered for CWT).</t>

<t>The “Claim Description”, “Change Controller” and “Specification Documents” are common and equivalent for the JWT and CWT registries.
The “Claim Key” and “Claim Value Types(s)” are for the CWT registry only.
The “Claim Name” is as defined for the CWT registry, not the JWT registry.
The “JWT Claim Name” is equivalent to the “Claim Name” in the JWT registry.</t>

<section anchor="claims-for-early-assignment" title="Claims for Early Assignment">
<t>RFC Editor: in the final publication this section should be combined with the following
section as it will no longer be necessary to distinguish claims with early assignment.
Also, the following paragraph should be removed.</t>

<t>The claims in this section have been (requested for / given) early assignment according to <xref target="RFC7120"/>.
They have been assigned values and registered before final publication of this document.
While their semantics is not expected to change in final publication, it is possible that they will.
The JWT Claim Names and CWT Claim Keys are not expected to change.</t>

<t><list style="symbols">
  <t>Claim Name: Nonce</t>
  <t>Claim Description: Nonce</t>
  <t>JWT Claim Name: “nonce” (already registered for JWT)</t>
  <t>Claim Key: 10</t>
  <t>Claim Value Type(s): byte string</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): <xref target="OpenIDConnectCore"/>, <spanx style="strong">this document</spanx></t>
</list></t>

<t> </t>

<t><list style="symbols">
  <t>Claim Name: UEID</t>
  <t>Claim Description: The Universal Entity ID</t>
  <t>JWT Claim Name: “ueid”</t>
  <t>CWT Claim Key: 11</t>
  <t>Claim Value Type(s): byte string</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): <spanx style="strong">this document</spanx></t>
</list></t>

<t> </t>

<t><list style="symbols">
  <t>Claim Name: OEMID</t>
  <t>Claim Description: IEEE-based OEM ID</t>
  <t>JWT Claim Name: “oemid”</t>
  <t>Claim Key: 13</t>
  <t>Claim Value Type(s): byte string</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): <spanx style="strong">this document</spanx></t>
</list></t>

<t> </t>

<t><list style="symbols">
  <t>Claim Name: Security Level</t>
  <t>Claim Description: Characterization of the security of an Attester or submodule</t>
  <t>JWT Claim Name: “seclevel”</t>
  <t>Claim Key: 14</t>
  <t>Claim Value Type(s): integer</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): <spanx style="strong">this document</spanx></t>
</list></t>

<t> </t>

<t><list style="symbols">
  <t>Claim Name: Secure Boot</t>
  <t>Claim Description: Indicate whether the boot was secure</t>
  <t>JWT Claim Name: “secboot”</t>
  <t>Claim Key: 15</t>
  <t>Claim Value Type(s): Boolean</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): <spanx style="strong">this document</spanx></t>
</list></t>

<t> </t>

<t><list style="symbols">
  <t>Claim Name: Debug Status</t>
  <t>Claim Description: Indicate status of debug facilities</t>
  <t>JWT Claim Name: “dbgstat”</t>
  <t>Claim Key: 16</t>
  <t>Claim Value Type(s): integer</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): <spanx style="strong">this document</spanx></t>
</list></t>

<t> </t>

<t><list style="symbols">
  <t>Claim Name: Location</t>
  <t>Claim Description: The geographic location</t>
  <t>JWT Claim Name: “location”</t>
  <t>Claim Key: 17</t>
  <t>Claim Value Type(s): map</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): <spanx style="strong">this document</spanx></t>
</list></t>

<t> </t>

<t><list style="symbols">
  <t>Claim Name: Submodules Section</t>
  <t>Claim Description: The section containing submodules (not actually a claim)</t>
  <t>JWT Claim Name: “submods”</t>
  <t>Claim Key: 20</t>
  <t>Claim Value Type(s): map</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): <spanx style="strong">this document</spanx></t>
</list></t>

</section>
<section anchor="to-be-assigned-claims" title="To be Assigned Claims">

<t>TODO: add the rest of the claims in here</t>

</section>
</section>
</section>
<section anchor="privacyconsiderations" title="Privacy Considerations">

<t>Certain EAT claims can be used to track the owner of an entity and
therefore, implementations should consider providing privacy-preserving
options dependent on the intended usage of the EAT.  Examples would
include suppression of location claims for EAT’s provided to
unauthenticated consumers.</t>

<section anchor="ueidprivacyconsiderations" title="UEID Privacy Considerations">

<t>A UEID is usually not privacy-preserving. Any set of relying parties
that receives tokens that happen to be from a single device will be
able to know the tokens are all from the same device and be able to
track the device. Thus, in many usage situations ueid violates
governmental privacy regulation. In other usage situations UEID will
not be allowed for certain products like browsers that give privacy
for the end user. It will often be the case that tokens will not have
a UEID for these reasons.</t>

<t>There are several strategies that can be used to still be able to put
UEID’s in tokens:</t>

<t><list style="symbols">
  <t>The device obtains explicit permission from the user of the device
to use the UEID. This may be through a prompt. It may also be through
a license agreement.  For example, agreements for some online banking
and brokerage services might already cover use of a UEID.</t>
  <t>The UEID is used only in a particular context or particular use
case. It is used only by one relying party.</t>
  <t>The device authenticates the relying party and generates a derived
UEID just for that particular relying party.  For example, the relying
party could prove their identity cryptographically to the device, then
the device generates a UEID just for that relying party by hashing a
proofed relying party ID with the main device UEID.</t>
</list></t>

<t>Note that some of these privacy preservation strategies result in multiple UEIDs
per device. Each UEID is used in a different context, use case or system 
on the device. However, from the view of the relying party, there is just
one UEID and it is still globally universal across manufacturers.</t>

</section>
<section anchor="locationprivacyconsiderations" title="Location Privacy Considerations">

<t>Geographic location is most always considered personally identifiable information.
Implementers should consider laws and regulations governing the transmission of location data from end user devices to servers and services.
Implementers should consider using location management facilities offered by the operating system on the device generating the attestation.
For example, many mobile phones prompt the user for permission when before sending location data.</t>

</section>
</section>
<section anchor="securitycons" title="Security Considerations">

<t>The security considerations provided in Section 8 of <xref target="RFC8392"/> and Section 11
of <xref target="RFC7519"/> apply to EAT in its CWT and JWT form, respectively.  In addition, 
implementors should consider the following.</t>

<section anchor="key-provisioning" title="Key Provisioning">

<t>Private key material can be used to sign and/or encrypt the EAT, or
can be used to derive the keys used for signing and/or encryption.  In
some instances, the manufacturer of the entity may create the key
material separately and provision the key material in the entity
itself.  The manfuacturer of any entity that is capable of producing
an EAT should take care to ensure that any private key material be
suitably protected prior to provisioning the key material in the
entity itself.  This can require creation of key material in an
enclave (see <xref target="RFC4949"/> for definition of “enclave”), secure
transmission of the key material from the enclave to the entity using
an appropriate protocol, and persistence of the private key material
in some form of secure storage to which (preferably) only the entity
has access.</t>

<section anchor="transmission-of-key-material" title="Transmission of Key Material">

<t>Regarding transmission of key material from the enclave to the entity,
the key material may pass through one or more intermediaries.
Therefore some form of protection (“key wrapping”) may be necessary.
The transmission itself may be performed electronically, but can also
be done by human courier.  In the latter case, there should be minimal
to no exposure of the key material to the human (e.g. encrypted
portable memory).  Moreover, the human should transport the key
material directly from the secure enclave where it was created to a
destination secure enclave where it can be provisioned.</t>

</section>
</section>
<section anchor="transport-security" title="Transport Security">

<t>As stated in Section 8 of <xref target="RFC8392"/>, “The security of the CWT relies
upon on the protections offered by COSE”.  Similar considerations
apply to EAT when sent as a CWT.  However, EAT introduces the concept
of a nonce to protect against replay.  Since an EAT may be created by
an entity that may not support the same type of transport security as
the consumer of the EAT, intermediaries may be required to bridge
communications between the entity and consumer.  As a result, it is
RECOMMENDED that both the consumer create a nonce, and the entity
leverage the nonce along with COSE mechanisms for encryption and/or
signing to create the EAT.</t>

<t>Similar considerations apply to the use of EAT as a JWT.  Although the
security of a JWT leverages the JSON Web Encryption (JWE) and JSON Web
Signature (JWS) specifications, it is still recommended to make use of
the EAT nonce.</t>

</section>
<section anchor="multiple-eat-consumers" title="Multiple EAT Consumers">

<t>In many cases, more than one EAT consumer may be required to fully
verify the entity attestation.  Examples include individual consumers
for nested EATs, or consumers for individual claims with an EAT.  When
multiple consumers are required for verification of an EAT, it is
important to minimize information exposure to each consumer.  In
addition, the communication between multiple consumers should be
secure.</t>

<t>For instance, consider the example of an encrypted and signed EAT with
multiple claims.  A consumer may receive the EAT (denoted as the
“receiving consumer”), decrypt its payload, verify its signature, but
then pass specific subsets of claims to other consumers for evaluation
(“downstream consumers”).  Since any COSE encryption will be removed
by the receiving consumer, the communication of claim subsets to any
downstream consumer should leverage a secure protocol (e.g.one that
uses transport-layer security, i.e. TLS),</t>

<t>However, assume the EAT of the previous example is hierarchical and
each claim subset for a downstream consumer is created in the form of
a nested EAT.  Then transport security between the receiving and
downstream consumers is not strictly required.  Nevertheless,
downstream consumers of a nested EAT should provide a nonce unique to
the EAT they are consuming.</t>

</section>
</section>


  </middle>

  <back>

    <references title='Normative References'>





<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="RFC8949" target='https://www.rfc-editor.org/info/rfc8949'>
<front>
<title>Concise Binary Object Representation (CBOR)</title>
<author initials='C.' surname='Bormann' fullname='C. Bormann'><organization /></author>
<author initials='P.' surname='Hoffman' fullname='P. Hoffman'><organization /></author>
<date year='2020' month='December' />
<abstract><t>The Concise Binary Object Representation (CBOR) is a data format whose design goals include the possibility of extremely small code size, fairly small message size, and extensibility without the need for version negotiation. These design goals make it different from earlier binary serializations such as ASN.1 and MessagePack.</t><t>This document obsoletes RFC 7049, providing editorial improvements, new details, and errata fixes while keeping full compatibility with the interchange format of RFC 7049.  It does not create a new version of the format.</t></abstract>
</front>
<seriesInfo name='STD' value='94'/>
<seriesInfo name='RFC' value='8949'/>
<seriesInfo name='DOI' value='10.17487/RFC8949'/>
</reference>



<reference  anchor="RFC7517" target='https://www.rfc-editor.org/info/rfc7517'>
<front>
<title>JSON Web Key (JWK)</title>
<author initials='M.' surname='Jones' fullname='M. Jones'><organization /></author>
<date year='2015' month='May' />
<abstract><t>A JSON Web Key (JWK) is a JavaScript Object Notation (JSON) data structure that represents a cryptographic key.  This specification also defines a JWK Set JSON data structure that represents a set of JWKs.  Cryptographic algorithms and identifiers for use with this specification are described in the separate JSON Web Algorithms (JWA) specification and IANA registries established by that specification.</t></abstract>
</front>
<seriesInfo name='RFC' value='7517'/>
<seriesInfo name='DOI' value='10.17487/RFC7517'/>
</reference>



<reference  anchor="RFC7519" target='https://www.rfc-editor.org/info/rfc7519'>
<front>
<title>JSON Web Token (JWT)</title>
<author initials='M.' surname='Jones' fullname='M. Jones'><organization /></author>
<author initials='J.' surname='Bradley' fullname='J. Bradley'><organization /></author>
<author initials='N.' surname='Sakimura' fullname='N. Sakimura'><organization /></author>
<date year='2015' month='May' />
<abstract><t>JSON Web Token (JWT) is a compact, URL-safe means of representing claims to be transferred between two parties.  The claims in a JWT are encoded as a JSON object that is used as the payload of a JSON Web Signature (JWS) structure or as the plaintext of a JSON Web Encryption (JWE) structure, enabling the claims to be digitally signed or integrity protected with a Message Authentication Code (MAC) and/or encrypted.</t></abstract>
</front>
<seriesInfo name='RFC' value='7519'/>
<seriesInfo name='DOI' value='10.17487/RFC7519'/>
</reference>



<reference  anchor="RFC7800" target='https://www.rfc-editor.org/info/rfc7800'>
<front>
<title>Proof-of-Possession Key Semantics for JSON Web Tokens (JWTs)</title>
<author initials='M.' surname='Jones' fullname='M. Jones'><organization /></author>
<author initials='J.' surname='Bradley' fullname='J. Bradley'><organization /></author>
<author initials='H.' surname='Tschofenig' fullname='H. Tschofenig'><organization /></author>
<date year='2016' month='April' />
<abstract><t>This specification describes how to declare in a JSON Web Token (JWT) that the presenter of the JWT possesses a particular proof-of- possession key and how the recipient can cryptographically confirm proof of possession of the key by the presenter.  Being able to prove possession of a key is also sometimes described as the presenter being a holder-of-key.</t></abstract>
</front>
<seriesInfo name='RFC' value='7800'/>
<seriesInfo name='DOI' value='10.17487/RFC7800'/>
</reference>



<reference  anchor="RFC8126" target='https://www.rfc-editor.org/info/rfc8126'>
<front>
<title>Guidelines for Writing an IANA Considerations Section in RFCs</title>
<author initials='M.' surname='Cotton' fullname='M. Cotton'><organization /></author>
<author initials='B.' surname='Leiba' fullname='B. Leiba'><organization /></author>
<author initials='T.' surname='Narten' fullname='T. Narten'><organization /></author>
<date year='2017' month='June' />
<abstract><t>Many protocols make use of points of extensibility that use constants to identify various protocol parameters.  To ensure that the values in these fields do not have conflicting uses and to promote interoperability, their allocations are often coordinated by a central record keeper.  For IETF protocols, that role is filled by the Internet Assigned Numbers Authority (IANA).</t><t>To make assignments in a given registry prudently, guidance describing the conditions under which new values should be assigned, as well as when and how modifications to existing values can be made, is needed.  This document defines a framework for the documentation of these guidelines by specification authors, in order to assure that the provided guidance for the IANA Considerations is clear and addresses the various issues that are likely in the operation of a registry.</t><t>This is the third edition of this document; it obsoletes RFC 5226.</t></abstract>
</front>
<seriesInfo name='BCP' value='26'/>
<seriesInfo name='RFC' value='8126'/>
<seriesInfo name='DOI' value='10.17487/RFC8126'/>
</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>



<reference  anchor="RFC8152" target='https://www.rfc-editor.org/info/rfc8152'>
<front>
<title>CBOR Object Signing and Encryption (COSE)</title>
<author initials='J.' surname='Schaad' fullname='J. Schaad'><organization /></author>
<date year='2017' month='July' />
<abstract><t>Concise Binary Object Representation (CBOR) is a data format designed for small code size and small message size.  There is a need for the ability to have basic security services defined for this data format. This document defines the CBOR Object Signing and Encryption (COSE) protocol.  This specification describes how to create and process signatures, message authentication codes, and encryption using CBOR for serialization.  This specification additionally describes how to represent cryptographic keys using CBOR.</t></abstract>
</front>
<seriesInfo name='RFC' value='8152'/>
<seriesInfo name='DOI' value='10.17487/RFC8152'/>
</reference>



<reference  anchor="RFC8392" target='https://www.rfc-editor.org/info/rfc8392'>
<front>
<title>CBOR Web Token (CWT)</title>
<author initials='M.' surname='Jones' fullname='M. Jones'><organization /></author>
<author initials='E.' surname='Wahlstroem' fullname='E. Wahlstroem'><organization /></author>
<author initials='S.' surname='Erdtman' fullname='S. Erdtman'><organization /></author>
<author initials='H.' surname='Tschofenig' fullname='H. Tschofenig'><organization /></author>
<date year='2018' month='May' />
<abstract><t>CBOR Web Token (CWT) is a compact means of representing claims to be transferred between two parties.  The claims in a CWT are encoded in the Concise Binary Object Representation (CBOR), and CBOR Object Signing and Encryption (COSE) is used for added application-layer security protection.  A claim is a piece of information asserted about a subject and is represented as a name/value pair consisting of a claim name and a claim value.  CWT is derived from JSON Web Token (JWT) but uses CBOR rather than JSON.</t></abstract>
</front>
<seriesInfo name='RFC' value='8392'/>
<seriesInfo name='DOI' value='10.17487/RFC8392'/>
</reference>



<reference  anchor="RFC8610" target='https://www.rfc-editor.org/info/rfc8610'>
<front>
<title>Concise Data Definition Language (CDDL): A Notational Convention to Express Concise Binary Object Representation (CBOR) and JSON Data Structures</title>
<author initials='H.' surname='Birkholz' fullname='H. Birkholz'><organization /></author>
<author initials='C.' surname='Vigano' fullname='C. Vigano'><organization /></author>
<author initials='C.' surname='Bormann' fullname='C. Bormann'><organization /></author>
<date year='2019' month='June' />
<abstract><t>This document proposes a notational convention to express Concise Binary Object Representation (CBOR) data structures (RFC 7049).  Its main goal is to provide an easy and unambiguous way to express structures for protocol messages and data formats that use CBOR or JSON.</t></abstract>
</front>
<seriesInfo name='RFC' value='8610'/>
<seriesInfo name='DOI' value='10.17487/RFC8610'/>
</reference>



<reference  anchor="RFC8747" target='https://www.rfc-editor.org/info/rfc8747'>
<front>
<title>Proof-of-Possession Key Semantics for CBOR Web Tokens (CWTs)</title>
<author initials='M.' surname='Jones' fullname='M. Jones'><organization /></author>
<author initials='L.' surname='Seitz' fullname='L. Seitz'><organization /></author>
<author initials='G.' surname='Selander' fullname='G. Selander'><organization /></author>
<author initials='S.' surname='Erdtman' fullname='S. Erdtman'><organization /></author>
<author initials='H.' surname='Tschofenig' fullname='H. Tschofenig'><organization /></author>
<date year='2020' month='March' />
<abstract><t>This specification describes how to declare in a CBOR Web Token (CWT) (which is defined by RFC 8392) that the presenter of the CWT possesses a particular proof-of-possession key. Being able to prove possession of a key is also sometimes described as being the holder-of-key. This specification provides equivalent functionality to &quot;Proof-of-Possession Key Semantics for JSON Web Tokens (JWTs)&quot; (RFC 7800) but using Concise Binary Object Representation (CBOR) and CWTs rather than JavaScript Object Notation (JSON) and JSON Web Tokens (JWTs).</t></abstract>
</front>
<seriesInfo name='RFC' value='8747'/>
<seriesInfo name='DOI' value='10.17487/RFC8747'/>
</reference>


<reference anchor="WGS84" target="http://earth-info.nga.mil/GandG/publications/tr8350.2/wgs84fin.pdf">
  <front>
    <title>National Imagery and Mapping Agency Technical Report 8350.2, Third Edition</title>
    <author >
      <organization>National Imagery and Mapping Agency</organization>
    </author>
    <date year="2000"/>
  </front>
</reference>
<reference anchor="IANA.CWT.Claims" target="http://www.iana.org/assignments/cwt">
  <front>
    <title>CBOR Web Token (CWT) Claims</title>
    <author >
      <organization>IANA</organization>
    </author>
    <date />
  </front>
</reference>
<reference anchor="IANA.JWT.Claims" target="https://www.iana.org/assignments/jwt">
  <front>
    <title>JSON Web Token (JWT) Claims</title>
    <author >
      <organization>IANA</organization>
    </author>
    <date />
  </front>
</reference>
<reference anchor="UCCS.Draft" target="https://tools.ietf.org/html/draft-birkholz-rats-uccs-01">
  <front>
    <title>A CBOR Tag for Unprotected CWT Claims Sets</title>
    <author fullname="Henk Birkholz">
      <organization></organization>
    </author>
    <date year="2020"/>
  </front>
</reference>
<reference anchor="ThreeGPP.IMEI" target="https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx?specificationId=729">
  <front>
    <title>3rd Generation Partnership Project; Technical Specification Group Core Network and Terminals; Numbering, addressing and identification</title>
    <author >
      <organization>3GPP</organization>
    </author>
    <date year="2019"/>
  </front>
</reference>
<reference anchor="FIDO.AROE" target="https://fidoalliance.org/specs/fido-uaf-v1.0-fd-20191115/fido-allowed-AROE-v1.0-fd-20191115.html">
  <front>
    <title>FIDO Authenticator Allowed Restricted Operating Environments List</title>
    <author >
      <organization>The FIDO Alliance</organization>
    </author>
    <date year="2019" month="November"/>
  </front>
</reference>
<reference anchor="EAN-13" target="https://www.gs1.org/standards/barcodes/ean-upc">
  <front>
    <title>International Article Number - EAN/UPC barcodes</title>
    <author >
      <organization>GS1</organization>
    </author>
    <date year="2019"/>
  </front>
</reference>
<reference anchor="CoSWID" target="https://tools.ietf.org/html/draft-ietf-sacm-coswid-16">
  <front>
    <title>Concise Software Identification Tags</title>
    <author >
      <organization></organization>
    </author>
    <date year="2020" month="November"/>
  </front>
</reference>
<reference anchor="OpenIDConnectCore" target="https://openid.net/specs/openid-connect-core-1_0.html">
  <front>
    <title>OpenID Connect Core 1.0 incorporating errata set 1</title>
    <author fullname="N. Sakimura">
      <organization></organization>
    </author>
    <author fullname="J. Bradley">
      <organization></organization>
    </author>
    <author fullname="M. Jones">
      <organization></organization>
    </author>
    <author fullname="B. de Medeiros">
      <organization></organization>
    </author>
    <author fullname="C. Mortimore">
      <organization></organization>
    </author>
    <date year="2014" month="November"/>
  </front>
</reference>


    </references>

    <references title='Informative References'>





<reference  anchor="RFC4122" target='https://www.rfc-editor.org/info/rfc4122'>
<front>
<title>A Universally Unique IDentifier (UUID) URN Namespace</title>
<author initials='P.' surname='Leach' fullname='P. Leach'><organization /></author>
<author initials='M.' surname='Mealling' fullname='M. Mealling'><organization /></author>
<author initials='R.' surname='Salz' fullname='R. Salz'><organization /></author>
<date year='2005' month='July' />
<abstract><t>This specification defines a Uniform Resource Name namespace for UUIDs (Universally Unique IDentifier), also known as GUIDs (Globally Unique IDentifier).  A UUID is 128 bits long, and can guarantee uniqueness across space and time.  UUIDs were originally used in the Apollo Network Computing System and later in the Open Software Foundation\'s (OSF) Distributed Computing Environment (DCE), and then in Microsoft Windows platforms.</t><t>This specification is derived from the DCE specification with the kind permission of the OSF (now known as The Open Group).  Information from earlier versions of the DCE specification have been incorporated into this document.  [STANDARDS-TRACK]</t></abstract>
</front>
<seriesInfo name='RFC' value='4122'/>
<seriesInfo name='DOI' value='10.17487/RFC4122'/>
</reference>



<reference  anchor="RFC4949" target='https://www.rfc-editor.org/info/rfc4949'>
<front>
<title>Internet Security Glossary, Version 2</title>
<author initials='R.' surname='Shirey' fullname='R. Shirey'><organization /></author>
<date year='2007' month='August' />
<abstract><t>This Glossary provides definitions, abbreviations, and explanations of terminology for information system security. The 334 pages of entries offer recommendations to improve the comprehensibility of written material that is generated in the Internet Standards Process (RFC 2026). The recommendations follow the principles that such writing should (a) use the same term or definition whenever the same concept is mentioned; (b) use terms in their plainest, dictionary sense; (c) use terms that are already well-established in open publications; and (d) avoid terms that either favor a particular vendor or favor a particular technology or mechanism over other, competing techniques that already exist or could be developed.  This memo provides information for the Internet community.</t></abstract>
</front>
<seriesInfo name='FYI' value='36'/>
<seriesInfo name='RFC' value='4949'/>
<seriesInfo name='DOI' value='10.17487/RFC4949'/>
</reference>



<reference  anchor="RFC7120" target='https://www.rfc-editor.org/info/rfc7120'>
<front>
<title>Early IANA Allocation of Standards Track Code Points</title>
<author initials='M.' surname='Cotton' fullname='M. Cotton'><organization /></author>
<date year='2014' month='January' />
<abstract><t>This memo describes the process for early allocation of code points by IANA from registries for which &quot;Specification Required&quot;, &quot;RFC                        Required&quot;, &quot;IETF Review&quot;, or &quot;Standards Action&quot; policies apply.  This process can be used to alleviate the problem where code point allocation is needed to facilitate desired or required implementation and deployment experience prior to publication of an RFC, which would normally trigger code point allocation.  The procedures in this document are intended to apply only to IETF Stream documents.</t></abstract>
</front>
<seriesInfo name='BCP' value='100'/>
<seriesInfo name='RFC' value='7120'/>
<seriesInfo name='DOI' value='10.17487/RFC7120'/>
</reference>


<reference anchor="BirthdayAttack" target="https://en.wikipedia.org/wiki/Birthday_attack.">
  <front>
    <title>Birthday attack</title>
    <author >
      <organization></organization>
    </author>
    <date />
  </front>
</reference>
<reference anchor="IDevID" target="http://standards.ieee.org/findstds/standard/802.1AR-2009.html">
  <front>
    <title>IEEE Standard, "IEEE 802.1AR Secure Device Identifier"</title>
    <author >
      <organization></organization>
    </author>
    <date year="2009" month="December"/>
  </front>
</reference>
<reference anchor="ECMAScript" target="http://www.ecma-international.org/ecma-262/5.1/ECMA-262.pdf">
  <front>
    <title>Ecma International, "ECMAScript Language Specification, 5.1 Edition", ECMA Standard 262</title>
    <author >
      <organization></organization>
    </author>
    <date year="2011" month="June"/>
  </front>
</reference>
<reference anchor="W3C.GeoLoc" target="https://www.w3.org/TR/geolocation-API/#coordinates_interface">
  <front>
    <title>Geolocation API Specification 2nd Edition</title>
    <author >
      <organization>Worldwide Web Consortium</organization>
    </author>
    <date year="2018" month="January"/>
  </front>
</reference>
<reference anchor="OUI.Guide" target="https://standards.ieee.org/content/dam/ieee-standards/standards/web/documents/tutorials/eui.pdf">
  <front>
    <title>Guidelines for Use of Extended Unique Identifier (EUI), Organizationally Unique Identifier (OUI), and Company ID (CID)</title>
    <author >
      <organization></organization>
    </author>
    <date year="2017" month="August"/>
  </front>
</reference>
<reference anchor="OUI.Lookup" target="https://regauth.standards.ieee.org/standards-ra-web/pub/view.html#registries">
  <front>
    <title>IEEE Registration Authority Assignments</title>
    <author >
      <organization></organization>
    </author>
    <date />
  </front>
</reference>
<reference anchor="IEEE.RA" target="https://standards.ieee.org/products-services/regauth/index.html">
  <front>
    <title>IEEE Registration Authority</title>
    <author >
      <organization></organization>
    </author>
    <date />
  </front>
</reference>
<reference anchor="IEEE.802-2001" target="https://webstore.ansi.org/standards/ieee/ieee8022001r2007">
  <front>
    <title>IEEE Standard For Local And Metropolitan Area Networks Overview And Architecture</title>
    <author >
      <organization></organization>
    </author>
    <date year="2007"/>
  </front>
</reference>
<reference anchor="FIDO.Registry" target="https://fidoalliance.org/specs/common-specs/fido-registry-v2.1-ps-20191217.html">
  <front>
    <title>FIDO Registry of Predefined Values</title>
    <author >
      <organization>The FIDO Alliance</organization>
    </author>
    <date year="2019" month="December"/>
  </front>
</reference>
<reference anchor="FIPS-140" target="https://csrc.nist.gov/publications/detail/fips/140/2/final">
  <front>
    <title>Security Requirements for Cryptographic Modules</title>
    <author >
      <organization>National Institue of Standards</organization>
    </author>
    <date year="2001" month="May"/>
  </front>
</reference>
<reference anchor="Common.Criteria" target="https://www.commoncriteriaportal.org/cc/">
  <front>
    <title>Common Criteria for Information Technology Security Evaluation</title>
    <author >
      <organization></organization>
    </author>
    <date year="2017" month="April"/>
  </front>
</reference>


    </references>


<section anchor="examples" title="Examples">

<section anchor="very-simple-eat" title="Very Simple EAT">

<t>This is shown in CBOR diagnostic form. Only the payload signed by COSE
is shown.</t>

<figure><artwork><![CDATA[
{
    / issuer /           1: "joe",
    / nonce /           10: h'948f8860d13a463e8e',
    / UEID /            11: h'0198f50a4ff6c05861c8860d13a638ea',
    / secure-boot /     15: true,
    / debug-disable /   16: 3, / permanent-disable /
    / timestamp (iat) /  6: 1(1526542894)
}
]]></artwork></figure>

</section>
<section anchor="example-with-submodules-nesting-and-security-levels" title="Example with Submodules, Nesting and Security Levels">

<figure><artwork><![CDATA[
{
    / nonce /                 10: h'948f8860d13a463e8e',
    / UEID /                  11: h'0198f50a4ff6c05861c8860d13a638ea',
    / secure-boot /           15: true,
    / debug-disable /         16: 3, / permanent-disable  /
    / timestamp (iat) /        6: 1(1526542894),
    / security-level /        14: 3, / secure restricted OS /
    / submods / 20: {
        / first submod, an Android Application /
        "Android App Foo" :  {
            / security-level /  14: 1 / unrestricted /
        },

        / 2nd submod, A nested EAT from a secure element /
        "Secure Element Eat" :
            / an embedded EAT, bytes of which are not shown /
            h'420123',

        / 3rd submod, information about Linux Android /
        "Linux Android": {
            / security-level /  14: 1 / unrestricted /
        }
    }
}
]]></artwork></figure>

</section>
</section>
<section anchor="ueid-design-rationale" title="UEID Design Rationale">

<section anchor="collision-probability" title="Collision Probability">

<t>This calculation is to determine the probability of a collision of
UEIDs given the total possible entity population and the number of
entities in a particular entity management database.</t>

<t>Three different sized databases are considered. The number of devices
per person roughly models non-personal devices such as traffic lights,
devices in stores they shop in, facilities they work in and so on,
even considering individual light bulbs. A device may have
individually attested subsystems, for example parts of a car or a
mobile phone. It is assumed that the largest database will have at
most 10% of the world’s population of devices. Note that databases
that handle more than a trillion records exist today.</t>

<t>The trillion-record database size models an easy-to-imagine reality
over the next decades. The quadrillion-record database is roughly at
the limit of what is imaginable and should probably be accommodated.
The 100 quadrillion datadbase is highly speculative perhaps involving
nanorobots for every person, livestock animal and domesticated
bird. It is included to round out the analysis.</t>

<t>Note that the items counted here certainly do not have IP address and
are not individually connected to the network. They may be connected
to internal buses, via serial links, Bluetooth and so on.  This is
not the same problem as sizing IP addresses.</t>

<texttable>
      <ttcol align='left'>People</ttcol>
      <ttcol align='left'>Devices / Person</ttcol>
      <ttcol align='left'>Subsystems / Device</ttcol>
      <ttcol align='left'>Database Portion</ttcol>
      <ttcol align='left'>Database Size</ttcol>
      <c>10 billion</c>
      <c>100</c>
      <c>10</c>
      <c>10%</c>
      <c>trillion (10^12)</c>
      <c>10 billion</c>
      <c>100,000</c>
      <c>10</c>
      <c>10%</c>
      <c>quadrillion (10^15)</c>
      <c>100 billion</c>
      <c>1,000,000</c>
      <c>10</c>
      <c>10%</c>
      <c>100 quadrillion (10^17)</c>
</texttable>

<t>This is conceptually similar to the Birthday Problem where m is the
number of possible birthdays, always 365, and k is the number of
people. It is also conceptually similar to the Birthday Attack where
collisions of the output of hash functions are considered.</t>

<t>The proper formula for the collision calculation is</t>

<figure><artwork><![CDATA[
   p = 1 - e^{-k^2/(2n)}

   p   Collision Probability
   n   Total possible population
   k   Actual population
]]></artwork></figure>

<t>However, for the very large values involved here, this formula requires floating
point precision higher than commonly available in calculators and SW so this
simple approximation is used. See <xref target="BirthdayAttack"/>.</t>

<figure><artwork><![CDATA[
    p = k^2 / 2n 
]]></artwork></figure>

<t>For this calculation:</t>

<figure><artwork><![CDATA[
    p  Collision Probability
    n  Total population based on number of bits in UEID
    k  Population in a database
]]></artwork></figure>

<texttable>
      <ttcol align='left'>Database Size</ttcol>
      <ttcol align='left'>128-bit UEID</ttcol>
      <ttcol align='left'>192-bit UEID</ttcol>
      <ttcol align='left'>256-bit UEID</ttcol>
      <c>trillion (10^12)</c>
      <c>2 * 10^-15</c>
      <c>8 * 10^-35</c>
      <c>5 * 10^-55</c>
      <c>quadrillion (10^15)</c>
      <c>2 * 10^-09</c>
      <c>8 * 10^-29</c>
      <c>5 * 10^-49</c>
      <c>100 quadrillion (10^17)</c>
      <c>2 * 10^-05</c>
      <c>8 * 10^-25</c>
      <c>5 * 10^-45</c>
</texttable>

<t>Next, to calculate the probability of a collision occurring in one year’s 
operation of a database, it is assumed that the database size is in
a steady state and that 10% of the database changes per year. For example,
a trillion record database would have 100 billion states per year. Each
of those states has the above calculated probability of a collision.</t>

<t>This assumption is a worst-case since it assumes that each
state of the database is completely independent from the previous state.
In reality this is unlikely as state changes will be the addition or
deletion of a few records.</t>

<t>The following tables gives the time interval until there is a probability of 
a collision based on there being one tenth the number of states per year
as the number of records in the database.</t>

<figure><artwork><![CDATA[
  t = 1 / ((k / 10) * p)
  
  t  Time until a collision
  p  Collision probability for UEID size
  k  Database size
]]></artwork></figure>

<texttable>
      <ttcol align='left'>Database Size</ttcol>
      <ttcol align='left'>128-bit UEID</ttcol>
      <ttcol align='left'>192-bit UEID</ttcol>
      <ttcol align='left'>256-bit UEID</ttcol>
      <c>trillion (10^12)</c>
      <c>60,000 years</c>
      <c>10^24 years</c>
      <c>10^44 years</c>
      <c>quadrillion (10^15)</c>
      <c>8 seconds</c>
      <c>10^14 years</c>
      <c>10^34 years</c>
      <c>100 quadrillion (10^17)</c>
      <c>8 microseconds</c>
      <c>10^11 years</c>
      <c>10^31 years</c>
</texttable>

<t>Clearly, 128 bits is enough for the near future thus the requirement that UEIDs
be a minimum of 128 bits.</t>

<t>There is no requirement for 256 bits today as quadrillion-record databases
are not expected in the near future and because this time-to-collision
calculation is a very worst case.  A future update of the standard may
increase the requirement to 256 bits, so there is a requirement that
implementations be able to receive 256-bit UEIDs.</t>

</section>
<section anchor="no-use-of-uuid" title="No Use of UUID">

<t>A UEID is not a UUID <xref target="RFC4122"/> by conscious choice for the following
reasons.</t>

<t>UUIDs are limited to 128 bits which may not be enough for some future
use cases.</t>

<t>Today, cryptographic-quality random numbers are available from common
CPUs and hardware. This hardware was introduced between 2010 and 2015.
Operating systems and cryptographic libraries give access to this 
hardware. Consequently, there is little need for implementations
to construct such random values from multiple sources on their own.</t>

<t>Version 4 UUIDs do allow for use of such cryptographic-quality 
random numbers, but do so by mapping into the overall UUID 
structure of time and clock values. This structure is of no
value here yet adds complexity. It also slightly reduces the
number of actual bits with entropy.</t>

<t>UUIDs seem to have been designed for scenarios where the implementor
does not have full control over the environment and uniqueness has to
be constructed from identifiers at hand. UEID takes the view that
hardware, software and/or manufacturing process directly implement
UEID in a simple and direct way. It takes the view that cryptographic
quality random number generators are readily available as they are
implemented in commonly used CPU hardware.</t>

</section>
</section>
<section anchor="changes-from-previous-drafts" title="Changes from Previous Drafts">

<t>The following is a list of known changes from the previous drafts.  This list is
non-authoritative.  It is meant to help reviewers see the significant
differences.</t>

<section anchor="from-draft-rats-eat-01" title="From draft-rats-eat-01">

<t><list style="symbols">
  <t>Added UEID design rationale appendix</t>
</list></t>

</section>
<section anchor="from-draft-mandyam-rats-eat-00" title="From draft-mandyam-rats-eat-00">

<t>This is a fairly large change in the orientation of the document, but
no new claims have been added.</t>

<t><list style="symbols">
  <t>Separate information and data model using CDDL.</t>
  <t>Say an EAT is a CWT or JWT</t>
  <t>Use a map to structure the boot_state and location claims</t>
</list></t>

</section>
<section anchor="from-draft-ietf-rats-eat-01" title="From draft-ietf-rats-eat-01">

<t><list style="symbols">
  <t>Clarifications and corrections for OEMID claim</t>
  <t>Minor spelling and other fixes</t>
  <t>Add the nonce claim, clarify jti claim</t>
</list></t>

</section>
<section anchor="from-draft-ietf-rats-eat-02" title="From draft-ietf-rats-eat-02">

<t><list style="symbols">
  <t>Roll all EUIs back into one UEID type</t>
  <t>UEIDs can be one of three lengths, 128, 192 and 256.</t>
  <t>Added appendix justifying UEID design and size.</t>
  <t>Submods part now includes nested eat tokens so they can be named and
there can be more tha one of them</t>
  <t>Lots of fixes to the CDDL</t>
  <t>Added security considerations</t>
</list></t>

</section>
<section anchor="from-draft-ietf-rats-eat-03" title="From draft-ietf-rats-eat-03">

<t><list style="symbols">
  <t>Split boot_state into secure-boot and debug-disable claims</t>
  <t>Debug disable is an enumerated type rather than Booleans</t>
</list></t>

</section>
<section anchor="from-draft-ietf-rats-eat-04" title="From draft-ietf-rats-eat-04">

<t><list style="symbols">
  <t>Change IMEI-based UEIDs to be encoded as a 14-byte string</t>
  <t>CDDL cleaned up some more</t>
  <t>CDDL allows for JWTs and UCCSs</t>
  <t>CWT format submodules are byte string wrapped</t>
  <t>Allows for JWT nested in CWT and vice versa</t>
  <t>Allows UCCS (unsigned CWTs) and JWT unsecured tokens</t>
  <t>Clarify tag usage when nesting tokens</t>
  <t>Add section on key inclusion</t>
  <t>Add hardware version claims</t>
  <t>Collected CDDL is now filled in. Other CDDL corrections.</t>
  <t>Rename debug-disable to debug-status; clarify that it is not extensible</t>
  <t>Security level claim is not extensible</t>
  <t>Improve specification of location claim and added a location privacy section</t>
  <t>Add intended use claim</t>
</list></t>

</section>
<section anchor="from-draft-ietf-rats-05" title="From draft-ietf-rats-05">

<t><list style="symbols">
  <t>CDDL format issues resolved</t>
  <t>Corrected reference to Location Privacy section</t>
</list></t>

</section>
<section anchor="from-draft-ietf-rats-06" title="From draft-ietf-rats-06">

<t><list style="symbols">
  <t>Added boot-seed claim</t>
  <t>Rework CBOR interoperability section</t>
  <t>Added profiles claim and section</t>
</list></t>

</section>
<section anchor="from-draft-ietf-rats-07" title="From draft-ietf-rats-07">

<t><list style="symbols">
  <t>Filled in IANA and other sections for possible preassignment of claim keys for well understood claims</t>
</list></t>

</section>
</section>


  </back>

<!-- ##markdown-source:
H4sIAGnPHGAAA+y963IjyZEm+j+eIo09Z5vUAOC1rjrSLJtkd7NVty1WqffY
2EiWABJkdgGZUGaCLHSr1uY11mzPy82THPfP3eOSAKpbI80emzXJdnuKyMwI
Dw8PD7/7cDh0bZdX0z/m87oqnmddsypcuWzwr7Y7OTp6dnTiJnn3PGu7qXPT
elLlC3px2uSzblgW3WzY5F07LPJuePTUuYfb59nb83c32fd186GsbrNvmnq1
dF9kk7pqi6pdtc+zL9dF+yX91K7Gi7Jty7rq1ksa8/rq3dduWT53WdbVE3sP
f0yLZXdHv5zx323ddE0xa8Mb7XqR/jCpF8t80kVvrMbht6rmn5rZpJi23Xpe
2Gtd2fEf7+6K7KqiP9bZedcVhKCOYMze1R+KKtu/On934PLxuCnun2f0h8ub
Iifgq65oqqJzHx4IV+VtxYvPo88n47qhRU/zjqY4OTo+HR4fuXzV3dXNczfM
yorA/2aUvaTdWOcLgk8Q/U3ZlNO7vIke1A0h+b+t8jmtaJG9KyZ3VT2vb8ui
JSgmI14t4aeglT568uRR9rJuirt61RbZZVPeF4wdWtrz7CavssuyuK0ZF8Ut
wfg8u8jn5axuqjIHEldV19Cb72/O6c/lHUhk7x+Ps6ePnmaPHx1nT4hA9uhR
scjL+fNsISD+1z915ehPCt+I/mPLezHKXqyq6XieTwu/wBf5qimqSZE8whJv
ismq4V2gDambdfbixUWYa347/69lO6cZh03BFBFP9HKUfZXP54T7oqlbP9XL
8nZVzHuP/v/FZoTMs5NnzyJcjgXKncj8bpS9/vKyrurbu1XA5ndFUyzW6ZNf
vsKTJ8+yr/OmIlKtV7d32ds6n/oVRg+wnClT5/vjs+zJi5tkfVXZFdPsd3QA
pvUiWurZWXZ88ugkO318evw0WuoP9RTAbi7VVXWzoONzXzBTePv1xcnx8TP9
59NnZ/bPJ4+On4R/+l+fHh3Zu8cnj/0/n5z5fz46sX+ePvP/fHzsP3tyRuPS
v7//5uYpviJmlDe3jKq7rls+Pzws8qa7G5bVrB5Vt/loUc4PvyGa/OZwuRrP
ywmOfnvYNU9PHx2NTg4fbtunZ7OyGi2nMxlOWM4rvJjPs+tFflsQrdMYdOKX
S+Yi57d0PtaycTTkPHtbLIngMxlzQMejbKbZ1bTkMTCqsRX+91D2/xfMgNeN
Px0d4U/6z/X5q/PRxffvRhfzvFy0W9Hw8PAwKvMqH9Fch3nL/G9RVF17OHno
4nVefPX6bfZ9MTZmSsMeZDJuDHgWQ87zR6DN8nlbOIPrux5cCWDt5yD7QSEz
0L67ef0qBu27HmgpbBvA9aF7f3FxM7rkW3IHYF1dz9sR36AA7a5bzA/lVh2X
zYe7ev6j3KyryaQdHh0nsJ4LIt/ltxnxFzpxy6buigkfO8KoQk38s0tBN8hn
q/lc2MW3RfUh+0rni9dxcnRyxMt4d0ec4Zs3b0bXL6+uN7eeF8K0mM9Hp7fL
JVYyLdoPXb1c1NMVMbDDm2UxKWf+KCR/XhYdcYB2lLfLj//Uxk+up795cvIs
Jp1TovFviqpo5Dp9QweP/mjvymX2pql/oNX/OjoiyTQihGQXxLqzV0X3QKIJ
yP9d0SxKOhPtr7NXq8W4aOgsDLJ8OqUbpcX9TS+VUyIXP9Su43VKOErOz/Gz
jPH39fXl69H529dXz+O18K/ZOY3CQ9PAtIfn83n9QPv3lnh+U2IrXy+xWILj
qrovm1oIN3tRtt3WjZiV05ouDaL2SYGdYIy2+Hm4ymfD++PR0XA2HTJwx8fH
j+RJLhMPGciNV0ZMlrvWzHKSrEQnjRDwqr4vGKMBE1fnr4bHp9tJiA/pbXss
QLM8mjfT9nCcN3zLtMRkq+FqOYkxKOKW8bTzhtA4L3QXCT6a7PD9m4vMhti1
hG9ujnu7xqBe1DffX19uB3X3sYUw3OaTxXBStw/ldHj8OGF9dTUpSWy4qWfd
A8mM2XVCWHyY2+0IlJNI1FBdX9IoFZE6k/J2+Gp6rZyOSBLV7ZcfCCZ8SP+3
KYbHfzwKO6vwyfiZTiCHhaiBhA36hM64UGLR0D/yrC267HgbtE8ZiWfbeHlg
Oq9GJC19KBerJt94RlLNV00+nRfrjUck1H1HgkS78eCrUTYtspfFtChFpEsf
X4xYaOvKBa3IOb6qU5ni7PjE7v6zSKY4PjnC3U/csbub5mtSBfLJh+QY2yOW
8+nZ1v0oqtFD+aFcFtNS7iD+69C+/KN8Odp6v10W954Kleqvrq6yGz0gg2wP
fz89Ohkdn78VcZnE0uK+nATqKpq9aPDLYmJUdfRs20XuTx+ReCFchMQVUpPo
PNqzQ51xyIMIHfH5vnh5fjNpymWXgHw1WeTpaSW4w7sk/le3K5JIUo49yB6N
jk2k2RtgcL/w7OTxSbSm7LtVVTDZHe+STAqCgWS0CAYsDD/TWIc01yHPwH9A
MmOR7/Ri9E1RvyBFNF4O/TSv9cSev7nu3TMnVSqHCYDf5dUqJ4mLQHy6k/09
nAKmd28Pb8MUQ5ri8ItJXTdTuqdIl/wjVjHLlddu4Wikd8+nxH0KyDJ0mlk3
KlcLsJD316NvVvQsXRL/Mi/pZIkwQTyqnmVXH7uimtItROL8n1YxPZEK/P76
YJC9bm7zqvxRMTpfb3vzNd7ka/SCte9qTVRNUt/15UGEn/PV7artGD1PtqJn
C00SNyPwusNpvjjkH4fh1gj/eijGh9N6shJ5r1vRNVvS4TosVqXtMmPkRV1/
WC03z9lb0uLoLta9BqZhEggy5FZoSfnjbRltgdr/RJLdkKEjJeHwviwecIi+
aGTCsmi3sgOCafT2/JfC+UsxSZLjdDUhObMtGmYcrS3gkI598TFcE9vAIUbA
TOB4N5PKviaSokPElzQrHEXX1Mt6XtJjurWL3OSxNnt9zwAUD3jvvJnclSzR
EkfbfmSKcUv7WYzyqi17cgOvDf8h8Bi6hv7zJFVunnjZTLG33pTP7AmfhjcN
3S7ECOk8/D6fr4rtW79DAGN1ls5yJI3pTq+H98RIh8tW5K2T4yf/bnkrYuws
b2VY3pub4fHZUbIyb1N5W/xpVTaFiJR87i+a9bKrb5t8eVdO6MaE9L51mZO2
mYwqWsDotr5PFd0pBHpa5LI9pKkPT/j2yHeuKCilVUsArsB5jHTiU/AyZ/YJ
LQjyGSN0dEELIZk9TxYozzJ7hqVd253PYpaZP9YBF1f3tKdBvN/GnmUPJzqq
qjzgRJPDmJUtm3IunMwNh8MsH/PJnHTOnVc/Y1PM6CTeEydusxz2QyK1fbEf
FtMDCFz1zE1Es+vu8o5knpbgGRcZD1aAyU7ucp6NQCR0TlrGJp2zAvMOsm69
ZN1ovnY5fQwpYV5+oC/FQkNbwm9f1+/06YjVv4KuA52VhdZVS3CNSeJxTTFf
s0S4JEVsnXU1fdRBnyqyu/ohW6wmd1nZZQ9lS2Pwc1iUCfRCARoJUs7fZWWb
FSU9oPmhvxIgpH3Tp91d1taLIrajDom70fcEhSJjREik7+a8aQTDLemrdOPM
5zQTjWv8n/5BUPBEuNccT8MYY/uBbFVFGvQf6b4kBjxesazr3LuvLp08XJRT
kkmd+4JFGeGYTC3ubbGgzwybsbm35H2crYiSeXoiceWvsndQuviNBgM4HaBl
pOX8+6Iel6TQYGMG2Ba1Lw/r2fDdHYHXZvu0VQc694CQ5mrgkJa3rElOYJwz
TRW0DW0xn/HfPGG0bQOmNYKLvuLNdwojNp4XIFDylm3s9oeKNhmb0yM6l4/r
leyzoYXwPCUxiWSSh7sCMBJhgBza6L2RR+cvx+OEMEPPimZeEv3y0I5NIfWE
lDTMa7eavF4VRDcGfIAToNAtRBRDUhAfGxeBPy5mrAvRuBP6nJAwyl4Tkd/W
9ZSoKV8saZ8IynFJyGDVHUZ9Vex5BbTmpsA8/pWMmNGENzEDifLZq2JM8Lnr
HTAGvfWwYzURjDQMj4Kf6d/8ToUzWbstk5JC19DdOl/TRp9XSjVhJSpcZWpU
YkIPa0ihesj5+ghQeYAeSjqBOgD/7og/5kZXtzDjzMsfixYLrzNTMcEbioa4
aGt7tihv7zpMRC+6sPo8WnvYwLVtF2hXF6tDMwg82bhw+YRoQllZ2RHl8d1K
mOD9YqYZESBWTnMIg2GaWtBlRFrxfDWlY0e8gp/St25eLmD5Zl5Hw81qBYHV
yF+xkYpGpv/Hzxb5Bx2rJtnbftUF0XmawkKw/+33B3/ZpyDSlkT+ATaonKwI
7DmEQb4IW73xAhMlgli2PMfLIm9XIg/YmK1ZKvZvvj/ImlUFn1ZCqfwl8cxZ
ebtSARSHDhdSAhm/GFmx6BxvuauihRgnJNaVffPmJjONiHbq9eXr5xkPwtOx
I4ZXFl+qV3yNVsp43hbtat61tMVffMGXywBXCz9hC61zLJ/O5sXHkvgt3878
hFAB8MvFfAmMKCui1WVQre5zwl8HybCITHMDvs1aMCW6lvVKg6X2p5/UY/Hp
E243tjX/9FNQg+lnEVFGDicksYWSOLCgNeRVUa9a0rPs4ieeQ2dXP2x3X6eE
RhNeaQkCyumzk0+fmP0zFjbeCMZrfomvBsHa5kDsb/n0aSvUctPyKa4Jncmz
Vu72fCq6MlODiBi8ldHh04OZmmBxQDNj81kxF6LlaxPrH/hbBqg3dAuaBnos
5eJRRsQc714IqvUSzgatjNwLZgG0ASJZFEssT8+Dh2eSNw04JP9K4IzcdaUX
Zc5Mja4+ZiBEIDSJsVp2gGf7xeh2NMheXr+8wg8H+FTYc//b7k48dCuhVKy0
y29b3gllWFWdzcqPtJgFibykqbeLLJ80dYt7HR9iUD0Zl5cv3LZdXPG8/HSg
lPP4+AiU0+qyywXbNoDdOc9BTFqIhI4RnWFsrEiSdJ6Wslm0J3xFZqUw+0Ll
AJ5GboNF4ej/KhXj0S87RXRp0nCtHdkRiU34fKInmj8ZkJTOW1d+zK74t2hZ
hDYn9FFMR9l5IM+GlSEIwLflPQCnz35o6worqJcM0Ax04bzEKXdmNBfhtqza
1Yxwy9yXkLL/isUdvczLVi+SCIW5J9FFQZquiNH0jzkz2DGpzgUBA9xAmMXq
+EaqKybTsBMViAVM1YsOeuSiE51KzMLGCKMsX9ELqypfjInRCxOi13m6Az2i
zGdSwnngAwmVj8+TXMrYYDy4JzUxH89VOCynWDfTZLmdBep9y8IgBgHUpbGD
Rd3i1npQ+cc4ZJ/hCa2rHmYGB/DNPdFJ9ox5s6lKryKiNH8pjXOSGhZjWv/+
HoevQEveOwBSHX8q29VB5s5YCEtk2UoFg2ahqhnzB5wNF7/X3tWrOSMtm8RK
OYxsBDRhBagbr43HOI6uoV1riGjlDkjEw+G8uC/mtjSOg6mZyREILT0g6nJ+
Lfzxl6RTZddAJC2Xhp2qxEU4ETQF4XvSFKJ8AgwoWW3NkAm9glVPSWqmbaRh
SI6BAiOq4P5b0l9oS16SINNUCmu7QwkiqeiehR/el3I2I4okEi0+kkADsSC+
hrPaO85wzYT3Tf7JgBBaJt/+KvkOaMscpF8YEHATpRDQ4QMQtNh/+9f/lS+X
7b/96/8bCwCCFhKUSAmqIijaNSnxi2z/9Y1QCinIrPrQJTYv+IDkjKcpUcu8
zqe8tY4HH/EeMLvP563NnL27usr23zH6CJ1XtvxYtDowLcBNWbKqJnTnlW3N
HGMqpliZfVMWJC1rIvwOKCo/FJHykCo1MXOcrwd2MRl6ihuCku1RU9p7p46J
K+H9B9mQ1nFXMj+y7WApVPeqmBUVXzn5bU7Mssu+/d6Jj6QNRAeVVUiESMi0
ii1KuNz5LtJjzaISKQN8b97SL9ApUgrJZk29IK5STu4cLZEwdSt2eD4gdtjn
A+EWJfGcgjUYvyt90nB3IqSYPINT3JvRH9KqLYXveguOci863cEzzGdn3ppU
/LZ4YAtVts9kzeoIA3sgfL0VVY6Z0BwqlQrciNbLI3urxPaxONkRTLnabLw2
w6JHUah6US6hAJL4TK+xfEySBQPoad9BSyF83bAEFI6E/KwEE+7ZeFRxiuF/
LoTkjdxz2e5SBRCxkPA/g+VK/uZ4Q9aE8O/VeOh5d9249CqMacab4crIaghb
gV51L/NqNcuBqkagEZ7KRCAaaz4tYjuX0qdKbrlQO0kRUwYud5OymayIusY1
28uVDctjEb3t37OM77z2jtU25feZme8VtreqnXN0BE2s0ImJZ+BNJzRYD+AP
RWuiJAMeL72snN4ykcXEE+S17Hl/YweqqgZMCV5biNiQhoke6bgk996HYs1G
CrawzrP989+9PGAJsY5mzKarBrP4kdkeIwKDGAoIw/rOBgS4jIB8HPVZPm4s
qoPeEfVvn349wJUvg8B8nQXKwRA95IvhdO26csGoM7lspEa0XQssVdeAYi4B
o471R6L73Wj1tgFi5If8oenoqoYomuRadnIt267KnqbCUSLyjST0VVTIfP6Q
r1unpmiVNXYuxu+uf9ctknPyeUpJrUoLlg6I6LPVEoYl2U3inzjJBFAOPqVL
Vnjv6dqaihWceWcLvUruFGb14OQi8rrSf2hnk7nuXc6iOiOlJ2UwHkbZtyzN
M6aZep0KDXzufhVjDdL5ouwiO1CyNkFxutxbidOCVa5d1hXbGHtngTVDNt6S
/JRNikaVYWLtWBZjO0tofds0hHimAGGbIkZOTMv+a9dA09tXrd8U2JvjiQID
Amo9pWyDXc3SxCJWTaUw8w5DjlTLf3RB7FzAtBRT525oBowZ2nwEA4M6A72n
/KOxN+EBUcOpouSaY7Jk+CKgQMyFH4rtC4jUIMGzy/qYVhGwYKWTDkw5W8e6
W6mWhYdcDFdNMeTjwbuhAOyLoSWWgTU2nQiMhe9zeErYy7NxOYPYV0t2dhVy
srrItkB6NkacFI6Nk2zDvldlHYgZqQpBSj97y8QfocMJ2wlWNLcxN72r0hVt
nXJn2HCL5bxei8GnAnlCuGPe5uRaYbWR3QSToqLx61as9f2fM4hitiMRNTiz
oZMSUHTljyw0Q71keZhg2UIYIgwqPfCNvmzK+3yyZqb4ce2JXm2zEXWoVlx2
m6fObTl1NMm66MJE7Xqhwvmue8XpZqsdBIyuLTYpWxVO5RCgxPikDAjSSc7y
ATNGgsoMpDxQMvcDxiEUQ7V3kTindizCbnJRsbVHVEjh33rdyD0Iefd73Y9X
xPrMNczbIgJPEEvVdtJGr+BqhUXwB3M9tvkC61+Dutlqv/FB8EBC4P4ieyc7
g0wVtsXDzudwV3tzXLR54A3rYBD00xLF0dit+R1F/XRe/QRUXojJWXXiAw4z
KqYmzjKfQqdWzmOeroEbr6rpHO/ziaiyb9+9e5PdFSSINrDfyvojIAmWWcn3
F+4/F1vAYabqxBxKW+qP2LipeTyCrF6KDoirM/qU1edlTXiCdUJJBgYF4SXF
fDaEukMAiHNXedE+o0S/XLs8Ui3lPeIybAgx/wKRUzlsiBPkxMLA+Ltoi7wH
0EiikVAHcIvZaj5j1xTvUKR3mBLmmigsYiTeAb5vSRc1+8QA3JQvlUxjKhks
pgOeSzQhs8zxQaL1D0VQ5JVGLtFuU15nSzErJjDMDrx1J9iDQpy36cdsdZ2U
9YpQDJ+W4MPMwq9JEQe50T9MDY7kTfF2BOTqkYZgBDsy86eB3D7lzJajPsL7
Yg3LkBiiYQhdcJQjBzDFGIjXrOt1b8T7jMX2viRRDIjM25K2P7rzeOZlvmYb
CWtw+bzT68ZLhHpeb3RxN5M72kjhEzxFtmfLbvFkz7NKIgzcZibuqMFGrgK1
PDoSSIcslCofh/OHmMd4TioZBt2S9JUyZtGkLBzD3te1iW0GbBckUXZ6wIQl
lNV9Pb8Hu3XXl8JE/vvo0dGzWB5kp1rJZrcGckGncC1IyGjYLuy8GKDHJsFK
Pr/l0LG7xZ5go1W2ITjxT2l6s2SCvjxSu2aF+2REvDpyP2Yb42fhZtKt4J3w
x3SsHhbjzKLbqvQt1ocFH0jvTrBIgXZF9DOly1fQWjKHLZu2G8j5LlxVV8N7
NoWxUY/jxzjwtF3mk8JWpNfSTDwU/b10fi+V77MZa862Mnh+vSTJOIMJnvSO
4iG7I+6MhZXsIyQOJZLKgvUhNlrACTvieCQS/uXY89XMOW8TtWx7/UpFNxdR
lTpaWLENtuoIwIEyUciQxPzKFhM5ErRIswEbZHzJNtuEoimPJLlokKlIM4R3
pbmP6N3JDrYSS3R1cXl+nu1f0SzEUibZxYpNdZfCL88J/+sF86rIXXvA2+rY
HkEXCcga1/iq7CBEwA7b81e9hqDJ2jZzdAiHMLmLL4aERrmOBmpoSCjNrmwX
+T3AWZoaFyKjUK5XHzpqfiglEU5TxVurjk10zHQ0kwRhZcJv+OA/1A1d13sv
39+82xvI/81evca/3179t/fXb68u+d83356/eOH/IW84+uP1+xf6nP8Vvrx4
/fLl1atL+Zh+zXo/vTz/f/bATNze6zfvrl+/On+xt+ndwVmC+dM74UQsiM0D
7quLN9nxmbhQOPfu0yd1pxw/OaN/P9wVlfAtULv8KdIV6dJ5oyZBN8mXtJ2s
7NMEdJs9SFjFSD2OHqimgLuxC9gUBZfdsJG7eQDG4xSSR+LJriT3KfX2IBMq
e0XSl1nq7lYk+ZLwIIZ2ZE36O0DtsnxsxW1pA/yuWNv3cLYt8iV22JyQv2wU
RI7aOBxySPc5B2eHi1edpefyD30n8khhcpgzSr6fbPp7GdiluV8bENvr9fgH
icrJIcJ0uDIirdLf7arrJAJxHGhBaMleJvY6mzO59wwxfBAj48AHNpFdz1T9
4Sgo5zWaIPp9+/L8YiDeYnORcnwkYpUSBWjkkrHk66uLi0FwKFUSm4y8CiIU
SbBg4vHDu9K7te+ZpfAt5qWiCyxrmZcN4BZW51SGGJj7Pg8hBFfVHYfpTklp
EIXw+nKQlSO6IK/eXF8eqA+8M1N2gjTHAV+mwvBMUIdkQ8WKpW5SFUBDUEhF
N07Pt9sPq2DVnL1KbmFRD+oI7H8ocRCmsagbsCnS4KKg4au+RaDCsc1TPHe/
Ir6/VoqOAYoiPfWyAt6YZWgcCyQvZt0waHAUickdOOi9xFTiRwYnP7EXvote
YCubLDDE2sP6xVaQKMpVFJx8zo9IlomecIo75+ute195zMCPzR5zEi9qiS9L
xJQ2wz3AfPe2Yt94LNxUHEU7y1fzTs40biP2pCLeU7JX5Szl4xY+eiGFVLf2
ui2tUow3ZrHLW+/ZxJesmPFAIi+4sZgGenKVXMew25i4io8RllpWetlKtIFF
ALMZECvQ6KFgLBJZG0YgxFMlZlYcVQfLDN3HSzYPcXCJZ6Ps+edKFerY7Ug3
VsJfCm4jgX4jCMVxQsNyqgFuBEstwZzZlX9FYgeERHMfa3CL7NF91n7kn+BB
FpiR395yxoRXThHKE4UnzAq1Vs8A/4GPSTEI/BH+6Sf7SXlSND1R2KpBwEzt
PEMvKlCwj/3APXSoNwuxKXiF4BgkGY/PbI5IAglpFGfOz8bP8cMkhk5C1jlT
EBjbJ9jx4g9deSBXkGBQeNoePd6ze+27/sMfoofvYIRkWZD1AFpEISZDbGBt
ApgZVRFlRbuwkpwj3Cber8pGitbhJExrRKooD2NmgXCLdcJyhFpYtzOtujEV
GhqbjM5xNXywzK3ube90QqpJCL417h9Z8JwPm75d0S6QwEVYJ0n6DuHGEh/d
m5+NG2oBe0eSLu3NYqlEuk/S7oGImXv0z70eb6X1xjw7OhJ0AERN7CQgt+BY
DJjfIhkEixXyg4idd+IAjyUEkdjnczVFqDFDN6ENESYIBgXPUv+kuGJUPbXR
TFUp5lO4JmnDzS3Gb5FAX9ZT7AXDo0bTdEKYEKeqMOsHOiyzCzVh0JrZk3Ol
vhth6CHulYgy5wFz9sXW4tajY27hN47WpEe6/KivMhRzuMiBqqwlMEj16dQo
MUewE+k+RXnPOAicnreCjtmKDWy2veDw9aSEh0AYXJx+QSc/3sCSoLuVyO/5
NLasCk34UVUujGIgcObnNeztQ0kVEH2XMSmHkY8Z0bl85Owj9kAn30HTl11g
bKswiXsh74ylVg4fhZk4zBUyASGmXJbKkHMdSB0W6UROfZdhWJ0PQRIsQ3GU
RNPUbIw/zx6fDccsV9FBu6XHvahAsP9lzSRdLkS+9i+wky2vbrHWfzwcZo+O
jkhtpy0lrX1NGk3LSqU4OVjjkTUB+h5GPf4h3dWZQ6jDkmlBDMm3oFndNxZY
RSsf+egGvndjIfBc7NGEcuY2yn3Beg7EjQODtNoKNVxIORO8NfeiYTFj0YRl
NRbKSyT8WvBan31ZsojcWlH0Qcwy1N/jgmUwcdzDOcTxeQWUd7bXihAALxZT
VzjYzh/sAJEyGR8JODVZUN7VcFRZiskLiXK58QKw2sTJk6bgs/TIZ8alwuI6
7E16RfFHzGrjwS0IK5+zrrnWMdjr6bMNIHatWjH3W6zNU8I9XcXZ/uMz2IsO
YKovHvhO41upEj+UE91d7FqsMS7yj+VihbhC/hJjQD0AhDBQid+nWLD0KlEM
tHC5MlKJj5VwXWtb/ljoiTAHS4HTqDZBLG4YFhfwoKkRnVGkeGpcF0YtONSu
qKY+TabqaQAcG0iCR8m6HsYUlq0VKyAGTxCux3dZxjHyBAUzxdh55XJPsUv1
drORWNAvYc//g/6Hf+HHISS432ScupeNAOr+09Ho8dmB0xdkh3+T7cMBLSP9
5rdZ9PVh9s/Zya/iX/7FHWAeHOH3Fd0HDbFXi0UN4tSqKKc00fur68t/+9f/
2QZrQnRjRL67qZwvlgIPNyMoXS+NjK4jZjkLltP5z69IUiQ1hT0xy4IuNA04
qiQnl3STEKFHkmWTe3+0h8pOeFNE4bJ5FuJJEWs1FoM6PkeMKBNSGIPw0w7M
88sSwDyHn5SufF2SOZPzD2UlnvxW1OQKFT+YNYkXIhofLFDSfVo6rzxZPh9F
qLWzt7LdmIsX/XZej/GHCpcaNR97TFulqpVI4KOMB9UREa4pw0Zf99LSgI92
wLoOGFirUoEm3cvptgjKLTEpyXBOh5Pr+KH2UWFsNEIYuvlwqkwMrR27sv1o
LFesRBuW4DVm/zRMmC5ZO/hk/Nh5RCTXj3d8MnJIap2lyqmgGfD7HfB2SlIG
1SwT30E8g0hTqokuJNGMp3MSGz/5YBkTn80v4pS1olj6I2NCvTPHVbLig8QF
Ye59Ez9Ur0fxBFrplzDlF6TO8VnWl9N3YZvkSwCYidx7pD7nFdwz155xVrgx
OYXjVs3hkoRgSaOHPs6QoxDUpzmIOC8je1xAxmFZdrFgyyfJSXYQuIIhgjFg
EaVL7ba7G8G4sct0YSErKtk6WXYwgpye6g0EXX3/WJRi/gnUf/LosdxtGvvu
bwJOVtF7DMIYwtDoNNl4hLXv74o00g3XGIi9U4SqB4U9PzIn9HWAoFKEC2ED
Aieu/UsVg3PJx+FdFKMYGFTv6nHx1RMOSnSSJLNh8wSBmC0WxGkUC++omp0g
Lub3dckqO0h/VmhtDnNFC0DEHpMojliWYVRdRJodGwXlK3WzMUp8pn12bhYI
LZYHAv1z9o5x9hWjUP/NlnT6d1r15M/05tHHo2N68Pb81SW/6y21xydPB9nx
sxNm67rtLE5MSXMW1h2JeLXZHFDZwQt4ISc2BNH6XRdZlf5ktajSGkWS7RKs
AcAo8iZXSygKQXpTIAhDChXTZRA2Z5Lxq54xPwkiD8Xvnac5GhxXdOcj6dMQ
fgn+Td7maodMxZ9HiUhuY9peTcEUVjYvZ70sywh7fmo9/fA2mrpBu4KFjmzv
TmjTYBu/en9t+7cRFYwXLHC4l5MXRGROQKFBoiRE/DA8I0Lg//v4iGkB/zrT
+LgpNkYyYl6/vx7wf4anj0WUuOADHc5RJGr2QSlYOwMG2Gyg1y+x1KElCvv3
Rjy/mnpnnTIUi9FBeIS4zIlsXp5fWEU4LxSDlfiMJHoDi2M1btzWfLmKQ2im
6zx7OoozvR7uWCSziwfq7sJLuVqdzpf5aUNehX8pAWkQgvKgkbImiVtFbgqZ
5oCN4XHBFjYw/vSTrwf06ZMRwikTwsur6/QQnw2n5W3ZxQY2DbJVcqS1P9V3
wCe4mp1SxgWJdRK1kz3WVxLZDTx1sivocqDGJ/GNjtVqKuZZ8HZmtgKDXFzs
rhR3N9sN5crRKgM895dql2bNWY7V+c3F9XUwxtp54pd/Hf6ZnerMbKQBogY4
WUcfT081Bglok8ENSO/RNWrJXqzuSAa7K0j5XsGBd/P7V3G4/Yi2Jam5iK35
6Xn2BQsTUCXaoXjGUfDkN3vY7AtY3MQ6xRvQ7n1ydiubvEWwi/uAKUMjmKB3
r8Up2poHi0SWSjZWAlYsedJTE2wgVQ37O+sjPfNKMKKrlOPtBfsbRoUDGRiL
gHTR8aVlv0CHiSTWepnzmQ57Lre3BQ1oavzamBazci37NXdReEqS9QWZNJKU
VhogSYfDu/9EenBglAAsdvP2STZlySPUtiEtGRNZKJdNUheLcppaDLwdl5Sh
AsJ77L2BHCBKdM4lAN2vVPWQy52ZxT3ycYmE5uo9Z5aQAKgmi4q2D96vV144
INBVk9F71gyrCcpUmCJ0PBF0sPMoi97PxjkSDDU8WQTynbKKRmYAlEuLXon1
jZ7Sb6KwrQ3AKOQsmWU+NptoQcJEeI+5hMS2veelco07+WuSV4gDp+9Y8xdD
ayq80YFpicVILQ1xAig6joFaJpVMblWaDOuBdqNZ0IhdiuIMLY8hwU/ZwudJ
FCH70VNT5XIbsWMU1gxmDmLMoB+8OcOzjJ4148loRFzLyfPUmCEj/ea3mf82
tlu81gQ48HWxV9ThpwPzNgVLMgpnSOC0qLTTpl4uRbabkYyLw3LF6U2t4CJ2
4dCW4GaoxZEVBg2+bvjq6ZD21Tve5ChTFf4KSMNRXn72Glc/ahSRrsPOzxKk
SyqknpAwGgdDuc0shSgrDjyZxXjNb7IMkecsSKvcfBl8lbhwzyeLYsgpnX+2
9AVNMvcCoMrA/I5PplaDFopuyK25xwPtRUO+efnZIfOM30jMSFtGeVFWq4/D
33HZofnPDIdXSaPGqxFskMYIdcsdcJ7/HJia6Xq+XFqRsWz/3flBlFluoxrx
eacAZ+82RQhL5JikpmapIFSzgZxm/qv3b6+hjinvgD2GZBX2m3aFRl97jyrI
UYryNGDYC1PbSyEA5KLztyR2I4oa8YmN90XDwoztzWEmTYk69/UGJUxH+Wqw
tosVs44PZGrLjB71znj8EZ10uU2HdTMk9pac9quX/SK1hG1oAfu4uEis/AL/
+CT3PB5pCg1c5GLhMd0AgkcivCopW2XIdhSf8pUvAcRewzESF6Jrl6BT/4UW
0TAe4IKDKFRhsdifl+fDFwP+70v898aKnvEz0jScyslvz0kD5uJI+gHLZ0VD
XEwqK0kwEVQVCMgn4m+C8Odgw1aZU4wQd/l8JmJEtPoRoDBVY77WkZ7ySE7E
SGAgGSkIJNFIovTwagKgzgMquhRf2qePA5S0uJeMdEE+zBXqqBA/1aqhW5YW
4pDYMxNPJPsZLjj6V80y6cKDPxyalITVAlNOkMj+AJawmAyQTNL2MSL7wKk5
qCqIVNdQntTF5UlVTdTAP8RzxepMLoHaVlBvjhqfzlcDk5el8ucnot4LjwbJ
z4e+Jd4o9c4ZDphMs5SOszFdUx9ak+2WJdsgq0JhkLhyHtVCWUWmMMs2Jl+w
7jbQGZjzFB+XjVSoIhbxLd0lXEBtIbX/I1nbbeh1sjMcQKfs4oKEIamJbq7X
730wnd3RzhQWyKTNVIRYdSLJDQT5IW8iq64Sprwub7ndkPZFSDlZEjS8Rxr0
5RXpyXuSQOQiPY8GNmMi1DqNizr6yGGBRx8vr/i/rGF/beGN+qU4EaEfix47
WzVgBcxJHp+tmrm9abwUsnifi/KPff6JF4lzMk48w2SO+a1l5/6eBDUvJJFi
ZWm7w3t5ICO2GsXhk3r1qS8CwC9JZQIJew9mEClgIZZOlk30X0kqud1rksNs
FiJNZR5ZtahJ7n2qmXKEcemNXCH+YLQD1jggEwFZqp1hZvHaozILa/HqkKRb
BNp5miHMo0eXNew4EnLmKRJbGU+iiNJaMVykprW5DdOWYMABs+BQUt2dWID8
w9vit+6CGe6k7A+ndmXHp2rGuFpxtDkK2Sbl53/6SWrd88hAMv/hmWZ8g3y2
ij2H/nEw/kTZg/DLcd6g90pyVWoAqZgygJ/NiAfGM5MBg96q2QuavgWbxGO/
N6ufnwKuLajiax+bwksz843PzfLlkaVo0sj1NK4yMkFvqD2cNzGWGJL4AaCS
3fvm5pj266taIVDCsy1TsmBAFO36xGu0PnzAfNjgZbb3o+jo87FKz6vnAPEj
ZgSdMIL0EyG8z3xppEkD/EP6E4+FM7xj/uRZDED60VYItr2yAwStHrQdhvRh
DETvs61QbH1nBxiO+z+oGgviHpFESRdktvfPR8Nn//ITnbQ9eekzW9Z/zHPZ
uDwJ//tzKN94vm2AzyJs84X+EDtuCT/CP2WbCxzoky2w26NtUA22DRjv1PZx
t73xme22V7bvTfz0M+DvQuyAUeaVFd9WI9axmQ/oVWx62/l0msRsh8BkuQ40
yJUYgy8P/QKFedTe4csm4QY+SOwSweX8YxFXtj1UW4QLsdL9gE+rceQv/Em+
7EIdE8u1+lCsIePf4vLTYMwKH9ivSJ32xnukQozXku0Ee1W9avp1sNK0n3Ex
rx/CCKqgODWJIAXCF4ZVs2GULsDvfM2BTKI5cp21iqX3bJ9Llx/42uV0Syb1
1+0aDvGOob61QRvXU/LxF5w7ihDO1oVyCr4aCqdsAopDGhahhlag1tsA+jl+
NFI5DVYBhcbXfiIwj7PhMHtfNaFVj6S9iBtGrT8kknQmRbGGH9U+ZHuTi4rj
JiBE9RnazAoDYp9G2WsWYB/KtvAlebyOU9WWKDBbhXxmFHBrGN9EE86dENyh
wRABfWXBQ8lEvcABjXQfklLIYb1RsYak6pqvbGYh71Eg0nLp65tZsMogeyjG
nFT+0MLGq5YATgLU8JXyHisIph8SJtIwoM6OaRH3TZI10EkthJYPILBo6aIQ
0iR1z1Q58THBXhTOvi+HX5eZD14aOC2OLqFQSGyQClOhfvUpE8YGQLvxDKFq
URRakNFq1kfHyer9s+3b/XxvKD1U3MuJDRgbq3p3dfWl4NqnbYrETGOweKjt
PIZivzdUjbIXrKbhaDM8HoW3dT4fBIymiysjbibcDhX5Cs6+V66Hmsp0Y+Tz
wpnr81BrogeWqC9HPhXnzhjTpm79DIJt8byVnKZUQhtCnTliyTr68m7dQktG
6TQ6mMhC+wwQWlXdk6RWSkTph7qTaDP9nARbtmkIS1ctO3LYs57BxfpUNUMN
TNu6sHNvXsrGpdX0TC1TLqcH1xxKkv9LVNOvMscB03QhF/feeyZvNlZ8s7Cq
1lZ/AqXqaij9tXEd1MJCtcQo9Ra+7XAFo8hkMvfWkkKcvJfHSeO9kFSz6rax
TmL5q/mUFApizQh6Ymxq7o/V4NySS6TBESGC3OeajUW18JNA65qQeNIWlkDR
XxfaxO2aSwZofHLGNFRdSjU4xERaAKB+tJznE3GMzDSPipGMe03raocITV8G
ILjUAgeW9DnvluPeINnx2REYhrQJ+fQpc1CJkhf77TRYa06abzCbYQL0Vtdp
kYWbcF4gCR6VP6IXrHKpCgh6tdaNWmJSGatvkkmfmmLwX0REXkW38vPsWGTI
+KcT+UkCp4fxk1N5YkL48+yMBczebKlI3wOUjembwMUmdT28X3F6SSxQFkPO
OFFzkFhTWf1uVp7mCq3YWUhuCofXoMrOdGSD6u8uKh2pr0hsNSzoVi/Ox8gt
rJpcVLNRLzwNOJ9KtEfX1L7avHKb1GNpnjtzWrnIuT3tl+QVt8GnJKpL6sVA
3DVhvkSxtrevXzJbtjckY3azNG5UorSYWg0MF9uzLF/hofZp/jHJyS5spTd5
tG379SM2B9b1PN7sy2K8uuUgu27V2m5P+TfuVkW/mfIACUd6pAjmhygyzwuw
MGr5BR9bNayy8A4PaViT+XjQEH0N8+p3786/0WjE/LaqORw2GLvGq3LeSV6h
lqHg3OAAEd9nfjs2ACAmnmuZOK5NN3AbRW+5aBpX5JgXXGPVjxS6oCRr1uwE
umqXomAMENMrRkApBhMxYC7nodP4gbFiopIGlUd70qNy3KCmqd0Kd7dvq9Nb
o5Xz17PE8cp8WY/n5qScrqt8QTjlBFaQaRY/txw2CewNWa7SkKSWcbWAlRVP
QhSddeTg2sA6Q/wu58uLEiMtctKmI3E9la62ilxY2y2yXsMEXL4twCeg6xxj
dW7ngV5mK0nDDvVBQm1/Z5EYsOv5qvN6t0nGnFSomkB126i/jOB9J6E8HWcq
lLMtC4MVVn2LS9o7rrMBxK+jaD8nfamgRnHZAms54FO2hQNa+rMPH+DN10q8
cl9xHWtXenEopFSfS0/75h7NJEMZDYFTqvYIZUFb4/pll0YX6JCBozaReHmS
7znKe2xppJ3soMzlgO9tGdGbEsRfL64JDoRF/Z8jrCWr+vcLbCpRN2Y58SOH
cxNZt4XH9d9wFr8rQ0BHZWQAPVkxmxHro1u9lKRizmB9YBFeqNJGd350u9Rw
CXzZ6mzsPlo17CtCpofQnTTGkvgGmd0KngmwXV37TAep8lhW9Ad365MzYm06
2BIfZ/lISs4KmbfgvJL6kwQ/xcPiXCyFwSehUE3IkHa+PLPeb/B72yRWKJl9
eItl7usqyrsIjvfgwR62apEE06wjsKXQ7Ee+Isou6qxixOEC1WgUnlb4hHcm
La8a8lJy71jj+oLCAuK7pZRkfpZRZjPhpQGkSAxqNHPBVy8AIaI02PYxEsxI
P5g4z3inlLAZYgxAXbgEk6pyy/mqsVSdDe4B8Y3xxaQ109h7XvxAW1tI6b2o
aELdxFSmpywpSM66lnQaIwEl1LjyPp1QzDtPIV+HaBRz9zzckVLSK5aFci5m
UUPeOcpQyFs+zjuQk2YmwYcZsKi6N6pMsBLHJ89pqQvDysoHqgGOocEhf+nW
JBLIWjVydfFJnaV8S3oueGnUhiuwO+M3YQFZa8xl20FXkfhKBB4Hbo92GDFY
mlGWqABeSAiCZjuASuI5kUpRcUWfyFIzDuqOeeXtytS7Ts0XXicK7DWS2BiE
TebH161TivFVKoNs1HE2mXXoWPGCBnpPxBkcLnyp3Im2g7Fo4qGOsGQTeD7T
EoWphH7IxehVbmXdoZhy89IGBeTGKx10xxpSpOglwerkX48fSLZgA2NOgGvr
QCXZL4S/D94bEyvn68/Ax2J8Qkc9UJfRKB7YcOYhQyOkutEjTRfqEj2TpJJk
2F+uBcy50xvRtkZ0tn2vr15eX5pXBw0YojFQMRX0ENbRu+v/3chmfAo2+7j8
emX5qT+P1R40k3wpnqcyYoSypS7aUuVjPZT3aS/WYPuqcvysZ5jR8/E8OxIz
i43qjTT2wxCIgFLtrTX+WQSXN9j4h9zyfT0kDKWvnYlPOoKs74qOFkRq/MYi
Yp3+2ouevyPFwrdci1oCbuR4sccs9LQJaolGvKi7J5RezcaltE0TZ5vU3xXm
D8Et1P6Oo0F5LHXQYIsBTRtdyh801B3pAeO1L6i4EaARXo3DJTgmz4IPq6jV
Bt1I8N1qViOSkkchSxP+glCQN3RxIjwobriSZ5f2SSBlvM1vI2h8OIvghTFk
mUc4+IPYnt5TVtISgyHMlrvUhop3HHTi3W4hIzcuWIaoIi4evmrjcpRxTrvq
MqYQx23t/G9xJUsmIhTs4ZJOGi2l+eBa9lFrcnHBwz9yvT19Kap9iDV/0IGi
VnfbB8IL3Bq+P9iTR8dPpJMf+2DZRKaNBX3R9oWGhy20sC18v/ig1IBOTlrV
OhuF1VVC6I5QruR9mdXF9y3cnNFMLh9DOrwBYVF8HoDMMjElrBLFO5Lqbnwy
okZ/bPNUNdWqgASEPjl7IqlxjJCnR2wUj9M3ObQXG+7drgxGKKA8ypxW1rN6
O+lRHK+jeIOQQcqDcOTBOwlm3gEh+gAsuPx9nBsbt0GDkOzL/6nLIFHU/aHP
okxqjQzbMnPZZnG5Feuv2KskakWLIEfaDLTZC/a1ceZ956vTLa2TKfMp1MEZ
uUsf1MjMz58OUfnv6lrivv0sngL8BCNfcVWxsmUllrkeCmj72K888NptlSpH
3H0ImVkD/80gTiGGyQ/WqiD/ahergRblNvs5/cDTaJKDRajgcvDFKEBiPgjl
hU+jFPuxxdqpq8CH3skqJf2kix+keTFW3ti3tdoIP4h6XKlnc0qn9p5ZoIV3
f396kX1T1H6K8zfXdGLo1xH9SgArF8m4znKHJrlcBkD/mc/lRwlbmZBkxKUU
NLqwkvYDNQ/3zc3TMxvJfyTVglC/hEsX1lplwr+ecfWtZUtsSD5kpuIn0dBh
yDdIlqSvJQc1GlW+49L5agNF5XfuKq7W7lKqisA3U3HLYZjDYr8wKlcjprPR
oknRcK/yV9l+r1YU3RzDfCigHKhYsGQGqkofZ4L8WEvXXE70rIrQpFcnZZl3
gur9Hj1LnBHUlNLD7pNc+/MrEjhPgSs8T0oJpkyiQDzvW7UruFv8pWfmRc27
DwPMehXUPFUaafHXeWIA8jYfLS3RhEaJwcrYA9SX5PLfRHnvVqpCL6L4bIx6
Z8ibQSCSR2Xo8lCDLktq0PEF66yA3qY1W2zAYchFWa06KepJqG2kuicN5IKi
hWJyEEcmnYXlcv9jX1hulF2FrqihyBgXxL8totrAeoUaR/vTKg/Zqro0WZRm
JfqhXBiDPRK4rxoRADlqANpaOAjlwltsdk7/0CvZwYRTfdmJsQJpUjyM2tg1
Xyfy9dnrWtJswskWMBrx+/ygLaScvTO3JDOTtrPCMPTNHl0TH4pmL/MtBDVm
jFNZMTcbxIk/iJ1L6+oxyPbANzTIJ0SsbRnzVt+bGsuXgh7s6vCE4RzXg7HX
huY021FHBv5Re3lH+RgN0hONLKTap9qYn1A1sZ+g7hhXRsUqqZ4kvxuP7j/4
p8B+N58Yb935zXD3K8YVNx4I89v4OVA7Pfof/NeQtsdPeAv4Vlwt8JNzYZnZ
sYvWlp24sJzs1AXwSFHcAnT2yHk4s8dOQcueuAia7CkO32+yZy4gPVUy/R4R
iMm+xMol0977JTiMVQPDX1bsU/6yep++dHeuEQMaz5poSr6+iZOrIE5wIjJc
IszLcx+r1WeeZ5SvBEsSO48S3EphTMlNfu2tW1+1jQmLldUiEOKGUaoLhpe9
pR90zeEFL5HmVi1Fy6NraiStKrJJaXsA1NtAvxe4mn3+TOmFIzHQqksj5Ndg
DBVRLS1R5kM9VbkBVZe38gNetoyvt1jM5EAYf6VsLfkCU3AZiYMfimWnrRLj
3ASPpo3gfv0d8QicNdWnr2uLMOIUD0W6RR0NieMeoLHRl962bhX5VK5G/H1o
HBxhLPG0a7/vaFyNDwo5eVXsoJOuRfCaWK0IqU/smTBgXrFVwMzZWnUyjr+O
Lh2gmw3lM8nwjMDTkEdtUWcFIsTSxVIR8fc7z+/TNoB86SArU6oTIhD4G946
IgP33P8zFqiDwaEHRYhAjtcNh5zPjeFo2tVy2NVD1JmKw3qJNheRHChTSlCu
VgNDO2MJRC6mJlkFV0KSXDQUpEXgcZIlFilBw6FcQxxt6St+WVkeCTGXIoIP
vvWZ5eJ6WOrMead02iM7sjOJSBfVidCqWda0MSEvEgLEN5YaQfvqTT/OTqhD
rGFse4/ns4DeN1HvlXjx5kuIWl/2+k2HIu4KnnYO7PXs3ozTTVoBxE1dKjoA
IiizRqLnzNMOQ2QOXT1PojqzDmpNzI2G4KXrRXQt4UC0kAFds4XbXkSNhq5b
4oF8bezHv1rnpbdcb7HtDghb8hj2OMtpZ9ztX5x/2R5kCcBhm1oPCGz1pU3G
HugwXRJ+RBhDyXNEoFvOZNSC97xyZqiNWERManEfJbPKNrIQAvfmLRcBfKT0
UM+4dPabutUrghZ63uNfvb3YQeP8ZKIZ8Oh0sLTBl37wbP9N/eaAD6fvvv2y
bgpVtApOHM4zekWq6uYTI3QjcheFgPh4Dqu8vBFGN4w6zIu5xh+ktkAwIPKz
zX7jYINlc7aeyg9cSoV/jO25gvWK9LOiZfszgSGdruAd+yxJcjkzS4Oxthze
VgPHNy894lwqpMTcoS+qxM96fopbYeFR7GhgCN4fEZ8O74eYtM3z7ExfqJfP
MxId6TZN5kpv6wREurA3wOpf3m+kSZHd29qziMsw6D9lAi3HoL/FklOaoMsi
U4mMzmA4QkUM3QEbgHYrGItEt4GrgeUm5i9TuclqH6mjZTWkVZIZCgdxMSBv
PaRTXiXdwnwz4iQOZauNgKeZhqGYF0MiYz8Z7G6IpRPt66efrMMTaU9WG43k
Z3at9UIYclu49TEJV6fMuFdwOXN5Zw+DWYOBMlQSDfayzRLQ2Z7/2oqki3Ge
hunXnI7INtlkT0W2SyEDMySkMxncBLf/G18+Qro47IuYz5Go6M9ucRXwWUoy
DrecRlQLrP8+G6ZNwlP5IjpPig1rjwxugaIWEV+QELqH7zejLRQ51ScK2JFq
lySbrCqTKa06maTlIG+imM+ZZA6SoV0EI49Ccj/xUtTPXk3LWrrsESskopvn
a672k0KGYg8cw9SEu3IouUJwO/vBEWmaozQPyClNzLDSZ8EBhHCRTjLcRFBF
Zw9cX7dFpw0uolggHUL3KC5GJiXPGw3EZGkWUTzLQ23tJEUFecO0RcgA4aKw
CPrRsxCR5SsH2lzcXQRjJ6XdoxBv7mvDriFzas3zMSeoaS5MRlqyJHNHHksr
CO5UBtMaFRrf1Ivuzk295XCA0LAGiSnEjGlUB4dCnoQ4+VYiZbsbbeKYYbuT
891WFZaGtxBeCemQhDf9xHyjIjXQAuHwo+v9iOSZdjSy5rEPtVTk4xfCUSQt
i8mBt8e7LVTnBu5bX3TkQSqKtaj1dg7zmywkir7TynG5tflSMvC9ryP/ZkSQ
SUzQSEYvIDxBcPSDwq8ulWWmgzS+KerXq9ZQXjR6FCiU8ZKjlNIl8kJScDeh
FB2wB2cUDopKAXE2b79ACWh01dA5q7TJIcME1qXBcjEP2/SEd/VScztipTMw
i1wLDudh8/yToAZILUOUwPTOq9W4Zqc5hM0kEA/ew2hwWTCwxqg+VG8jn5yo
ExJkurZLwZQU1lXS3C03thbSdYEsaQDEPRpsPKniE7JRzVG2MQ87E6/DASs3
PNr7uTX7oiVdXNwcDHzcT4+UQ1H26PtRMnrVd3PT6HRv/pIx0w/NKwLPQMlN
Yjpf3JUtHH5XEIk9qQkRP8ZuMHVrSmVrGl4C5aPufDN5yESOfme8olq/UJKf
adEaRqEcHH8A7bxshSc9lH5D0R0ppGNvNH0sPk7YnmQh5taRUioT885oOaxV
ZSOi6Z/nC4JZ4wyovWhcYg7ziH0mFha0h+UV0v8deKuZaMARG/G0F8WNxIdW
Ww57IopgG2iwQQTdmIuJ+2wpno/HCWS9LYhmg0X4QxeVndQziWY6bRKzi5vS
RMAQ8mzRfGUcg4EYCcZQNWelvEI/mBxy3heggJvNlUdngSWCtacJ1fF1/QDj
Qlo++VZsOOUPd4X3GWEwqWDc1whwQKOqunbwwisat2l3NKgD70Rf9d65kLaR
ACwBlOAYxpEqERk9NLmVDEyGVjmqLaGFVlPE20sncS1lri0y4ezTrHJVWMR2
xB+cv7luI9Mw4UITyDrUj5UJxyvm3rhDquWKmYUeTbRw7xWXw+IEsbmikX+x
XvHZS4lnGjmcCBI71eVc+SGlAqKvry/xPu/y29ti+seXFg0lnQD04Xu6/eLH
uhHRDc56elrEzF9lFziRs3DdJYcZWRXRPeO7eA16kGmcVhK8wJYXibPXogWf
IeyIG8vR9/QbUwrOObtTrVcOk9WjR0+ePQO6y0oLRLGXN7Lglp3lKehgTK0W
95Igyp9fHBzUBBtowT3ORdcgg17dMJyPV3Q0BlLPGXEjpGiW6EKKEM42cB2p
YHb0cfps+mz2BHvV1psnRdbGoIA0ZcMxVtwQDDU8pCFCxiPBojlLT6V7HaJu
GICAr0iVHuAHWNWtJeeXPdz348m05GmQEFDlCU2KZID4+40z3noTwbj4xcdG
SvxtHgh/XIzsWACITpiy1Ox9fJsJT8Bd904br7SpkMougUnN5g0WzvRe9F2m
Ir4/8HeoEeUW6QPhQ6UPaRNjn5Y2LDl9LDTVlDKWJloJiKBv60ofyYlLHy1m
3xigOcJM6FhD8lcZ2+smeZQXqHb6LTBbRAtG9HEaNn4gW17UD1644sVgVdvg
9cqIdQJMIteS47hV4onS4mJWZTu7LwzqQKWLIFFIhHzYw1azmvVDrQE9raUy
5Wo+w5UAqSlAiDYFus5tEuZok2yqlOw2SEecs/P50Bs/WUqSmw/psz4EVViQ
BjQ1aMUZqUisEId3/SbsJMfPE7gaIAKjxvmPWkJG7xoAfnKYn8UgL4X2cLJr
EXB/FkGSGJpMvsE+dqJtA1v98j192HRdmEI19Vd1dh2SYLztxatppk0orWjC
DGqMR5XA9VCKHutUP8p2jdVPQPMx5D6vr2y0C12oyCQhPHQPIANnVntpdm5V
WirfSgWCgXCgRk8S7THKSkhUMqviPPlaTB4SwWuFeKKkICd8HudOzCZaZ75X
hN0ne2oNdr3/e9W0WkVvWhlEOV9Cthso060WSZErhUKOFhGn4bjMfG4pZ96z
EwwLNop5tLW1gZ8ySRq87rQJSlWj1I+1X7L8xhnmLqJ6WtpuTJVmKx01S77R
BNJQXCfN9fZdzh1bFntDxdUzGGZ+Reqfwzoq0YI0vhotXt8cmLfcV85hvNdL
BEB6xyyCGc0kFGtTkvi39rqbNNpCoDXnzgYjaeqy3Lmmyvc007IKXGtHzaUi
IxrL54rpSiWwLcJRYF1Vepl3if2sNQOaKC5ONQdOoLdiauFuflUndgIz3njh
hme0ChE6es+V9Guc7b6RUeLMfICO5m8k9vLYVEqjeElxS3pHKJ2cW+ttKQga
23y7mka5q3E0NqZzStftEJD6Aha6Ji5cos+tFmH8N8eOZf+or8gvn5zTpXtd
NNoQ8RYhccrC+cIVHwy5fJhoFP3dKq0Hq6Jyz1cxQeL6Nv0Q1xWq8P5axEd2
gPjFGuzxWoegIdRd1GoeQ4bkUIFQJnCA1YU6ydgonmcQS2ramKLCWP7+VCMF
X5Q0htVc7g/W/bLB6GIMgzgXA2k9HQ4x1q8zgHyVHow7iAHWIzvS9JWuE5xg
HB5GXY5xX4bWSimG+htIXfnpCzr2Uv8d1RWD9GRNzUuxpUOdIe1ssmpbzXfg
fOyo84OaSH1eH7rSaf9b08Ltb2azwgR/b/nYiUdZui9Lsxfcfai4x5YuAyHB
vFpSAjADkWoZnuvLQ21CwXzAPLBtcLm2n/R+ZdG1TRqj+Qjp23ylXb/TWoDq
2UKrGkFRqMzQFSOtBsSN+SSb2Qx66TRlZEbqN0XldXJllbkkfvHeR/lHGrNg
HsQqbxprEp1OIffeRgoTRqDR83kyDlZCa7ZW51G5CU1pTv3TohqJbzXp6huq
Oae+7F4xodT5/UnTJ16UYqc2pzmHrNiVEvp24DTO9VVkt1ywuYGP74COH/1H
bCUQM6GIwoxrnfok6dygM9nE6tk7uTq0mjLLnANvBmYjS4qHkEAuQSix1c50
b8jCQdrlwQY6MKw2fDneF0nfnWCtuJ5t+30Q7WzY7TvV8fmSi/DtS3tpKpft
GBt9LLugTM2a4o3zIFvzh5BTF5wswW1hcVmpMJI6aALeRSD10TawnMR3htQe
sTR45nb9fl8EQxbBMNKdw2a9zJeA6bxpSEC40i9/2d6pElkMtTtZzmO0h3Rv
t+JK2/nYaCTufsSmePjU6bt8NZcyEJprJiLBZwaUghD5XEqOF8m3mMi+lUiG
z8E2UhUeVlZP9RM4F+TGHzngSWrA5J3PB5yV6HckdTi4JWFImpLSSZKMxqqQ
z/YgAvMvMa+QCkR98AKZb1TVijzECNFSd/SFWuxhMkq6CKUMOiGGG7lA/zoq
kFt4KwXoo7/N7utgI1/+aKGkjL2MOYBnhzsBUi49Lip6YVJKPwnhJ9Zbsnev
ebwRfg/BP9/4wsFOTOEMC54kQSHGXUVBFcPzy/ML1eqDYVrNzzQRbeshb+ed
NaVYWlgxBq7quGax3CqwZETz8z3w6v2LF/Gb9TLOVoqLRgTqTMYeSOqgdPPg
FiHyL8snrAx4bW+Q8eDcaDcqUhd8TiTihLtnIGZwo1mBPuqLRi9LuO4WesT1
preoAmqavBq1NLtWXS4oHKCn1y+0dxOPtOyoP+SF9ggImIFG0Bba/0HsdQxK
xPptmgEnI92B62koCnvgemJSmhAqiJZGLJqPFRJxJSNMw8R61algHCbZrFdb
W8eKukrgIUi77YwGpG+CuqCsq+wO+o/V47BAacQdYxVF4lApM+J0IanVxwGr
EGairS1etMgQGTnQDqNQlANGym6jGdtmNYIPkhQef+fLWcHOEiho83Sfz285
vPdu0aZU6N3PfXIUFuC/MmnKy/QpPQmEUZzCnOtcc6neqEHPgoSum43iNlVx
W2vOxyBVG4xjB6JFsogHSenVqrr4uEAsva8P9bplceCh9VUWNelTnA0Q9R5e
0DXBejiyxbXBlYQT3MdT+G3ahVkR49ZpwyIOsIks5toKVOQ5GY4et6lM3cvw
brTwEBLWozpZ08+Dc1sHZwDHK2jEpaEv7vu3gTnfgReFtu3wxLE9P4P9QaI3
MO94YK8gcw7FEou4qY6LKFbY0X2k28h9q7X5Kh8KuhtwsIil9HMZaIZHLgpv
ufEiDWioeGs+GWkYtKkf4cyoaegBJXqtcqF4BGAwSjAyI0yvGk+rdPXeleOy
+4vmkFSyXz7JuXafz+c2ybveHvgKa4wMhGf4egW+EoQV5RAu7N1VTMeK2oA2
CXSReOhL77BxG/MiaZRL0PsxaF84G0W0714IYV/T0BpQQcGwdHRhC2kW/kCT
U+MvQDbffm/NKHygw7iIzp2lJXHfmkTmfJfftlsvdqPkTU0x0rcgM7wTBytI
7sZazqVH5C8a0/sabVBxq4soHQQoJMupl+3nJsK3NKR66FrZcgweorDffn2R
PT19dhKupfBZlK0mi6Zf2RGOKzs3z+iqqsxWkpQcjvxO7FEhCXkd17QJLEEl
TLG6Sh8nkbxgMlO18qcvTLj+5LZ3U087Z5SSvcuNLrlQ/sfscsCVgyWm5Q0d
lNUUkex1iM7H+748h912kTvIR0TGkxBapNQJIZHuI41dtwowz+QnDS3mWVBP
RW2a/GZcWgUQcIqo+MOwOkv2DudYuGDoCM1UrVXF+XsExzpn6bzwUE2l4Kuv
FV8s68mdNiXgF8UgzoWfEKLrevUM0uZXcQR90usymDz95L/Jvng8OuaESI2i
Z8sxIGZQNcJhOI3ZjsXpmcHTZzj6TyKrfroTFlfNnpxKOoDf476Id6hMG4LK
O6n3HOg2N2G02n/4BzYma0VYevXwMHQS0m6knDTAMSyWeb0Ssu79zJHzuAd6
vxcfl2Xj85qxM/qES1qoVN57gomnw7zrP5g8dMMyJK6ivY9BmR07DxpncHt4
slMXA5GduXjm7JGLpsseO5sjexK1DmLzmXBbeIVfsLupled49Oteq18+HXLj
wAa+D/9Ue6Ctz1S74S+Hvq2imq/QcTmjXdjjf+w58dPy3/jXXty0FT9Hf+9p
PXX8zP/a69WmxxP6CX/sxWXL7Qn/ey8phYYn0/Et/7Xnc9fxq/2xp4ndArZk
oFsmCn6Lk2GSbCc8pR/on3shYxm/8l/8x575mQRE+fdelFvPP/u/9qK0foAo
QFtuv0Bd3e6FDH/+if7YC2n++GVC2s3elmx/fX2oL1jiP/+s/97TCgAAd4kV
xHxCSei6Z/Cm6+CHlrPF8PMn5/BWuE+NTjhBAzfc4+OjcBVcEZ+o2G5aernW
BWoEm5HLJG+SvpmYBIFZ4JJIIIDLaDj0iv9GM0x6B7sdvWND0lCvOLWxnFwi
giPWGYz7nTA/im4TTitIme72gcWs9rp5//b6lw7sVDyKBKU+3p3Dz5rI4UOz
zSCcGrHTUEk2tfs4KE18lH68mRQp2ihUQ/Lqv/3r/+zUpjFQBVTi+GoNkdri
B9lw50guHmmt43lefSi6OGAPkIubRla8UVINCiwAtQRusYYKCiJBV9or0/1K
Inzdr81m927oLTTylc1Erm1hgOwV5skj09K0FnSkHi33mnCL+rV1qPS8gRi1
bBIrQ2dkkxS3rNgqoyf652hXxp/5eXpjwDEkUG/xU4xQEcE3ifftOK22jaac
aHq11fZS41Iv95yzg7smhwxgEUpGQIehtvRs27c56nhOUH6QE+vZyP516sdS
Y1u6vJR8EPbMfZbQiEnEk7wLZdvEOlyEzZn6Igl+E+PuoH1UIlVisZDsesGO
2U1DGIPpdBseSKYtuF7jMnnx3WvsQHLA5LgSeXC41KrrASPWBh8GyvNcRPi/
lA27ib9hFvnGlzzqDxcZSAyOs9GxZ0xPn509E4EtXSNLDzy5+UvA/tRbkssm
SJSQGoSSacPnamsFjlBtsZL8D/Edt3cI8/hV9rnZgnU/S5w6EuDIBpa83b7O
09HJ6KS30t2g/fw85eyvAtucEp8D9/SvANfG3wDzxloSz2Qd47UYd37Rnssr
sG9bb2MMeqnJGiVas3jXZLKyG09w/W3YnJyG/Cpvaah7IqMpSm5tQ9Kj0ekm
9drdLEcuXorHmi2Fb8VsupLEewny5TKkhyIPS113QJC9f/f18GnwRokKOJ9L
MZAtAVUhzjH4hjdUnihSyqcfoiJGrSEzUlyhM7ffO4sgLaOcTmmkNJnXwXDg
XS4SVARLx8JyLFwaN2RFtf4pY4E+7VsKkT79KRLnew9Cm3FfHWt7M1ivqW3p
S5U8izsWhVat/SrI9iQtW2W/xiWdIhXRB5LJb7/KeormwFl42M9vpKYwvdNA
2euQCzHQ6Cfswc1NdNUu8zV3krSIwnhHuC0LfeZTBErN9P11ViZtSiXiGMI2
y5OjbN/+6evNWd0I9FERaU6G4f4VQlYaHBGvJ5r8QMnFwrVonf0MhkP82E/l
oZ+jYRJUxiHRnurNVhOFnvmcDcvPozHYHJZtzd8pE8sENJDjRyd8lvLb7PHR
MRspfo1OKTgnGnuFeaZNPuvCzb4uOq8Hi+DUXzJMLI+P97ckdBzQwvnh0fF+
sqkHCQryHUgICcseD0Q1sdtDkbAVBT7HZGMzehY0wg4NA/zI+jY++M3WZJXD
HcMfAo8bv6dLrkj1rjTqcc8bX0fZ+8onDIiBE+2KWGJTuyYNktInZ0Rb1kjU
FhXFZApJgOSoycc8GpM7vXnLUdziVMvjlBBEvfPGy9Szfu7oBY6vZ7WDbBWg
peeriXYY477zRe8YO7cVK4Tb5D33F1n0/m4P+5w97P/Y4v1/r4P5n6MOpghM
ukkwVI3a8sci2386Gj0+IzqIJCo/oJhQGUfh68Psn7OTX8W//AsNH8lY/msx
qfIRk8o5xK7qZekTmNARnvkwgpsREllrD9b5WmI/IkW11g9wl0geQV3PRQgn
AdnRjP9gwpz0Z2UzovRcImGqEtvaL3tr2K5ms/Lj9pfz+ZL04s8NR2pJucjn
2x+2xYJ+3P6MyYpDzjmzItuACkS2+bMCC6LLEuhAepmBA9rLdH4e6/Hp0zOH
vpSpFOz3L34UFUBKPxHoP/OlrY8G6C2Zx0J7ix3zJ89iANKPtkKw7ZUdIIht
aQcM6cMYiN5nW6HY+s4OMEia9UwU2QSjhoSDj8ts75+Phs/+5afj00978tJn
tqz/WJIxPBPA559D+cbzbQN8FmGbL/SH2KF7ZUFc2Fyg8d8tsAf1axOqwbYB
453aPu62Nz6z3V5A2bo38dPPgL8LsZBMNlTbwGMjnxYnGsUCG335l7bX/U/Y
/vnvOWJ/zxH7PyxHDOauLaLak9Ho9PRAn6enBSYyiKb2LeHwP1Elzl9W37wf
LLA1UECKtw59wMB4jTibkXwtzf+sZJSFvQhl78cB4AfJB9L9N1RY5vbLtz6O
Z1ZyzJvE+/oqtDnMGSOVrFniOpIQBfrXscYb0D9P+5EG9NtZEmBAPzxKAwtY
egsBBfTXE+/qJzHwSDlDW3jQY8sRDm0ljS7FZbDW5YyS77BNEs7HrA79YE7O
QuNjHpd3dLWkz6RM4hDVfWQnRsm1RXD93+++ujw9+q1FPOgPx791qcAiP5/8
1vXkEPn99LeuL13Ig7PfbpNL7emj324VGu3x4/6ovedPfrsheNmjp7/dFKrs
2bPfbpGX9OEZYSI9GPIz4ePvMTF/j4n52ZgY94VGDybNS+D9eVtoJCRc+tyO
TgvSEns70Lg6KzrPURxp9BzTEkrdaZlaGniMtFOIR7WOTNei9gVCmaF0TPFU
S1MjrgLAUchx67g1VynV1hKjjFN0QuZYUm3El/QVPuuMP3+3Mad0o2PXF87J
BUma+YRTO9And0te6rRAjsvtqpyi+jlCO9FThm9nAjhOZgsVlDm9406TZFIQ
gSC5aNxLzrM2J76fgv9tPQy4wq6W2pDud9aEptCWPgKfARPFiPpIxC/QMbMX
28EDv9UWjW/Qufg1quuqA95k3nHDLp7bmqNA78TQ72PCtZib3Jxxu8dSSnvk
vuHfA4JVbonzIX0lir0dpC1gORCimNxV9by+Xfeaa6Xt0tahR5r0+yul1LEB
KnE/Y990cGhtOZNcjq0xM7w8y2KX+x4VjLlTq2/SRaCFHnlS+47DYzh0HT/J
vlWz8nZlHYV4kFCNVBfluzeauIkVIBi+t2GWNxsa+s1CiHGxaIv5PVcY5ssW
sRv2vhDHIDi0kfS2vQdkBMe8ntGkgIY/YMCZsKV3ON1vBbfTYuKYW3y95Gw1
xWzV9y4GRSmPt7cqVp1Sxwgx1WCnPgmfo/LjWfUgWg1iv1U+zngTP4g1A90g
1XUX9jW3RKR8LLmhUVgfRJqYHDMDRQ/U66UFGN1IvxvG0ruwuFeyOM81N5uZ
ht7JXSw8+vR+6cZS+3mk4vVIak9GEVJSc18zIn3veCHXqApNf6CNZjv3Ugci
ncC4zo5ZJHnYqsnsmsO/rlNIAilviXivysoavYz6+NKYvc/gLMFXdvN9HC6H
pKWG+yosUHdmTsLrSiII/rpprGN8VDHfpwxuFjBex9NYpbZEo7S2od9+bw3q
7cLQjm9ImbC0Qd8JIt/+SVo8eMzOxuIjPeK8Tg/8LCmOHHNhTV+FfIaz77vY
pzaPfnJanlQbSs4pq7dovtcvipvwgC0lqsI5emkNYoznWmM5XEka8Cd3URvl
Z6C/jlY58vnrkvc76x5yywoS/HDaYlI/XkiVqLxhXtNMNbrXGsXozU2feRai
NTWT1jYS3YQa+L5GVVhJnE2H87rxTr/iAjoYyV5qtX/fmca3NVW81NLWuX7Y
PFoRvUu/Zi+h1KKsksqLXNs4CWltaUHM5aVCgb+nGDYcJKjKddUrLDZy11V0
YCw0N0DDLeQ/Rv2yldai/CCZHSdIMpMqSddNMBudf5N+vKB79bGj2yG75Hvh
a7n1kDOVxEem8iWC/LR3hNW3RbByCGQehLQkZW5RV2WOvEHWUT69z9mRHlqr
fFxy4UnO8Ft1kqPpBUuRHa0TMxC9YCtL0W6LX5bkqkIWZwk/UchzdOryqAHp
RsCxRnOs2iiVXbPufTgmbmL015YQEJGzowKlmmyz8Nnf24KTtXyfz+XL6DGn
1uSMHJ/PLtxH/5jtAJc3+VprreBE+UxBFEpAT+AQivE5OYhZbT/pUBXn/z56
dPQsbXuEWJW3L7w4zMlqJeLoh6UKO0kVZyn/V4iheUO88zxbAyPumWXMmpy+
XoEtp4oHTx4VU/4MeFHq6ZLg6zjlzlKmoL5JTLoI2kmtTT0zy+hDr1P0SsCE
zlhBlk+YkZnbsczNEQO/xJHmpSZyOkpQWx+zGpeWBkDl3bbJrd6rxGP7sgqB
oTLFSCd18OAtEJkMij3hSgNaigoXSj2+RwS4xtBjJzjB8k6zlGehHXV/pweG
V1OOEqZi6IhOnBZSStRYWz8WeamX8NY8hnyqveCDUqv90DS7YM/3oofyr5fE
nlfBM7ZwjLVWLk0ZJyla8Pxez4DQU/P33LYxJLNulEUtONBPVUOtLNMGCjTX
YAk5j9m+lNB3vlgirFUib4iGiGSLjYY/2iQoDoFPnrHdQ6WfPctm9k2J9gb0
o1hzL6SR+Jyb2TIO9m4SnNuGEBbVOLLQIxU1LDfYrWL9RS+tMwLid8Va55G/
f48WmEjZ3G8P9ryh2qwsfuv4MCUjcT3HPSAnteP0vxz4rplRtqkN5Y0qYbho
XUZWyRvVlrEkYWjuG6FcwWhyDlMlyJkjIK+ICOrm+W77eVLmLsgSUsqliDoO
ePp39nYedE0SPdg+J/6vpIxbXMvccwYudARocw8tV5DRWuLRUWM/Gbq6bask
HLcmKnsrCe2q97X7ne7UITKTqoMNAFBwrtHmCXpKj0+ONOI+7qntrcHWij2V
/jRMbRPVZqcKCT7fo8RJh0qkQfHWOM/tXpCNYQeq3oS6Pl7v4q0RmktJrvUH
JjJ273a+IBQ/fP2c++JMCv9bdMTDo3TC52YGz/Z3c5UDPyLB85ydOPZ3OK90
XJ/HUgG/0mcpz7Prq5tvOMthK1PBED/99HpZVNeXF9K464I27NOnQfbHPyYb
9Mc/OvdfqnG7/HUfA9zSZjsCGNvvqxKtM+bSZZPLRG5DiXgKfpVuxHP2Wf3H
LfwXr/D11ctdS7y+urpSfx69tWNx6shIt/T0f+fKsl1LSzXk7WsMdu0fo8Mb
1XqWoH9fxyfuwbQNHcF7k2LkbBdGNGT5b4cN+t9nESJdqnfs+LZijrBvcN0E
sQ7sWLV4ptJFP9q1aIJgXuTVfzhxX8IicwOzz8+sWG1DbAzFRyQhsxhKIsa2
BXuHW7rgx/+7dnnXgl+oy283z7otrH2qj2jdtsDgO0xX+GTXChf58j98dVFv
SE0w271OExCiaupR7ex9hB5Z8UY1wR1sJW3zaCZ4ONl5af1t8YCefDAsn5sw
YjqpRPmS9K9pucGVEUQlZAGhDjBJnZN1z7eJqsB4MEl+/+Qc90HONVVNh4vb
lbPsSmzzg9SWeagkCxgmk06dZg5WK5aQBhtGDZXxbFYtQiL1awDPEJ6Khjt5
OiuvGBpwqdkt7bNui2dbTNSi+oFnctaogDXcRtsUcz38pBJSa57aL1sri8Ir
dauKq5lIjRdEe2nPZPWPol3eTgTz3b8LyefyLaoOCSEyVW6igOvTry1buuc/
dJACNSm79RVkxZbMJRnUr6q9hbT5ploCVHV35q74UGkZ3SgwDSm/1isC5lf9
mEVLdnjIty7Qg9bup1O4Qs1QsR/IJrUlHTnBDQIp7sua21y07pZE/QbyOUu9
ik2SHVdz7SF9XWkh4I2BgESUzFYrnhWZhCFICZk2dLri+lnoOjHmwtG+2isr
CjanV5ULMew0I18PXIopmkcib00CF1x5MyKaDkgzRFMZWz6feStFRt9JmbUm
FBBFmBiJyUXkV41OGulVYmGxbVquOsfDfynqEOZ/blnJujv1WOxn1q2Di3Us
SqF8v528vtR57CIDINo5ZloOShov3KGkntQwWCy7kbWiNe+XvuC4dsEELShI
qyukHmKWpbYwe9CGyqykhrO9dJxXH/jkg8IaWl6DHRerVqvlk02/mDDhmKnI
96AUXITjFdnA89gZBcfSx67nolpxfSI2f2lIa/h+LNUK40O4HvVQH3ML60EZ
vY6DY/a+FjZBIr1iii0Vm72vcxDBlE7ZQ2Y0iZNJJBYClnDVO8X0zo/6PdTN
FCHwS78kFwUUxMBuATJd3Zg16BbuylzawxfT3is4rmptYPexzaN7F8qnRf6p
1p/QTBmjcO7o7IQqH96PyiO2aCRsTAlGtIQuQBLBwacUMQg1Jpg6xXXt9Oax
wbwzy5+o+7J4sBOVLNq8ODQrY88xFflGq6LYyzm/nddjbMrKK5f5pCGdP7Hb
6t1j4t7u+8euuF130Deb4iDDAuOtVv2LAmkIk62GL5onB0yprMTFUKL8sN32
zGD7V/08f/CGFOXtbSbM34qQoPmR8ar4lg5RCsacfQtwdLPjIiOtuSvw+88A
IyUM/fiEYGI0sBEF6T+1ohcbrvssoYnPFFTp+UtwKcY9yFtlqoEzz6SUqKEC
4RVqdOJiBgnsjBu0fPBK7wYpmEo7kZ1/F2u5KV0E8Scq5fA01F6QUm+MaHvI
8bez1OS9XApn0ZaF7F2No82YYAZ8ZpdoqE5nhTMI4sJRzouN9Za9S+yHchq4
quqbKMLauTehznAoTNy/XhEsU00PQyFhEyS5NqbrvS7cGm9w+Qj53Up/q8cp
GgqyC63LgZfRjYz2VO1AmV8c0qXOTmHSiCFGQJ9N5fwCorQCdW/Jku3NsFS1
BsuYjragmM+0vxfNPVtFc2v7dbSF0iR0LuAznptvi8QnuZSldYhsB3qQTrQS
LV34K4sT4OGW27DPDadWJXs51lZ6kxkLuluLh8jv3671OIUzWk/ZaoiTuEnF
/Sfsoz9AXjkuocFW3v0WhZeIaM+knAhCz5KQrD19d+9gYPaPPn/agNLfBjaP
r0/VSbSC4pGOCNxpjCMr3DmQLeXIZuIu1cTrNduQ6Up156J+CEopwcDT0olh
kYnmFS/PvjjJGOkHIshEZIGUigmb8q0JfG+BfK5e2pTuLeITsT299/4CJAzc
BtaY4pc5mt2IlImy0I0UOoNzcFFMy9w7fRrlhPH6o1qu+3s8umXw7x2YDBv1
+njXv2yEoOxN2gRtWI2y3Q3RJMQl8YoxubHYyz3dpgwqCz4rOlUsehGQjbAz
XuY8h4OThYnNYA4upMO5rYj/Z3G9xiHaRleKQZlFOqj57gKOPbc4rYuCMLY+
oOlfEn5qH68nn9m55WXzJ5vcxTpfRlqf9j7TjZTKJqXYBDXoGNFeblqwD0gF
sx0fhZhYOedWZPWdh8huMMd9IBBN9dl7aJDtJVeZ1ZuFD417arjVkunT10T3
PQWim52LXewRyqyQd3ofuuQywz2MOMrcOkZnWRrXxFYfrRgh0Wvwwkrn0Fqz
rxUSUoRYUUMZ2Hm+BgzSDhFDKS0amsdrF6ws0hMhF7OBOu+Dmm5ZbGGrPYry
1ilcMGREppNB76TZ/L6sNVsTmnJ6SwpSvVisKjVktRaYGDM6je3FHLSuc8aW
COnqy3Jvry5ev3x59ery6lJWAwd2Aptegoq4gXelK/OaQ4e+TRpJsodSNAxU
W14U7N4qWzXwRM0C5Kr2DRAtrqjwhqRQ2b0nIHmCUGFNyxf6hsi83DmXK7nF
clziToD8Y4ALifjYgqsA3f53318dhKghekrQWDcFenhzkIYwtINEkYgr21nr
B4HU6fIEX3L8XprKZHXnYOHqhX8MelUnYR20jdpCKaiS4aJGZ0YYkVQc2erM
ShfXN/eQ8NaFrrstypb7p9KKoF8WXWhAC15LvqLzqmH4lqWXpMtwElHjiz4Z
zZJUyqxWPPjg3pxKGGlAgYmzTMT6ZnQISBJMSqNmyTHyp2gLmP7K0LwgDS4y
kXKQisZxgGkVromoO7rwMsJQhBOJWiLaTbdVzYt2LLJ90v1q7dvL1L0nLyCw
Xb9jeWlaiDTNor8WwRpYwgD/5nuD4EZlqqxEAvAxxNKRJQnhr9UMmO59wS56
cWbs73Hh/Lajk7wIb+0dRJxV+H3MCSyISWMOnCp7m+vatmm+j6yBi4j0tdsC
h28qYmwrt4vSV27HxW4tMJzUPTUWPpRuMMZNiCRHbGh9cXMwcCG0llC4WoTd
8gJkIbFYRholh9ESFM0EdiAY7YVco8VoKdJtSwkpRz7qRMQwF/fHFnWj2nYN
xVdGwDSDsW0HLVxCcuB9NgUnPGWveOE0DGfNDLZ/3W/brRuhmq6/mC2zuPZM
srNwWhlLtM3hcJiN88kHVNE3/vXTFxbw/Ak89fecS3EDLZZHClkjNPeDZFZz
OBhdtbdVjWKKKOObvTYB3SrHhbxbpltnI2jxdCcVgg6tKNRhFv53/Dzb+6Eu
9gb6iqYrxm8cPc/uvnx29nT29Onjo+nxaX72+LR4Wnxpn8BKFX9Byj5/cnT8
7Ons0VF+Nps9nhw9evr4eGIjPD59WuR+gCSNUQZ49BxNfO0NyWfU4kp45/gx
p0fTP315pfBYPwoZhvukQXExtow+Ot4/fnTy+NHZydNnZwfuUyibrrskd0Jw
JA6Qi2+RohttnxP8biLv343CvxEis1+ITn1vN1I/h1X5Xx+3CVBRBquf7Ewn
U/4Wildkr2/8dD53NDshJAqi5cmsbDghAc8Ryn9eTZu6nHKhcR9pdeg/2Ise
Z1/X9V72PIvG2wUrQ3lM/4grcUSjfhq4CKQTNHwVgM5jXmLOtaRHdAxcmiyR
XeUdwdcDLuo2LeIG6qhJWgHr8D7vCczjMPn67suzk6Pjk9MvE3hPmwBvLJ/k
Yy6j96KsVh89ViNgkwd7z/8GWHTyX38a5UBcSp7a21xS4gtfaFWMWW+aeuwL
o6uFZz5Rm7GW3J5qKdrCdLtxlAWYE8e2wehSgi9AggLVxwlXo0XTqWi6rJc2
hWkavvGV2J180mbknPFGO29AZnvsWCKo3901RRF5GFqfFTGWFMgmTlZFC/Oo
2ZZauOHEEPO772tFG8uVa7kfhxnmvUEcmVk5RAfOx8vm7DTju1Gfs+WoqxtR
P5B3taTfBrHhW0ILufh2WYUOgAOHXD8DWLswmuCNaUiam49brm0apdvALRre
nJsWgCyysabBDUSYU1btm1xyLfFGaqvEFnNzz4m8M/UBkZLT14ZNiJKgSKSC
b+P46P8ywYiWOJ+yzz9sfcA7p1ubO8pvmVP/ejVle4tXiXLCNk1Uooo5x5hq
OhmR2jS3NsL2ylBeCTCiIoluKYqmtOthVw/LRX5bwuWY4yjA3QmyZL8lidj5
tJC+99mfVvl01+icUqFkk0PUpq1alEmzQ5kJ1wF22wtIYxhr0e3Ut2rWSsvH
R0fxtJhvahNykpbWwwdi7wvfGa2s7us5wjuqvKppirozQZ6FJiHnAcF4T/vI
zbByWMkk0aXmK0qCMdy4bKZGB767EHEGdEfKrFwoncv5uuWclci7iBgSJF9O
6GUmRNioNGKA+8bV3qGfXb+xEvsQUI0ZJwQ9kSBTjY/BFnV8fkZS9cRMOfaW
s0r1fG7HK+jX92WuuTa09uoD/fLVfFV0NXqr+iacmZVadRZ9DosPb9WcM2xZ
tfqRT2aAGtn8f87eFDWfLP7fn7WkPF++b4Sx/JkFI8tIPbSS839GGhg29Q2X
AceL/qcbJtvwvz+7Pw+j//3jcON/W34aZr/0RX1CKzk+ysZKdH8GGSb/w/ON
//0Zx773kz+z+8dHfzg+OQhPtswyOIpn+gtmiQ8JJnp04Gdh6KNZeI54nr9g
lv5xxExPDniWoH2oOVJotvWdC0FHX5WkRhGzwu3LtCR224XWxXbhXvIX51g/
aQfmMD59/EjsdB+snHa4QpcgQM+5OW7kF8Fz3nUcXwRwnL/XfYkEOuicG0h/
cfBBNltVauPtXa6+L91S/KsLYkyh65UXF1JJw8tUXDT0OBtmxR9+Gn74w8nh
/kl1IMJNeCPbIcLoC1XGJd8TySPcO/bSB/r/51KzO3oYFHwDGLxSEtg1RUH4
qrIyrR5vy/Q96Kz/mJP+Y1xLWeBlhm1tKnzjkPw+px0RL79HjCWn33wv2YuE
pFYUXTi1PpYLL6ZJ0RJpcWLbKbvJSU1BXmXkElIhZ2di2+p6Up+JzNE3n8c2
o9uw7S93n3YbiBmp37Q8hPtnYRfehK8kTES5HrPSnRwwOz55OqQRRcqlP5+d
xH+ePHoc/Zmyy8/xv5/5032Ok51kvyLe8Ifh8SP8+VT/PJU/H+mfj/Cn+xyz
soGOniUDnTxLBjp7pgPt5kd+oBSikxSiM4HIvUJEDtvnlRh+XuDngkAqncJW
vS7yhoQ8p/Ebatn1O2q28w1ZMpXPIGU4uqM7y3PWBvR4PxIq/WeSWtOiWRbD
MEoit9yGzBgJrZC/IH3ENwTmjMfjkCaHaTkVWh9ba3GpMubRNv0MznwrekbB
0o5vzvJx2w0nggOU3ekUTRqvyEZDJ6jorx7XDa+0k4bRIYjXexe9XRIjIPld
Zd3Migv6ig55a+UVFKtx8qlPhKwbUnNoSr/Js+LBJPJRv3IRnKattrGCXlgu
1N98z32nSLObh9itvI8/FxOd5yydFtVB8jhrp7Tiu/Qm7O+jy3tXpdch1Lga
NMrAAVHKjjjm/v4H+u/x0QGdm+WBi55n73g5sooIVLeFf8Yr4xsGDIqp3nl+
eBkfhr+ACWZ/Ozb41zHCxyJZMcJblZj+cHJmf+PPs/DnZ1nhUzaE1NW0DcLX
H47ToU6ToXYzw6fZouQYPx1PhjpOhwp/cn2KQhriEpL17uK+MPA2+lRfeoXk
oE4iclYWiOqba8nRlQBJ1DKFK2uFMAob1kcrSxuR+GuehrZQZod+y4fzMxpo
6zYSD5WwY0glqNzqWLD0yEUsSQ0OlNuzAuUiBYFJSc46u690uNVyGnElSyBn
TYxTAjgmu9jES+0XNhDhxp/9PvpcP7EhCtI2n1lM5xq1+arOtCfZ+/ckb0R5
AFIQl3/VsKTjE460G0uAnjRTm9zV5STkMYd03RBizgOI6AslXxRSTytiTrS4
ATQ29JQj0TRAnvOVV5gMeIcHaejwkHYbzKIhtBIzt5JfyBrwQiP4vAiT7uLN
+1bLzVsNINw4vt4MR5T44ImpdxCdHJEGxN/RPx6N3OuN6kmINIhho4WPG4lg
QHS/xDeJVkETugAA+7o5cZgbOERBurSwbs60qT7h3k6z7i7d8VaTToxtigUV
xNN6Tm29aljTlquhbLTOjPbXzs4y2bFpLbkLvhgOXxM89na8uxTx2ma4ZqId
s7lBepf4nvY1sg3mQl4u1Mvg08GXBJCIzuOyBt2c8KIUualqh+diLUEdVC6d
INf8R66zklnvxRbmQLjqfDRMpEJqWyIhSuSK89Yv156C24I0UII+pGRLbTOL
uJwUFe1x3UbNlqKYUcetkYIFh4MREN3d1PPMW9HiIlio5QH/X8XEAhEK8V1+
p63VQlLGRiyBIznEUsLGh4KDSxixDUItJQ0SDQGg2rwbVOojsPxiJDcAKoip
Wag1x++hJBSjfMvUKeG4rQfWQpZrHwqRT8tE78tb7wQNHE/4d9peks53ONro
MH6hchqw9sYkvUvuwrSthmToecmpSJUX8zaFRTRyas0Shq+0NXXSetpXJedO
Q+Dtd8V8mfEoxQOiKgptqM4xQBz0Qcg2U/3ESmB+jQJwPOOQENUOuV7q0TGn
fZzDXYPd0bJ7jbkzslw74vaHoE2frvNFNNRRXFBwlpdcsEDU+rQqch0qT3pJ
W5MFJYSiktKgGisRVTJgMKUjoMYOpw6hSqs0wfysYfHcLYz74d6gqrHV68qj
ypn0kO8x1GyXRCXjFAwZuyn/GBSkXq5dHyll0c36yL0gHIToJg0naxoL32MW
gOx1GZI+eFlWzBa4waZ5dCVYZFZ+RB7vuWZLRnVQUMYKISk/dKWO9HnYThi2
t0S2yI27en/dIhRAGK3P60AZbsYQ3E4a9YiQVt449ghJ88YWUtyAxWO54h49
HgXKMhpC0ggBycuKqU3CeX6U0g036kxFQXxO5VODeGu+yiKkq4lgszbAuF46
goNI1pc7UB+YdyOAXixYv/hV9qIW5wxwa/Y66Y5o0O9IL3A/g+BTLOb/K+xa
VhCGgeC9X9GjCoqCj4NHUehBBP9AoTdpi20P/r3Z2adWKXgyaZJuNo8mOzNN
mqqiE8G88QrcKPfsFltdaybAb/1flPeg4sLRqhQbGUVZBZA+2rR15uDe4nws
hB6BO5mRlkEm+pav1vNIeUAPkwgfSQXTKtY3vOMiK1uiEE0JW0Zr/Ol4sYNA
J25dhDPTvB3qUTUB9MRHaeoJwupPReOMH0ijkB26aZO+UsxxasfUoBuumcbO
5GP1BWk1RmgiTLaS4ArPSENQsdnpBznSSsjsNN32g8rw7R37KcTJe+a0X0rf
HHirRX5Bp7KVfbLA+LiWFeNXo8/gFtnptPc2HTAKwtT4hG7s/ih5Go2MfRIx
9TNnwXR0X2xTA/AxKxnzmPckhbyJwdQ+Aflcjk1Zy405lviNCEg/yxZHxWxV
WApIvSAQNYCXWTv+1rb10e984dJE6gHcJyPsacDspoXnVoIqYgcTjbdgRxWd
1CGYJttXgjauHn4ET99ORhBk8XwA+FBGqE/3pKrednWt7GPZGwo6YcuRWAEA

-->

</rfc>

