Skip to content

Commit

Permalink
Script updating gh-pages from b25e6b7. [ci skip]
Browse files Browse the repository at this point in the history
  • Loading branch information
ID Bot committed Jul 9, 2019
1 parent 241de2b commit ed4cf46
Show file tree
Hide file tree
Showing 5 changed files with 1,709 additions and 1,575 deletions.
16 changes: 10 additions & 6 deletions draft-ietf-quic-invariants.html
View file
Expand Up @@ -431,11 +431,13 @@ <h2 id="rfc.section.4.1">
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Version (32) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|DCIL(4)|SCIL(4)|
| DCID Len (8) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Destination Connection ID (0/32..144) ...
| Destination Connection ID (0..2040) ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Source Connection ID (0/32..144) ...
| SCID Len (8) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Source Connection ID (0..2040) ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Expand Down Expand Up @@ -493,11 +495,13 @@ <h1 id="rfc.section.5">
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Version (32) = 0 |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|DCIL(4)|SCIL(4)|
| DCID Len (8) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Destination Connection ID (0..2040) ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Destination Connection ID (0/32..144) ...
| SCID Len (8) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Source Connection ID (0/32..144) ...
| Source Connection ID (0..2040) ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Supported Version 1 (32) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Expand Down
136 changes: 96 additions & 40 deletions draft-ietf-quic-invariants.txt
View file
Expand Up @@ -75,18 +75,18 @@ Table of Contents
3. An Extremely Abstract Description of QUIC . . . . . . . . . . 3
4. QUIC Packet Headers . . . . . . . . . . . . . . . . . . . . . 3
4.1. Long Header . . . . . . . . . . . . . . . . . . . . . . . 3
4.2. Short Header . . . . . . . . . . . . . . . . . . . . . . 4
4.2. Short Header . . . . . . . . . . . . . . . . . . . . . . 5
4.3. Connection ID . . . . . . . . . . . . . . . . . . . . . . 5
4.4. Version . . . . . . . . . . . . . . . . . . . . . . . . . 5
5. Version Negotiation . . . . . . . . . . . . . . . . . . . . . 6
6. Security and Privacy Considerations . . . . . . . . . . . . . 7
7. IANA Considerations . . . . . . . . . . . . . . . . . . . . . 7
8. References . . . . . . . . . . . . . . . . . . . . . . . . . 7
7. IANA Considerations . . . . . . . . . . . . . . . . . . . . . 8
8. References . . . . . . . . . . . . . . . . . . . . . . . . . 8
8.1. Normative References . . . . . . . . . . . . . . . . . . 8
8.2. Informative References . . . . . . . . . . . . . . . . . 8
8.3. URIs . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Appendix A. Incorrect Assumptions . . . . . . . . . . . . . . . 8
Author's Address . . . . . . . . . . . . . . . . . . . . . . . . 9
Author's Address . . . . . . . . . . . . . . . . . . . . . . . . 10

1. Introduction

Expand Down Expand Up @@ -177,11 +177,13 @@ Internet-Draft QUIC Invariants July 2019
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Version (32) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|DCIL(4)|SCIL(4)|
| DCID Len (8) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Destination Connection ID (0/32..144) ...
| Destination Connection ID (0..2040) ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Source Connection ID (0/32..144) ...
| SCID Len (8) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Source Connection ID (0..2040) ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Expand Down Expand Up @@ -212,10 +214,8 @@ Internet-Draft QUIC Invariants July 2019

The remainder of the packet contains version-specific content.

4.2. Short Header

Short headers take the form described in Figure 2. Bits that have
version-specific semantics are marked with an X.




Expand All @@ -226,6 +226,11 @@ Thomson Expires January 9, 2020 [Page 4]
Internet-Draft QUIC Invariants July 2019


4.2. Short Header

Short headers take the form described in Figure 2. Bits that have
version-specific semantics are marked with an X.

0 1 2 3
0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+
Expand Down Expand Up @@ -269,11 +274,6 @@ Internet-Draft QUIC Invariants July 2019
network byte order. Version 0 is reserved for version negotiation
(see Section 5). All other version numbers are potentially valid.

The properties described in this document apply to all versions of
QUIC. A protocol that does not conform to the properties described
in this document is not QUIC. Future documents might describe
additional properties which apply to a specific QUIC version, or to a
range of QUIC versions.



Expand All @@ -282,6 +282,12 @@ Thomson Expires January 9, 2020 [Page 5]
Internet-Draft QUIC Invariants July 2019


The properties described in this document apply to all versions of
QUIC. A protocol that does not conform to the properties described
in this document is not QUIC. Future documents might describe
additional properties which apply to a specific QUIC version, or to a
range of QUIC versions.

5. Version Negotiation

A QUIC endpoint that receives a packet with a long header and a
Expand All @@ -301,11 +307,13 @@ Internet-Draft QUIC Invariants July 2019
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Version (32) = 0 |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|DCIL(4)|SCIL(4)|
| DCID Len (8) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Destination Connection ID (0..2040) ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Destination Connection ID (0/32..144) ...
| SCID Len (8) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Source Connection ID (0/32..144) ...
| Source Connection ID (0..2040) ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| Supported Version 1 (32) |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Expand All @@ -322,14 +330,6 @@ Internet-Draft QUIC Invariants July 2019
fields, each identifying a version that the endpoint sending the
packet supports. The Supported Version fields follow the Version
field. A Version Negotiation packet contains no other fields. An
endpoint MUST ignore a packet that contains no Supported Version
fields, or a truncated Supported Version.

Version Negotiation packets do not use integrity or confidentiality
protection. A specific QUIC version might authenticate the packet as
part of its connection establishment process.





Expand All @@ -338,6 +338,13 @@ Thomson Expires January 9, 2020 [Page 6]
Internet-Draft QUIC Invariants July 2019


endpoint MUST ignore a packet that contains no Supported Version
fields, or a truncated Supported Version.

Version Negotiation packets do not use integrity or confidentiality
protection. A specific QUIC version might authenticate the packet as
part of its connection establishment process.

An endpoint MUST include the value from the Source Connection ID
field of the packet it receives in the Destination Connection ID
field. The value for Source Connection ID MUST be copied from the
Expand Down Expand Up @@ -377,13 +384,6 @@ Internet-Draft QUIC Invariants July 2019
by off-path attackers. QUIC versions MUST define a mechanism that
authenticates the values it contains.

7. IANA Considerations

This document makes no request of IANA.

8. References





Expand All @@ -394,6 +394,12 @@ Thomson Expires January 9, 2020 [Page 7]
Internet-Draft QUIC Invariants July 2019


7. IANA Considerations

This document makes no request of IANA.

8. References

8.1. Normative References

[QUIC-TRANSPORT]
Expand Down Expand Up @@ -435,13 +441,7 @@ Appendix A. Incorrect Assumptions
not protected from observation, but are nonetheless considered to be
changeable when a new version is deployed.

This section lists a sampling of incorrect assumptions that might be
made based on knowledge of QUIC version 1. Some of these statements
are not even true for QUIC version 1. This is not an exhaustive
list, it is intended to be illustrative only.

The following statements are NOT guaranteed to be true for every QUIC
version:



Expand All @@ -450,6 +450,14 @@ Thomson Expires January 9, 2020 [Page 8]
Internet-Draft QUIC Invariants July 2019


This section lists a sampling of incorrect assumptions that might be
made based on knowledge of QUIC version 1. Some of these statements
are not even true for QUIC version 1. This is not an exhaustive
list, it is intended to be illustrative only.

The following statements are NOT guaranteed to be true for every QUIC
version:

o QUIC uses TLS [QUIC-TLS] and some TLS messages are visible on the
wire

Expand Down Expand Up @@ -490,6 +498,14 @@ Internet-Draft QUIC Invariants July 2019
o Only one connection at a time is established between any pair of
QUIC endpoints




Thomson Expires January 9, 2020 [Page 9]

Internet-Draft QUIC Invariants July 2019


Author's Address

Martin Thomson
Expand All @@ -501,4 +517,44 @@ Author's Address



Thomson Expires January 9, 2020 [Page 9]








































Thomson Expires January 9, 2020 [Page 10]

0 comments on commit ed4cf46

Please sign in to comment.