1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303 2304 2305 2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316 2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329 2330 2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646 2647 2648 2649 2650 2651 2652 2653 2654 2655 2656 2657 2658 2659 2660 2661 2662 2663 2664 2665 2666 2667 2668 2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686 2687 2688 2689 2690 2691 2692 2693 2694 2695 2696 2697 2698 2699 2700 2701 2702 2703 2704 2705 2706 2707 2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723 2724 2725 2726 2727 2728 2729 2730 2731 2732 2733 2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744 2745 2746 2747 2748 2749 2750 2751 2752 2753 2754 2755 2756 2757 2758 2759 2760 2761 2762 2763 2764 2765 2766 2767 2768 2769 2770 2771 2772 2773 2774 2775 2776 2777 2778 2779 2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796 2797 2798 2799 2800 2801 2802 2803 2804 2805 2806 2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817 2818 2819 2820 2821 2822 2823 2824 2825 2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844 2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863 2864 2865 2866 2867 2868 2869 2870 2871 2872 2873 2874 2875 2876 2877 2878 2879 2880 2881 2882 2883 2884 2885 2886 2887 2888 2889 2890 2891 2892 2893 2894 2895 2896 2897 2898 2899 2900 2901 2902 2903 2904 2905 2906 2907 2908 2909 2910 2911 2912 2913 2914 2915 2916 2917 2918 2919 2920 2921 2922 2923 2924 2925 2926 2927 2928 2929 2930 2931 2932 2933 2934 2935 2936 2937 2938 2939 2940 2941 2942 2943 2944 2945 2946 2947 2948 2949 2950 2951 2952 2953 2954 2955 2956 2957 2958 2959 2960 2961 2962 2963 2964 2965 2966 2967 2968 2969 2970 2971 2972 2973 2974 2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989 2990 2991 2992 2993 2994 2995 2996 2997 2998 2999 3000 3001 3002 3003 3004 3005 3006 3007 3008 3009 3010 3011 3012 3013 3014 3015 3016 3017 3018 3019 3020 3021 3022 3023 3024 3025 3026 3027 3028 3029 3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047 3048 3049 3050 3051 3052 3053 3054 3055 3056 3057 3058 3059 3060 3061 3062 3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093 3094 3095 3096 3097 3098 3099 3100 3101 3102 3103 3104 3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 3126 3127 3128 3129 3130 3131 3132 3133 3134 3135 3136 3137 3138 3139 3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247 3248 3249 3250 3251 3252 3253 3254 3255 3256 3257 3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277 3278 3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328 3329 3330 3331 3332 3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344 3345 3346 3347 3348 3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385 3386 3387 3388 3389 3390 3391 3392 3393 3394 3395 3396 3397 3398 3399 3400 3401 3402 3403 3404 3405 3406 3407 3408 3409 3410 3411 3412 3413 3414 3415 3416 3417 3418 3419 3420 3421 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3446 3447 3448 3449 3450 3451 3452 3453 3454 3455 3456 3457 3458 3459 3460 3461 3462 3463 3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500 3501 3502 3503 3504 3505 3506 3507 3508 3509 3510 3511 3512 3513 3514 3515 3516 3517 3518 3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542 3543 3544 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 3556 3557 3558 3559 3560 3561 3562 3563 3564 3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626 3627 3628 3629 3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 3661 3662 3663 3664 3665 3666 3667 3668 3669 3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 3680 3681 3682 3683 3684 3685 3686 3687 3688 3689 3690 3691 3692 3693 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707 3708 3709 3710 3711 3712 3713 3714 3715 3716 3717 3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732 3733 3734 3735 3736 3737 3738 3739 3740 3741 3742 3743 3744 3745 3746 3747 3748 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774 3775 3776 3777 3778 3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802 3803 3804 3805 3806 3807 3808 3809 3810 3811 3812 3813 3814 3815 3816 3817 3818 3819 3820 3821 3822 3823 3824 3825 3826 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 3848 3849 3850 3851 3852 3853 3854 3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911 3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940 3941 3942 3943 3944 3945 3946 3947 3948 3949 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 3961 3962 3963 3964 3965 3966 3967 3968 3969 3970 3971 3972 3973 3974 3975 3976 3977 3978 3979 3980 3981 3982 3983 3984 3985 3986 3987 3988 3989 3990 3991 3992 3993 3994 3995 3996 3997 3998 3999 4000 4001 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019 4020 4021 4022 4023 4024 4025 4026 4027 4028 4029 4030 4031 4032 4033 4034 4035 4036 4037 4038 4039 4040 4041 4042 4043 4044 4045 4046 4047 4048 4049 4050 4051 4052 4053 4054 4055 4056 4057 4058 4059 4060 4061 4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072 4073 4074 4075 4076 4077 4078 4079 4080 4081 4082 4083 4084 4085 4086 4087 4088 4089 4090 4091 4092 4093 4094 4095 4096 4097 4098 4099 4100 4101 4102 4103 4104 4105 4106 4107 4108 4109 4110 4111 4112 4113 4114 4115 4116 4117 4118 4119 4120 4121 4122 4123 4124 4125 4126 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136 4137 4138 4139 4140 4141 4142 4143 4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 4154 4155 4156 4157 4158 4159 4160 4161 4162 4163 4164 4165 4166 4167 4168 4169 4170 4171 4172 4173 4174 4175 4176 4177 4178 4179 4180 4181 4182 4183 4184 4185 4186 4187 4188 4189 4190 4191 4192 4193 4194 4195 4196 4197 4198 4199 4200 4201 4202 4203 4204 4205 4206 4207 4208 4209 4210 4211 4212 4213 4214 4215 4216 4217 4218 4219 4220 4221 4222 4223 4224 4225 4226 4227 4228 4229 4230 4231 4232 4233 4234 4235 4236 4237 4238 4239 4240 4241 4242 4243 4244 4245 4246 4247 4248 4249 4250 4251 4252 4253 4254 4255 4256 4257 4258 4259 4260 4261 4262 4263 4264 4265 4266 4267 4268 4269 4270 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280 4281 4282 4283 4284 4285 4286 4287 4288 4289 4290 4291 4292 4293 4294 4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311 4312 4313 4314 4315 4316 4317 4318 4319 4320 4321 4322 4323 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 4334 4335 4336 4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348 4349 4350 4351 4352 4353 4354 4355 4356 4357 4358 4359 4360 4361 4362 4363 4364 4365 4366 4367 4368 4369
|
<!DOCTYPE html>
<html lang="en" class="RFC">
<head>
<meta charset="utf-8">
<meta content="Common,Latin" name="scripts">
<meta content="initial-scale=1.0" name="viewport">
<title>RFC 9001: Using TLS to Secure QUIC</title>
<meta content="Martin Thomson" name="author">
<meta content="Sean Turner" name="author">
<meta content="
This document describes how Transport Layer Security (TLS) is used to secure
QUIC.
" name="description">
<meta content="xml2rfc 3.8.0" name="generator">
<meta content="crypto" name="keyword">
<meta content="opportunistic encryption" name="keyword">
<meta content="plaintext quic" name="keyword">
<meta content="9001" name="rfc.number">
<!-- Generator version information:
xml2rfc 3.8.0
Python 3.6.10
appdirs 1.4.4
ConfigArgParse 1.2.3
google-i18n-address 2.3.5
html5lib 1.0.1
intervaltree 3.0.2
Jinja2 2.11.2
kitchen 1.2.6
lxml 4.4.2
pycairo 1.19.0
pycountry 19.8.18
pyflakes 2.1.1
PyYAML 5.3.1
requests 2.22.0
setuptools 40.6.2
six 1.14.0
WeasyPrint 51
-->
<link href="rfc9001.xml" rel="alternate" type="application/rfc+xml">
<link href="#copyright" rel="license">
<style type="text/css">/*
NOTE: Changes at the bottom of this file overrides some earlier settings.
Once the style has stabilized and has been adopted as an official RFC style,
this can be consolidated so that style settings occur only in one place, but
for now the contents of this file consists first of the initial CSS work as
provided to the RFC Formatter (xml2rfc) work, followed by itemized and
commented changes found necssary during the development of the v3
formatters.
*/
/* fonts */
@import url('https://fonts.googleapis.com/css?family=Noto+Sans'); /* Sans-serif */
@import url('https://fonts.googleapis.com/css?family=Noto+Serif'); /* Serif (print) */
@import url('https://fonts.googleapis.com/css?family=Roboto+Mono'); /* Monospace */
@viewport {
zoom: 1.0;
width: extend-to-zoom;
}
@-ms-viewport {
width: extend-to-zoom;
zoom: 1.0;
}
/* general and mobile first */
html {
}
body {
max-width: 90%;
margin: 1.5em auto;
color: #222;
background-color: #fff;
font-size: 14px;
font-family: 'Noto Sans', Arial, Helvetica, sans-serif;
line-height: 1.6;
scroll-behavior: smooth;
}
.ears {
display: none;
}
/* headings */
#title, h1, h2, h3, h4, h5, h6 {
margin: 1em 0 0.5em;
font-weight: bold;
line-height: 1.3;
}
#title {
clear: both;
border-bottom: 1px solid #ddd;
margin: 0 0 0.5em 0;
padding: 1em 0 0.5em;
}
.author {
padding-bottom: 4px;
}
h1 {
font-size: 26px;
margin: 1em 0;
}
h2 {
font-size: 22px;
margin-top: -20px; /* provide offset for in-page anchors */
padding-top: 33px;
}
h3 {
font-size: 18px;
margin-top: -36px; /* provide offset for in-page anchors */
padding-top: 42px;
}
h4 {
font-size: 16px;
margin-top: -36px; /* provide offset for in-page anchors */
padding-top: 42px;
}
h5, h6 {
font-size: 14px;
}
#n-copyright-notice {
border-bottom: 1px solid #ddd;
padding-bottom: 1em;
margin-bottom: 1em;
}
/* general structure */
p {
padding: 0;
margin: 0 0 1em 0;
text-align: left;
}
div, span {
position: relative;
}
div {
margin: 0;
}
.alignRight.art-text {
background-color: #f9f9f9;
border: 1px solid #eee;
border-radius: 3px;
padding: 1em 1em 0;
margin-bottom: 1.5em;
}
.alignRight.art-text pre {
padding: 0;
}
.alignRight {
margin: 1em 0;
}
.alignRight > *:first-child {
border: none;
margin: 0;
float: right;
clear: both;
}
.alignRight > *:nth-child(2) {
clear: both;
display: block;
border: none;
}
svg {
display: block;
}
.alignCenter.art-text {
background-color: #f9f9f9;
border: 1px solid #eee;
border-radius: 3px;
padding: 1em 1em 0;
margin-bottom: 1.5em;
}
.alignCenter.art-text pre {
padding: 0;
}
.alignCenter {
margin: 1em 0;
}
.alignCenter > *:first-child {
border: none;
/* this isn't optimal, but it's an existence proof. PrinceXML doesn't
support flexbox yet.
*/
display: table;
margin: 0 auto;
}
/* lists */
ol, ul {
padding: 0;
margin: 0 0 1em 2em;
}
ol ol, ul ul, ol ul, ul ol {
margin-left: 1em;
}
li {
margin: 0 0 0.25em 0;
}
.ulCompact li {
margin: 0;
}
ul.empty, .ulEmpty {
list-style-type: none;
}
ul.empty li, .ulEmpty li {
margin-top: 0.5em;
}
ul.compact, .ulCompact,
ol.compact, .olCompact {
line-height: 100%;
margin: 0 0 0 2em;
}
/* definition lists */
dl {
}
dl > dt {
float: left;
margin-right: 1em;
}
/*
dl.nohang > dt {
float: none;
}
*/
dl > dd {
margin-bottom: .8em;
min-height: 1.3em;
}
dl.compact > dd, .dlCompact > dd {
margin-bottom: 0em;
}
dl > dd > dl {
margin-top: 0.5em;
margin-bottom: 0em;
}
/* links */
a {
text-decoration: none;
}
a[href] {
color: #22e; /* Arlen: WCAG 2019 */
}
a[href]:hover {
background-color: #f2f2f2;
}
figcaption a[href],
a[href].selfRef {
color: #222;
}
/* XXX probably not this:
a.selfRef:hover {
background-color: transparent;
cursor: default;
} */
/* Figures */
tt, code, pre, code {
background-color: #f9f9f9;
font-family: 'Roboto Mono', monospace;
}
pre {
border: 1px solid #eee;
margin: 0;
padding: 1em;
}
img {
max-width: 100%;
}
figure {
margin: 0;
}
figure blockquote {
margin: 0.8em 0.4em 0.4em;
}
figcaption {
font-style: italic;
margin: 0 0 1em 0;
}
@media screen {
pre {
overflow-x: auto;
max-width: 100%;
max-width: calc(100% - 22px);
}
}
/* aside, blockquote */
aside, blockquote {
margin-left: 0;
padding: 1.2em 2em;
}
blockquote {
background-color: #f9f9f9;
color: #111; /* Arlen: WCAG 2019 */
border: 1px solid #ddd;
border-radius: 3px;
margin: 1em 0;
}
cite {
display: block;
text-align: right;
font-style: italic;
}
/* tables */
table {
width: 100%;
margin: 0 0 1em;
border-collapse: collapse;
border: 1px solid #eee;
}
th, td {
text-align: left;
vertical-align: top;
padding: 0.5em 0.75em;
}
th {
text-align: left;
background-color: #e9e9e9;
}
tr:nth-child(2n+1) > td {
background-color: #f5f5f5;
}
table caption {
font-style: italic;
margin: 0;
padding: 0;
text-align: left;
}
table p {
/* XXX to avoid bottom margin on table row signifiers. If paragraphs should
be allowed within tables more generally, it would be far better to select on a class. */
margin: 0;
}
/* pilcrow */
a.pilcrow {
color: #666; /* Arlen: AHDJ 2019 */
text-decoration: none;
visibility: hidden;
user-select: none;
-ms-user-select: none;
-o-user-select:none;
-moz-user-select: none;
-khtml-user-select: none;
-webkit-user-select: none;
-webkit-touch-callout: none;
}
@media screen {
aside:hover > a.pilcrow,
p:hover > a.pilcrow,
blockquote:hover > a.pilcrow,
div:hover > a.pilcrow,
li:hover > a.pilcrow,
pre:hover > a.pilcrow {
visibility: visible;
}
a.pilcrow:hover {
background-color: transparent;
}
}
/* misc */
hr {
border: 0;
border-top: 1px solid #eee;
}
.bcp14 {
font-variant: small-caps;
}
.role {
font-variant: all-small-caps;
}
/* info block */
#identifiers {
margin: 0;
font-size: 0.9em;
}
#identifiers dt {
width: 3em;
clear: left;
}
#identifiers dd {
float: left;
margin-bottom: 0;
}
#identifiers .authors .author {
display: inline-block;
margin-right: 1.5em;
}
#identifiers .authors .org {
font-style: italic;
}
/* The prepared/rendered info at the very bottom of the page */
.docInfo {
color: #666; /* Arlen: WCAG 2019 */
font-size: 0.9em;
font-style: italic;
margin-top: 2em;
}
.docInfo .prepared {
float: left;
}
.docInfo .prepared {
float: right;
}
/* table of contents */
#toc {
padding: 0.75em 0 2em 0;
margin-bottom: 1em;
}
nav.toc ul {
margin: 0 0.5em 0 0;
padding: 0;
list-style: none;
}
nav.toc li {
line-height: 1.3em;
margin: 0.75em 0;
padding-left: 1.2em;
text-indent: -1.2em;
}
/* references */
.references dt {
text-align: right;
font-weight: bold;
min-width: 7em;
}
.references dd {
margin-left: 8em;
overflow: auto;
}
.refInstance {
margin-bottom: 1.25em;
}
.references .ascii {
margin-bottom: 0.25em;
}
/* index */
.index ul {
margin: 0 0 0 1em;
padding: 0;
list-style: none;
}
.index ul ul {
margin: 0;
}
.index li {
margin: 0;
text-indent: -2em;
padding-left: 2em;
padding-bottom: 5px;
}
.indexIndex {
margin: 0.5em 0 1em;
}
.index a {
font-weight: 700;
}
/* make the index two-column on all but the smallest screens */
@media (min-width: 600px) {
.index ul {
-moz-column-count: 2;
-moz-column-gap: 20px;
}
.index ul ul {
-moz-column-count: 1;
-moz-column-gap: 0;
}
}
/* authors */
address.vcard {
font-style: normal;
margin: 1em 0;
}
address.vcard .nameRole {
font-weight: 700;
margin-left: 0;
}
address.vcard .label {
font-family: "Noto Sans",Arial,Helvetica,sans-serif;
margin: 0.5em 0;
}
address.vcard .type {
display: none;
}
.alternative-contact {
margin: 1.5em 0 1em;
}
hr.addr {
border-top: 1px dashed;
margin: 0;
color: #ddd;
max-width: calc(100% - 16px);
}
/* temporary notes */
.rfcEditorRemove::before {
position: absolute;
top: 0.2em;
right: 0.2em;
padding: 0.2em;
content: "The RFC Editor will remove this note";
color: #9e2a00; /* Arlen: WCAG 2019 */
background-color: #ffd; /* Arlen: WCAG 2019 */
}
.rfcEditorRemove {
position: relative;
padding-top: 1.8em;
background-color: #ffd; /* Arlen: WCAG 2019 */
border-radius: 3px;
}
.cref {
background-color: #ffd; /* Arlen: WCAG 2019 */
padding: 2px 4px;
}
.crefSource {
font-style: italic;
}
/* alternative layout for smaller screens */
@media screen and (max-width: 1023px) {
body {
padding-top: 2em;
}
#title {
padding: 1em 0;
}
h1 {
font-size: 24px;
}
h2 {
font-size: 20px;
margin-top: -18px; /* provide offset for in-page anchors */
padding-top: 38px;
}
#identifiers dd {
max-width: 60%;
}
#toc {
position: fixed;
z-index: 2;
top: 0;
right: 0;
padding: 0;
margin: 0;
background-color: inherit;
border-bottom: 1px solid #ccc;
}
#toc h2 {
margin: -1px 0 0 0;
padding: 4px 0 4px 6px;
padding-right: 1em;
min-width: 190px;
font-size: 1.1em;
text-align: right;
background-color: #444;
color: white;
cursor: pointer;
}
#toc h2::before { /* css hamburger */
float: right;
position: relative;
width: 1em;
height: 1px;
left: -164px;
margin: 6px 0 0 0;
background: white none repeat scroll 0 0;
box-shadow: 0 4px 0 0 white, 0 8px 0 0 white;
content: "";
}
#toc nav {
display: none;
padding: 0.5em 1em 1em;
overflow: auto;
height: calc(100vh - 48px);
border-left: 1px solid #ddd;
}
}
/* alternative layout for wide screens */
@media screen and (min-width: 1024px) {
body {
max-width: 724px;
margin: 42px auto;
padding-left: 1.5em;
padding-right: 29em;
}
#toc {
position: fixed;
top: 42px;
right: 42px;
width: 25%;
margin: 0;
padding: 0 1em;
z-index: 1;
}
#toc h2 {
border-top: none;
border-bottom: 1px solid #ddd;
font-size: 1em;
font-weight: normal;
margin: 0;
padding: 0.25em 1em 1em 0;
}
#toc nav {
display: block;
height: calc(90vh - 84px);
bottom: 0;
padding: 0.5em 0 0;
overflow: auto;
}
img { /* future proofing */
max-width: 100%;
height: auto;
}
}
/* pagination */
@media print {
body {
width: 100%;
}
p {
orphans: 3;
widows: 3;
}
#n-copyright-notice {
border-bottom: none;
}
#toc, #n-introduction {
page-break-before: always;
}
#toc {
border-top: none;
padding-top: 0;
}
figure, pre {
page-break-inside: avoid;
}
figure {
overflow: scroll;
}
h1, h2, h3, h4, h5, h6 {
page-break-after: avoid;
}
h2+*, h3+*, h4+*, h5+*, h6+* {
page-break-before: avoid;
}
pre {
white-space: pre-wrap;
word-wrap: break-word;
font-size: 10pt;
}
table {
border: 1px solid #ddd;
}
td {
border-top: 1px solid #ddd;
}
}
/* This is commented out here, as the string-set: doesn't
pass W3C validation currently */
/*
.ears thead .left {
string-set: ears-top-left content();
}
.ears thead .center {
string-set: ears-top-center content();
}
.ears thead .right {
string-set: ears-top-right content();
}
.ears tfoot .left {
string-set: ears-bottom-left content();
}
.ears tfoot .center {
string-set: ears-bottom-center content();
}
.ears tfoot .right {
string-set: ears-bottom-right content();
}
*/
@page :first {
padding-top: 0;
@top-left {
content: normal;
border: none;
}
@top-center {
content: normal;
border: none;
}
@top-right {
content: normal;
border: none;
}
}
@page {
size: A4;
margin-bottom: 45mm;
padding-top: 20px;
/* The follwing is commented out here, but set appropriately by in code, as
the content depends on the document */
/*
@top-left {
content: 'Internet-Draft';
vertical-align: bottom;
border-bottom: solid 1px #ccc;
}
@top-left {
content: string(ears-top-left);
vertical-align: bottom;
border-bottom: solid 1px #ccc;
}
@top-center {
content: string(ears-top-center);
vertical-align: bottom;
border-bottom: solid 1px #ccc;
}
@top-right {
content: string(ears-top-right);
vertical-align: bottom;
border-bottom: solid 1px #ccc;
}
@bottom-left {
content: string(ears-bottom-left);
vertical-align: top;
border-top: solid 1px #ccc;
}
@bottom-center {
content: string(ears-bottom-center);
vertical-align: top;
border-top: solid 1px #ccc;
}
@bottom-right {
content: '[Page ' counter(page) ']';
vertical-align: top;
border-top: solid 1px #ccc;
}
*/
}
/* Changes introduced to fix issues found during implementation */
/* Make sure links are clickable even if overlapped by following H* */
a {
z-index: 2;
}
/* Separate body from document info even without intervening H1 */
section {
clear: both;
}
/* Top align author divs, to avoid names without organization dropping level with org names */
.author {
vertical-align: top;
}
/* Leave room in document info to show Internet-Draft on one line */
#identifiers dt {
width: 8em;
}
/* Don't waste quite as much whitespace between label and value in doc info */
#identifiers dd {
margin-left: 1em;
}
/* Give floating toc a background color (needed when it's a div inside section */
#toc {
background-color: white;
}
/* Make the collapsed ToC header render white on gray also when it's a link */
@media screen and (max-width: 1023px) {
#toc h2 a,
#toc h2 a:link,
#toc h2 a:focus,
#toc h2 a:hover,
#toc a.toplink,
#toc a.toplink:hover {
color: white;
background-color: #444;
text-decoration: none;
}
}
/* Give the bottom of the ToC some whitespace */
@media screen and (min-width: 1024px) {
#toc {
padding: 0 0 1em 1em;
}
}
/* Style section numbers with more space between number and title */
.section-number {
padding-right: 0.5em;
}
/* prevent monospace from becoming overly large */
tt, code, pre, code {
font-size: 95%;
}
/* Fix the height/width aspect for ascii art*/
pre.sourcecode,
.art-text pre {
line-height: 1.12;
}
/* Add styling for a link in the ToC that points to the top of the document */
a.toplink {
float: right;
margin-right: 0.5em;
}
/* Fix the dl styling to match the RFC 7992 attributes */
dl > dt,
dl.dlParallel > dt {
float: left;
margin-right: 1em;
}
dl.dlNewline > dt {
float: none;
}
/* Provide styling for table cell text alignment */
table td.text-left,
table th.text-left {
text-align: left;
}
table td.text-center,
table th.text-center {
text-align: center;
}
table td.text-right,
table th.text-right {
text-align: right;
}
/* Make the alternative author contact informatio look less like just another
author, and group it closer with the primary author contact information */
.alternative-contact {
margin: 0.5em 0 0.25em 0;
}
address .non-ascii {
margin: 0 0 0 2em;
}
/* With it being possible to set tables with alignment
left, center, and right, { width: 100%; } does not make sense */
table {
width: auto;
}
/* Avoid reference text that sits in a block with very wide left margin,
because of a long floating dt label.*/
.references dd {
overflow: visible;
}
/* Control caption placement */
caption {
caption-side: bottom;
}
/* Limit the width of the author address vcard, so names in right-to-left
script don't end up on the other side of the page. */
address.vcard {
max-width: 30em;
margin-right: auto;
}
/* For address alignment dependent on LTR or RTL scripts */
address div.left {
text-align: left;
}
address div.right {
text-align: right;
}
/* Provide table alignment support. We can't use the alignX classes above
since they do unwanted things with caption and other styling. */
table.right {
margin-left: auto;
margin-right: 0;
}
table.center {
margin-left: auto;
margin-right: auto;
}
table.left {
margin-left: 0;
margin-right: auto;
}
/* Give the table caption label the same styling as the figcaption */
caption a[href] {
color: #222;
}
@media print {
.toplink {
display: none;
}
/* avoid overwriting the top border line with the ToC header */
#toc {
padding-top: 1px;
}
/* Avoid page breaks inside dl and author address entries */
.vcard {
page-break-inside: avoid;
}
}
/* Tweak the bcp14 keyword presentation */
.bcp14 {
font-variant: small-caps;
font-weight: bold;
font-size: 0.9em;
}
/* Tweak the invisible space above H* in order not to overlay links in text above */
h2 {
margin-top: -18px; /* provide offset for in-page anchors */
padding-top: 31px;
}
h3 {
margin-top: -18px; /* provide offset for in-page anchors */
padding-top: 24px;
}
h4 {
margin-top: -18px; /* provide offset for in-page anchors */
padding-top: 24px;
}
/* Float artwork pilcrow to the right */
@media screen {
.artwork a.pilcrow {
display: block;
line-height: 0.7;
margin-top: 0.15em;
}
}
/* Make pilcrows on dd visible */
@media screen {
dd:hover > a.pilcrow {
visibility: visible;
}
}
/* Make the placement of figcaption match that of a table's caption
by removing the figure's added bottom margin */
.alignLeft.art-text,
.alignCenter.art-text,
.alignRight.art-text {
margin-bottom: 0;
}
.alignLeft,
.alignCenter,
.alignRight {
margin: 1em 0 0 0;
}
/* In print, the pilcrow won't show on hover, so prevent it from taking up space,
possibly even requiring a new line */
@media print {
a.pilcrow {
display: none;
}
}
/* Styling for the external metadata */
div#external-metadata {
background-color: #eee;
padding: 0.5em;
margin-bottom: 0.5em;
display: none;
}
div#internal-metadata {
padding: 0.5em; /* to match the external-metadata padding */
}
/* Styling for title RFC Number */
h1#rfcnum {
clear: both;
margin: 0 0 -1em;
padding: 1em 0 0 0;
}
/* Make .olPercent look the same as <ol><li> */
dl.olPercent > dd {
margin-bottom: 0.25em;
min-height: initial;
}
/* Give aside some styling to set it apart */
aside {
border-left: 1px solid #ddd;
margin: 1em 0 1em 2em;
padding: 0.2em 2em;
}
aside > dl,
aside > ol,
aside > ul,
aside > table,
aside > p {
margin-bottom: 0.5em;
}
/* Additional page break settings */
@media print {
figcaption, table caption {
page-break-before: avoid;
}
}
/* Font size adjustments for print */
@media print {
body { font-size: 10pt; line-height: normal; max-width: 96%; }
h1 { font-size: 1.72em; padding-top: 1.5em; } /* 1*1.2*1.2*1.2 */
h2 { font-size: 1.44em; padding-top: 1.5em; } /* 1*1.2*1.2 */
h3 { font-size: 1.2em; padding-top: 1.5em; } /* 1*1.2 */
h4 { font-size: 1em; padding-top: 1.5em; }
h5, h6 { font-size: 1em; margin: initial; padding: 0.5em 0 0.3em; }
}
/* Sourcecode margin in print, when there's no pilcrow */
@media print {
.artwork,
.sourcecode {
margin-bottom: 1em;
}
}
/* Avoid narrow tables forcing too narrow table captions, which may render badly */
table {
min-width: 20em;
}
/* ol type a */
ol.type-a { list-style-type: lower-alpha; }
ol.type-A { list-style-type: upper-alpha; }
ol.type-i { list-style-type: lower-roman; }
ol.type-I { list-style-type: lower-roman; }
/* Apply the print table and row borders in general, on request from the RPC,
and increase the contrast between border and odd row background sligthtly */
table {
border: 1px solid #ddd;
}
td {
border-top: 1px solid #ddd;
}
tr:nth-child(2n+1) > td {
background-color: #f8f8f8;
}
/* Use style rules to govern display of the TOC. */
@media screen and (max-width: 1023px) {
#toc nav { display: none; }
#toc.active nav { display: block; }
}
/* Add support for keepWithNext */
.keepWithNext {
break-after: avoid-page;
break-after: avoid-page;
}
/* Add support for keepWithPrevious */
.keepWithPrevious {
break-before: avoid-page;
}
/* Change the approach to avoiding breaks inside artwork etc. */
figure, pre, table, .artwork, .sourcecode {
break-before: avoid-page;
break-after: auto;
}
/* Avoid breaks between <dt> and <dd> */
dl {
break-before: auto;
break-inside: auto;
}
dt {
break-before: auto;
break-after: avoid-page;
}
dd {
break-before: avoid-page;
break-after: auto;
orphans: 3;
widows: 3
}
span.break, dd.break {
margin-bottom: 0;
min-height: 0;
break-before: auto;
break-inside: auto;
break-after: auto;
}
/* Undo break-before ToC */
@media print {
#toc {
break-before: auto;
}
}
/* Text in compact lists should not get extra bottim margin space,
since that would makes the list not compact */
ul.compact p, .ulCompact p,
ol.compact p, .olCompact p {
margin: 0;
}
/* But the list as a whole needs the extra space at the end */
section ul.compact,
section .ulCompact,
section ol.compact,
section .olCompact {
margin-bottom: 1em; /* same as p not within ul.compact etc. */
}
/* The tt and code background above interferes with for instance table cell
backgrounds. Changed to something a bit more selective. */
tt, code {
background-color: transparent;
}
p tt, p code, li tt, li code {
background-color: #f8f8f8;
}
/* Tweak the pre margin -- 0px doesn't come out well */
pre {
margin-top: 0.5px;
}
/* Tweak the comact list text */
ul.compact, .ulCompact,
ol.compact, .olCompact,
dl.compact, .dlCompact {
line-height: normal;
}
/* Don't add top margin for nested lists */
li > ul, li > ol, li > dl,
dd > ul, dd > ol, dd > dl,
dl > dd > dl {
margin-top: initial;
}
/* Elements that should not be rendered on the same line as a <dt> */
/* This should match the element list in writer.text.TextWriter.render_dl() */
dd > div.artwork:first-child,
dd > aside:first-child,
dd > figure:first-child,
dd > ol:first-child,
dd > div:first-child > pre.sourcecode,
dd > table:first-child,
dd > ul:first-child {
clear: left;
}
/* fix for weird browser behaviour when <dd/> is empty */
dt+dd:empty::before{
content: "\00a0";
}
/* Make paragraph spacing inside <li> smaller than in body text, to fit better within the list */
li > p {
margin-bottom: 0.5em
}
/* Don't let p margin spill out from inside list items */
li > p:last-of-type {
margin-bottom: 0;
}
</style>
<link href="rfc-local.css" rel="stylesheet" type="text/css">
<link href="https://dx.doi.org/10.17487/rfc9001" rel="alternate">
<link href="urn:issn:2070-1721" rel="alternate">
<link href="https://datatracker.ietf.org/doc/draft-ietf-quic-tls-34" rel="prev">
</head>
<body>
<script src="https://www.rfc-editor.org/js/metadata.min.js"></script>
<table class="ears">
<thead><tr>
<td class="left">RFC 9001</td>
<td class="center">Using TLS to Secure QUIC</td>
<td class="right">May 2021</td>
</tr></thead>
<tfoot><tr>
<td class="left">Thomson & Turner</td>
<td class="center">Standards Track</td>
<td class="right">[Page]</td>
</tr></tfoot>
</table>
<div id="external-metadata" class="document-information"></div>
<div id="internal-metadata" class="document-information">
<dl id="identifiers">
<dt class="label-stream">Stream:</dt>
<dd class="stream">Internet Engineering Task Force (IETF)</dd>
<dt class="label-rfc">RFC:</dt>
<dd class="rfc"><a href="https://www.rfc-editor.org/rfc/rfc9001" class="eref">9001</a></dd>
<dt class="label-category">Category:</dt>
<dd class="category">Standards Track</dd>
<dt class="label-published">Published:</dt>
<dd class="published">
<time datetime="2021-05" class="published">May 2021</time>
</dd>
<dt class="label-issn">ISSN:</dt>
<dd class="issn">2070-1721</dd>
<dt class="label-authors">Authors:</dt>
<dd class="authors">
<div class="author">
<div class="author-name">M. Thomson, <span class="editor">Ed.</span>
</div>
<div class="org">Mozilla</div>
</div>
<div class="author">
<div class="author-name">S. Turner, <span class="editor">Ed.</span>
</div>
<div class="org">sn3rd</div>
</div>
</dd>
</dl>
</div>
<h1 id="rfcnum">RFC 9001</h1>
<h1 id="title">Using TLS to Secure QUIC</h1>
<section id="section-abstract">
<h2 id="abstract"><a href="#abstract" class="selfRef">Abstract</a></h2>
<p id="section-abstract-1">This document describes how Transport Layer Security (TLS) is used to secure
QUIC.<a href="#section-abstract-1" class="pilcrow">¶</a></p>
</section>
<div id="status-of-memo">
<section id="section-boilerplate.1">
<h2 id="name-status-of-this-memo">
<a href="#name-status-of-this-memo" class="section-name selfRef">Status of This Memo</a>
</h2>
<p id="section-boilerplate.1-1">
This is an Internet Standards Track document.<a href="#section-boilerplate.1-1" class="pilcrow">¶</a></p>
<p id="section-boilerplate.1-2">
This document is a product of the Internet Engineering Task Force
(IETF). It represents the consensus of the IETF community. It has
received public review and has been approved for publication by
the Internet Engineering Steering Group (IESG). Further
information on Internet Standards is available in Section 2 of
RFC 7841.<a href="#section-boilerplate.1-2" class="pilcrow">¶</a></p>
<p id="section-boilerplate.1-3">
Information about the current status of this document, any
errata, and how to provide feedback on it may be obtained at
<span><a href="https://www.rfc-editor.org/info/rfc9001">https://www.rfc-editor.org/info/rfc9001</a></span>.<a href="#section-boilerplate.1-3" class="pilcrow">¶</a></p>
</section>
</div>
<div id="copyright">
<section id="section-boilerplate.2">
<h2 id="name-copyright-notice">
<a href="#name-copyright-notice" class="section-name selfRef">Copyright Notice</a>
</h2>
<p id="section-boilerplate.2-1">
Copyright (c) 2021 IETF Trust and the persons identified as the
document authors. All rights reserved.<a href="#section-boilerplate.2-1" class="pilcrow">¶</a></p>
<p id="section-boilerplate.2-2">
This document is subject to BCP 78 and the IETF Trust's Legal
Provisions Relating to IETF Documents
(<span><a href="https://trustee.ietf.org/license-info">https://trustee.ietf.org/license-info</a></span>) in effect on the date of
publication of this document. Please review these documents
carefully, as they describe your rights and restrictions with
respect to this document. Code Components extracted from this
document must include Simplified BSD License text as described in
Section 4.e of the Trust Legal Provisions and are provided without
warranty as described in the Simplified BSD License.<a href="#section-boilerplate.2-2" class="pilcrow">¶</a></p>
</section>
</div>
<div id="toc">
<section id="section-toc.1">
<a href="#" onclick="scroll(0,0)" class="toplink">▲</a><h2 id="name-table-of-contents">
<a href="#name-table-of-contents" class="section-name selfRef">Table of Contents</a>
</h2>
<nav class="toc"><ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.1">
<p id="section-toc.1-1.1.1" class="keepWithNext"><a href="#section-1" class="xref">1</a>. <a href="#name-introduction" class="xref">Introduction</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.2">
<p id="section-toc.1-1.2.1" class="keepWithNext"><a href="#section-2" class="xref">2</a>. <a href="#name-notational-conventions" class="xref">Notational Conventions</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.2.2.1">
<p id="section-toc.1-1.2.2.1.1" class="keepWithNext"><a href="#section-2.1" class="xref">2.1</a>. <a href="#name-tls-overview" class="xref">TLS Overview</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.3">
<p id="section-toc.1-1.3.1"><a href="#section-3" class="xref">3</a>. <a href="#name-protocol-overview" class="xref">Protocol Overview</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4">
<p id="section-toc.1-1.4.1"><a href="#section-4" class="xref">4</a>. <a href="#name-carrying-tls-messages" class="xref">Carrying TLS Messages</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.1">
<p id="section-toc.1-1.4.2.1.1"><a href="#section-4.1" class="xref">4.1</a>. <a href="#name-interface-to-tls" class="xref">Interface to TLS</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.1.2.1">
<p id="section-toc.1-1.4.2.1.2.1.1"><a href="#section-4.1.1" class="xref">4.1.1</a>. <a href="#name-handshake-complete" class="xref">Handshake Complete</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.1.2.2">
<p id="section-toc.1-1.4.2.1.2.2.1"><a href="#section-4.1.2" class="xref">4.1.2</a>. <a href="#name-handshake-confirmed" class="xref">Handshake Confirmed</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.1.2.3">
<p id="section-toc.1-1.4.2.1.2.3.1"><a href="#section-4.1.3" class="xref">4.1.3</a>. <a href="#name-sending-and-receiving-hands" class="xref">Sending and Receiving Handshake Messages</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.1.2.4">
<p id="section-toc.1-1.4.2.1.2.4.1"><a href="#section-4.1.4" class="xref">4.1.4</a>. <a href="#name-encryption-level-changes" class="xref">Encryption Level Changes</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.1.2.5">
<p id="section-toc.1-1.4.2.1.2.5.1"><a href="#section-4.1.5" class="xref">4.1.5</a>. <a href="#name-tls-interface-summary" class="xref">TLS Interface Summary</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.2">
<p id="section-toc.1-1.4.2.2.1"><a href="#section-4.2" class="xref">4.2</a>. <a href="#name-tls-version" class="xref">TLS Version</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.3">
<p id="section-toc.1-1.4.2.3.1"><a href="#section-4.3" class="xref">4.3</a>. <a href="#name-clienthello-size" class="xref">ClientHello Size</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.4">
<p id="section-toc.1-1.4.2.4.1"><a href="#section-4.4" class="xref">4.4</a>. <a href="#name-peer-authentication" class="xref">Peer Authentication</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.5">
<p id="section-toc.1-1.4.2.5.1"><a href="#section-4.5" class="xref">4.5</a>. <a href="#name-session-resumption" class="xref">Session Resumption</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.6">
<p id="section-toc.1-1.4.2.6.1"><a href="#section-4.6" class="xref">4.6</a>. <a href="#name-0-rtt" class="xref">0-RTT</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.6.2.1">
<p id="section-toc.1-1.4.2.6.2.1.1"><a href="#section-4.6.1" class="xref">4.6.1</a>. <a href="#name-enabling-0-rtt" class="xref">Enabling 0-RTT</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.6.2.2">
<p id="section-toc.1-1.4.2.6.2.2.1"><a href="#section-4.6.2" class="xref">4.6.2</a>. <a href="#name-accepting-and-rejecting-0-r" class="xref">Accepting and Rejecting 0-RTT</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.6.2.3">
<p id="section-toc.1-1.4.2.6.2.3.1"><a href="#section-4.6.3" class="xref">4.6.3</a>. <a href="#name-validating-0-rtt-configurat" class="xref">Validating 0-RTT Configuration</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.7">
<p id="section-toc.1-1.4.2.7.1"><a href="#section-4.7" class="xref">4.7</a>. <a href="#name-helloretryrequest" class="xref">HelloRetryRequest</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.8">
<p id="section-toc.1-1.4.2.8.1"><a href="#section-4.8" class="xref">4.8</a>. <a href="#name-tls-errors" class="xref">TLS Errors</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.9">
<p id="section-toc.1-1.4.2.9.1"><a href="#section-4.9" class="xref">4.9</a>. <a href="#name-discarding-unused-keys" class="xref">Discarding Unused Keys</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.9.2.1">
<p id="section-toc.1-1.4.2.9.2.1.1"><a href="#section-4.9.1" class="xref">4.9.1</a>. <a href="#name-discarding-initial-keys" class="xref">Discarding Initial Keys</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.9.2.2">
<p id="section-toc.1-1.4.2.9.2.2.1"><a href="#section-4.9.2" class="xref">4.9.2</a>. <a href="#name-discarding-handshake-keys" class="xref">Discarding Handshake Keys</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.4.2.9.2.3">
<p id="section-toc.1-1.4.2.9.2.3.1"><a href="#section-4.9.3" class="xref">4.9.3</a>. <a href="#name-discarding-0-rtt-keys" class="xref">Discarding 0-RTT Keys</a></p>
</li>
</ul>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5">
<p id="section-toc.1-1.5.1"><a href="#section-5" class="xref">5</a>. <a href="#name-packet-protection" class="xref">Packet Protection</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.1">
<p id="section-toc.1-1.5.2.1.1"><a href="#section-5.1" class="xref">5.1</a>. <a href="#name-packet-protection-keys" class="xref">Packet Protection Keys</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.2">
<p id="section-toc.1-1.5.2.2.1"><a href="#section-5.2" class="xref">5.2</a>. <a href="#name-initial-secrets" class="xref">Initial Secrets</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.3">
<p id="section-toc.1-1.5.2.3.1"><a href="#section-5.3" class="xref">5.3</a>. <a href="#name-aead-usage" class="xref">AEAD Usage</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.4">
<p id="section-toc.1-1.5.2.4.1"><a href="#section-5.4" class="xref">5.4</a>. <a href="#name-header-protection" class="xref">Header Protection</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.4.2.1">
<p id="section-toc.1-1.5.2.4.2.1.1"><a href="#section-5.4.1" class="xref">5.4.1</a>. <a href="#name-header-protection-applicati" class="xref">Header Protection Application</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.4.2.2">
<p id="section-toc.1-1.5.2.4.2.2.1"><a href="#section-5.4.2" class="xref">5.4.2</a>. <a href="#name-header-protection-sample" class="xref">Header Protection Sample</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.4.2.3">
<p id="section-toc.1-1.5.2.4.2.3.1"><a href="#section-5.4.3" class="xref">5.4.3</a>. <a href="#name-aes-based-header-protection" class="xref">AES-Based Header Protection</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.4.2.4">
<p id="section-toc.1-1.5.2.4.2.4.1"><a href="#section-5.4.4" class="xref">5.4.4</a>. <a href="#name-chacha20-based-header-prote" class="xref">ChaCha20-Based Header Protection</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.5">
<p id="section-toc.1-1.5.2.5.1"><a href="#section-5.5" class="xref">5.5</a>. <a href="#name-receiving-protected-packets" class="xref">Receiving Protected Packets</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.6">
<p id="section-toc.1-1.5.2.6.1"><a href="#section-5.6" class="xref">5.6</a>. <a href="#name-use-of-0-rtt-keys" class="xref">Use of 0-RTT Keys</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.7">
<p id="section-toc.1-1.5.2.7.1"><a href="#section-5.7" class="xref">5.7</a>. <a href="#name-receiving-out-of-order-prot" class="xref">Receiving Out-of-Order Protected Packets</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.5.2.8">
<p id="section-toc.1-1.5.2.8.1"><a href="#section-5.8" class="xref">5.8</a>. <a href="#name-retry-packet-integrity" class="xref">Retry Packet Integrity</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.6">
<p id="section-toc.1-1.6.1"><a href="#section-6" class="xref">6</a>. <a href="#name-key-update" class="xref">Key Update</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.6.2.1">
<p id="section-toc.1-1.6.2.1.1"><a href="#section-6.1" class="xref">6.1</a>. <a href="#name-initiating-a-key-update" class="xref">Initiating a Key Update</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.6.2.2">
<p id="section-toc.1-1.6.2.2.1"><a href="#section-6.2" class="xref">6.2</a>. <a href="#name-responding-to-a-key-update" class="xref">Responding to a Key Update</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.6.2.3">
<p id="section-toc.1-1.6.2.3.1"><a href="#section-6.3" class="xref">6.3</a>. <a href="#name-timing-of-receive-key-gener" class="xref">Timing of Receive Key Generation</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.6.2.4">
<p id="section-toc.1-1.6.2.4.1"><a href="#section-6.4" class="xref">6.4</a>. <a href="#name-sending-with-updated-keys" class="xref">Sending with Updated Keys</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.6.2.5">
<p id="section-toc.1-1.6.2.5.1"><a href="#section-6.5" class="xref">6.5</a>. <a href="#name-receiving-with-different-ke" class="xref">Receiving with Different Keys</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.6.2.6">
<p id="section-toc.1-1.6.2.6.1"><a href="#section-6.6" class="xref">6.6</a>. <a href="#name-limits-on-aead-usage" class="xref">Limits on AEAD Usage</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.6.2.7">
<p id="section-toc.1-1.6.2.7.1"><a href="#section-6.7" class="xref">6.7</a>. <a href="#name-key-update-error-code" class="xref">Key Update Error Code</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.7">
<p id="section-toc.1-1.7.1"><a href="#section-7" class="xref">7</a>. <a href="#name-security-of-initial-message" class="xref">Security of Initial Messages</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.8">
<p id="section-toc.1-1.8.1"><a href="#section-8" class="xref">8</a>. <a href="#name-quic-specific-adjustments-t" class="xref">QUIC-Specific Adjustments to the TLS Handshake</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.8.2.1">
<p id="section-toc.1-1.8.2.1.1"><a href="#section-8.1" class="xref">8.1</a>. <a href="#name-protocol-negotiation" class="xref">Protocol Negotiation</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.8.2.2">
<p id="section-toc.1-1.8.2.2.1"><a href="#section-8.2" class="xref">8.2</a>. <a href="#name-quic-transport-parameters-e" class="xref">QUIC Transport Parameters Extension</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.8.2.3">
<p id="section-toc.1-1.8.2.3.1"><a href="#section-8.3" class="xref">8.3</a>. <a href="#name-removing-the-endofearlydata" class="xref">Removing the EndOfEarlyData Message</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.8.2.4">
<p id="section-toc.1-1.8.2.4.1"><a href="#section-8.4" class="xref">8.4</a>. <a href="#name-prohibit-tls-middlebox-comp" class="xref">Prohibit TLS Middlebox Compatibility Mode</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.9">
<p id="section-toc.1-1.9.1"><a href="#section-9" class="xref">9</a>. <a href="#name-security-considerations" class="xref">Security Considerations</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.9.2.1">
<p id="section-toc.1-1.9.2.1.1"><a href="#section-9.1" class="xref">9.1</a>. <a href="#name-session-linkability" class="xref">Session Linkability</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.9.2.2">
<p id="section-toc.1-1.9.2.2.1"><a href="#section-9.2" class="xref">9.2</a>. <a href="#name-replay-attacks-with-0-rtt" class="xref">Replay Attacks with 0-RTT</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.9.2.3">
<p id="section-toc.1-1.9.2.3.1"><a href="#section-9.3" class="xref">9.3</a>. <a href="#name-packet-reflection-attack-mi" class="xref">Packet Reflection Attack Mitigation</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.9.2.4">
<p id="section-toc.1-1.9.2.4.1"><a href="#section-9.4" class="xref">9.4</a>. <a href="#name-header-protection-analysis" class="xref">Header Protection Analysis</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.9.2.5">
<p id="section-toc.1-1.9.2.5.1"><a href="#section-9.5" class="xref">9.5</a>. <a href="#name-header-protection-timing-si" class="xref">Header Protection Timing Side Channels</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.9.2.6">
<p id="section-toc.1-1.9.2.6.1"><a href="#section-9.6" class="xref">9.6</a>. <a href="#name-key-diversity" class="xref">Key Diversity</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.9.2.7">
<p id="section-toc.1-1.9.2.7.1"><a href="#section-9.7" class="xref">9.7</a>. <a href="#name-randomness" class="xref">Randomness</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.10">
<p id="section-toc.1-1.10.1"><a href="#section-10" class="xref">10</a>. <a href="#name-iana-considerations" class="xref">IANA Considerations</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.11">
<p id="section-toc.1-1.11.1"><a href="#section-11" class="xref">11</a>. <a href="#name-references" class="xref">References</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.11.2.1">
<p id="section-toc.1-1.11.2.1.1"><a href="#section-11.1" class="xref">11.1</a>. <a href="#name-normative-references" class="xref">Normative References</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.11.2.2">
<p id="section-toc.1-1.11.2.2.1"><a href="#section-11.2" class="xref">11.2</a>. <a href="#name-informative-references" class="xref">Informative References</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.12">
<p id="section-toc.1-1.12.1"><a href="#section-appendix.a" class="xref">Appendix A</a>. <a href="#name-sample-packet-protection" class="xref">Sample Packet Protection</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.12.2.1">
<p id="section-toc.1-1.12.2.1.1"><a href="#section-a.1" class="xref">A.1</a>. <a href="#name-keys" class="xref">Keys</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.12.2.2">
<p id="section-toc.1-1.12.2.2.1"><a href="#section-a.2" class="xref">A.2</a>. <a href="#name-client-initial" class="xref">Client Initial</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.12.2.3">
<p id="section-toc.1-1.12.2.3.1"><a href="#section-a.3" class="xref">A.3</a>. <a href="#name-server-initial" class="xref">Server Initial</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.12.2.4">
<p id="section-toc.1-1.12.2.4.1"><a href="#section-a.4" class="xref">A.4</a>. <a href="#name-retry" class="xref">Retry</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.12.2.5">
<p id="section-toc.1-1.12.2.5.1"><a href="#section-a.5" class="xref">A.5</a>. <a href="#name-chacha20-poly1305-short-hea" class="xref">ChaCha20-Poly1305 Short Header Packet</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.13">
<p id="section-toc.1-1.13.1"><a href="#section-appendix.b" class="xref">Appendix B</a>. <a href="#name-aead-algorithm-analysis" class="xref">AEAD Algorithm Analysis</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.13.2.1">
<p id="section-toc.1-1.13.2.1.1"><a href="#section-b.1" class="xref">B.1</a>. <a href="#name-analysis-of-aead_aes_128_gc" class="xref">Analysis of AEAD_AES_128_GCM and AEAD_AES_256_GCM Usage Limits</a></p>
<ul class="ulEmpty compact toc">
<li class="ulEmpty compact toc" id="section-toc.1-1.13.2.1.2.1">
<p id="section-toc.1-1.13.2.1.2.1.1"><a href="#section-b.1.1" class="xref">B.1.1</a>. <a href="#name-confidentiality-limit" class="xref">Confidentiality Limit</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.13.2.1.2.2">
<p id="section-toc.1-1.13.2.1.2.2.1"><a href="#section-b.1.2" class="xref">B.1.2</a>. <a href="#name-integrity-limit" class="xref">Integrity Limit</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.13.2.2">
<p id="section-toc.1-1.13.2.2.1"><a href="#section-b.2" class="xref">B.2</a>. <a href="#name-analysis-of-aead_aes_128_cc" class="xref">Analysis of AEAD_AES_128_CCM Usage Limits</a></p>
</li>
</ul>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.14">
<p id="section-toc.1-1.14.1"><a href="#section-appendix.c" class="xref"></a><a href="#name-contributors" class="xref">Contributors</a></p>
</li>
<li class="ulEmpty compact toc" id="section-toc.1-1.15">
<p id="section-toc.1-1.15.1"><a href="#section-appendix.d" class="xref"></a><a href="#name-authors-addresses" class="xref">Authors' Addresses</a></p>
</li>
</ul>
</nav>
</section>
</div>
<div id="introduction">
<section id="section-1">
<h2 id="name-introduction">
<a href="#section-1" class="section-number selfRef">1. </a><a href="#name-introduction" class="section-name selfRef">Introduction</a>
</h2>
<p id="section-1-1">This document describes how QUIC <span>[<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span> is secured using TLS
<span>[<a href="#TLS13" class="xref">TLS13</a>]</span>.<a href="#section-1-1" class="pilcrow">¶</a></p>
<p id="section-1-2">TLS 1.3 provides critical latency improvements for connection establishment over
previous versions. Absent packet loss, most new connections can be established
and secured within a single round trip; on subsequent connections between the
same client and server, the client can often send application data immediately,
that is, using a zero round-trip setup.<a href="#section-1-2" class="pilcrow">¶</a></p>
<p id="section-1-3">This document describes how TLS acts as a security component of QUIC.<a href="#section-1-3" class="pilcrow">¶</a></p>
</section>
</div>
<div id="notational-conventions">
<section id="section-2">
<h2 id="name-notational-conventions">
<a href="#section-2" class="section-number selfRef">2. </a><a href="#name-notational-conventions" class="section-name selfRef">Notational Conventions</a>
</h2>
<p id="section-2-1">The key words "<span class="bcp14">MUST</span>", "<span class="bcp14">MUST NOT</span>", "<span class="bcp14">REQUIRED</span>", "<span class="bcp14">SHALL</span>", "<span class="bcp14">SHALL NOT</span>", "<span class="bcp14">SHOULD</span>",
"<span class="bcp14">SHOULD NOT</span>", "<span class="bcp14">RECOMMENDED</span>", "<span class="bcp14">NOT RECOMMENDED</span>", "<span class="bcp14">MAY</span>", and "<span class="bcp14">OPTIONAL</span>" in this
document are to be interpreted as described in BCP 14 <span>[<a href="#RFC2119" class="xref">RFC2119</a>]</span> <span>[<a href="#RFC8174" class="xref">RFC8174</a>]</span>
when, and only when, they appear in all capitals, as shown here.<a href="#section-2-1" class="pilcrow">¶</a></p>
<p id="section-2-2">This document uses the terminology established in <span>[<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-2-2" class="pilcrow">¶</a></p>
<p id="section-2-3">For brevity, the acronym TLS is used to refer to TLS 1.3, though a newer version
could be used; see <a href="#tls-version" class="xref">Section 4.2</a>.<a href="#section-2-3" class="pilcrow">¶</a></p>
<div id="tls-overview">
<section id="section-2.1">
<h3 id="name-tls-overview">
<a href="#section-2.1" class="section-number selfRef">2.1. </a><a href="#name-tls-overview" class="section-name selfRef">TLS Overview</a>
</h3>
<p id="section-2.1-1">TLS provides two endpoints with a way to establish a means of communication over
an untrusted medium (for example, the Internet). TLS enables authentication of
peers and provides confidentiality and integrity protection for messages that
endpoints exchange.<a href="#section-2.1-1" class="pilcrow">¶</a></p>
<p id="section-2.1-2">Internally, TLS is a layered protocol, with the structure shown in
<a href="#tls-layers" class="xref">Figure 1</a>.<a href="#section-2.1-2" class="pilcrow">¶</a></p>
<span id="name-tls-layers"></span><div id="tls-layers">
<figure id="figure-1">
<div class="artwork art-text alignLeft" id="section-2.1-3.1">
<pre>
+-------------+------------+--------------+---------+
Content | | | Application | |
Layer | Handshake | Alerts | Data | ... |
| | | | |
+-------------+------------+--------------+---------+
Record | |
Layer | Records |
| |
+---------------------------------------------------+
</pre>
</div>
<figcaption><a href="#figure-1" class="selfRef">Figure 1</a>:
<a href="#name-tls-layers" class="selfRef">TLS Layers</a>
</figcaption></figure>
</div>
<p id="section-2.1-4">Each content-layer message (e.g., handshake, alerts, and application data) is
carried as a series of typed TLS records by the record layer. Records are
individually cryptographically protected and then transmitted over a reliable
transport (typically TCP), which provides sequencing and guaranteed delivery.<a href="#section-2.1-4" class="pilcrow">¶</a></p>
<p id="section-2.1-5">The TLS authenticated key exchange occurs between two endpoints: client and
server. The client initiates the exchange and the server responds. If the key
exchange completes successfully, both client and server will agree on a secret.
TLS supports both pre-shared key (PSK) and Diffie-Hellman over either finite
fields or elliptic curves ((EC)DHE) key exchanges. PSK is the basis for Early
Data (0-RTT); the latter provides forward secrecy (FS) when the (EC)DHE
keys are destroyed. The two modes can also be combined to provide forward
secrecy while using the PSK for authentication.<a href="#section-2.1-5" class="pilcrow">¶</a></p>
<p id="section-2.1-6">After completing the TLS handshake, the client will have learned and
authenticated an identity for the server, and the server is optionally able to
learn and authenticate an identity for the client. TLS supports X.509
<span>[<a href="#RFC5280" class="xref">RFC5280</a>]</span> certificate-based authentication for both server and client.
When PSK key exchange is used (as in resumption), knowledge of the PSK
serves to authenticate the peer.<a href="#section-2.1-6" class="pilcrow">¶</a></p>
<p id="section-2.1-7">The TLS key exchange is resistant to tampering by attackers, and it produces
shared secrets that cannot be controlled by either participating peer.<a href="#section-2.1-7" class="pilcrow">¶</a></p>
<p id="section-2.1-8">TLS provides two basic handshake modes of interest to QUIC:<a href="#section-2.1-8" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-2.1-9.1">A full 1-RTT handshake, in which the client is able to send application data
after one round trip and the server immediately responds after receiving the
first handshake message from the client.<a href="#section-2.1-9.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-2.1-9.2">A 0-RTT handshake, in which the client uses information it has previously
learned about the server to send application data immediately. This
application data can be replayed by an attacker, so 0-RTT is not suitable for
carrying instructions that might initiate any action that could cause
unwanted effects if replayed.<a href="#section-2.1-9.2" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-2.1-10">A simplified TLS handshake with 0-RTT application data is shown in <a href="#tls-full" class="xref">Figure 2</a>.<a href="#section-2.1-10" class="pilcrow">¶</a></p>
<span id="name-tls-handshake-with-0-rtt"></span><div id="tls-full">
<figure id="figure-2">
<div class="artwork art-text alignLeft" id="section-2.1-11.1">
<pre>
Client Server
ClientHello
(0-RTT Application Data) -------->
ServerHello
{EncryptedExtensions}
{Finished}
<-------- [Application Data]
{Finished} -------->
[Application Data] <-------> [Application Data]
() Indicates messages protected by Early Data (0-RTT) Keys
{} Indicates messages protected using Handshake Keys
[] Indicates messages protected using Application Data
(1-RTT) Keys
</pre>
</div>
<figcaption><a href="#figure-2" class="selfRef">Figure 2</a>:
<a href="#name-tls-handshake-with-0-rtt" class="selfRef">TLS Handshake with 0-RTT</a>
</figcaption></figure>
</div>
<p id="section-2.1-12"><a href="#tls-full" class="xref">Figure 2</a> omits the EndOfEarlyData message, which is not used in QUIC; see
<a href="#remove-eoed" class="xref">Section 8.3</a>. Likewise, neither ChangeCipherSpec nor KeyUpdate messages are
used by QUIC. ChangeCipherSpec is redundant in TLS 1.3; see <a href="#compat-mode" class="xref">Section 8.4</a>.
QUIC has its own key update mechanism; see <a href="#key-update" class="xref">Section 6</a>.<a href="#section-2.1-12" class="pilcrow">¶</a></p>
<p id="section-2.1-13">Data is protected using a number of encryption levels:<a href="#section-2.1-13" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-2.1-14.1">Initial keys<a href="#section-2.1-14.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-2.1-14.2">Early data (0-RTT) keys<a href="#section-2.1-14.2" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-2.1-14.3">Handshake keys<a href="#section-2.1-14.3" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-2.1-14.4">Application data (1-RTT) keys<a href="#section-2.1-14.4" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-2.1-15">Application data can only appear in the early data and application data
levels. Handshake and alert messages may appear in any level.<a href="#section-2.1-15" class="pilcrow">¶</a></p>
<p id="section-2.1-16">The 0-RTT handshake can be used if the client and server have previously
communicated. In the 1-RTT handshake, the client is unable to send protected
application data until it has received all of the handshake messages sent by the
server.<a href="#section-2.1-16" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
<div id="protocol-overview">
<section id="section-3">
<h2 id="name-protocol-overview">
<a href="#section-3" class="section-number selfRef">3. </a><a href="#name-protocol-overview" class="section-name selfRef">Protocol Overview</a>
</h2>
<p id="section-3-1">QUIC <span>[<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span> assumes responsibility for the confidentiality and
integrity protection of packets. For this it uses keys derived from a TLS
handshake <span>[<a href="#TLS13" class="xref">TLS13</a>]</span>, but instead of carrying TLS records over QUIC (as with
TCP), TLS handshake and alert messages are carried directly over the QUIC
transport, which takes over the responsibilities of the TLS record layer, as
shown in <a href="#quic-layers" class="xref">Figure 3</a>.<a href="#section-3-1" class="pilcrow">¶</a></p>
<span id="name-quic-layers"></span><div id="quic-layers">
<figure id="figure-3">
<div class="artwork art-text alignLeft" id="section-3-2.1">
<pre>
+--------------+--------------+ +-------------+
| TLS | TLS | | QUIC |
| Handshake | Alerts | | Applications|
| | | | (h3, etc.) |
+--------------+--------------+-+-------------+
| |
| QUIC Transport |
| (streams, reliability, congestion, etc.) |
| |
+---------------------------------------------+
| |
| QUIC Packet Protection |
| |
+---------------------------------------------+
</pre>
</div>
<figcaption><a href="#figure-3" class="selfRef">Figure 3</a>:
<a href="#name-quic-layers" class="selfRef">QUIC Layers</a>
</figcaption></figure>
</div>
<p id="section-3-3">QUIC also relies on TLS for authentication and negotiation of parameters that
are critical to security and performance.<a href="#section-3-3" class="pilcrow">¶</a></p>
<p id="section-3-4">Rather than a strict layering, these two protocols cooperate: QUIC uses the TLS
handshake; TLS uses the reliability, ordered delivery, and record layer provided
by QUIC.<a href="#section-3-4" class="pilcrow">¶</a></p>
<p id="section-3-5">At a high level, there are two main interactions between the TLS and QUIC
components:<a href="#section-3-5" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-3-6.1">The TLS component sends and receives messages via the QUIC component, with
QUIC providing a reliable stream abstraction to TLS.<a href="#section-3-6.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-3-6.2">The TLS component provides a series of updates to the QUIC component,
including (a) new packet protection keys to install and (b) state changes such
as handshake completion, the server certificate, etc.<a href="#section-3-6.2" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-3-7"><a href="#schematic" class="xref">Figure 4</a> shows these interactions in more detail, with the QUIC packet
protection being called out specially.<a href="#section-3-7" class="pilcrow">¶</a></p>
<span id="name-quic-and-tls-interactions"></span><div id="schematic">
<figure id="figure-4">
<div class="artwork art-text alignLeft" id="section-3-8.1">
<pre>
+------------+ +------------+
| |<---- Handshake Messages ----->| |
| |<- Validate 0-RTT Parameters ->| |
| |<--------- 0-RTT Keys ---------| |
| QUIC |<------- Handshake Keys -------| TLS |
| |<--------- 1-RTT Keys ---------| |
| |<------- Handshake Done -------| |
+------------+ +------------+
| ^
| Protect | Protected
v | Packet
+------------+
| QUIC |
| Packet |
| Protection |
+------------+
</pre>
</div>
<figcaption><a href="#figure-4" class="selfRef">Figure 4</a>:
<a href="#name-quic-and-tls-interactions" class="selfRef">QUIC and TLS Interactions</a>
</figcaption></figure>
</div>
<p id="section-3-9">Unlike TLS over TCP, QUIC applications that want to send data do not send it
using TLS Application Data records. Rather, they send it as QUIC STREAM
frames or other frame types, which are then carried in QUIC packets.<a href="#section-3-9" class="pilcrow">¶</a></p>
</section>
</div>
<div id="carrying-tls">
<section id="section-4">
<h2 id="name-carrying-tls-messages">
<a href="#section-4" class="section-number selfRef">4. </a><a href="#name-carrying-tls-messages" class="section-name selfRef">Carrying TLS Messages</a>
</h2>
<p id="section-4-1">QUIC carries TLS handshake data in CRYPTO frames, each of which consists of a
contiguous block of handshake data identified by an offset and length. Those
frames are packaged into QUIC packets and encrypted under the current
encryption level. As with TLS over TCP, once TLS handshake data has been
delivered to QUIC, it is QUIC's responsibility to deliver it reliably. Each
chunk of data that is produced by TLS is associated with the set of keys that
TLS is currently using. If QUIC needs to retransmit that data, it <span class="bcp14">MUST</span> use the
same keys even if TLS has already updated to newer keys.<a href="#section-4-1" class="pilcrow">¶</a></p>
<p id="section-4-2">Each encryption level corresponds to a packet number space. The packet number
space that is used determines the semantics of frames. Some frames are
prohibited in different packet number spaces; see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-12.5" class="relref">Section 12.5</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-4-2" class="pilcrow">¶</a></p>
<p id="section-4-3">Because packets could be reordered on the wire, QUIC uses the packet type to
indicate which keys were used to protect a given packet, as shown in
<a href="#packet-types-keys" class="xref">Table 1</a>. When packets of different types need to be sent,
endpoints <span class="bcp14">SHOULD</span> use coalesced packets to send them in the same UDP datagram.<a href="#section-4-3" class="pilcrow">¶</a></p>
<span id="name-encryption-keys-by-packet-t"></span><div id="packet-types-keys">
<table class="center" id="table-1">
<caption>
<a href="#table-1" class="selfRef">Table 1</a>:
<a href="#name-encryption-keys-by-packet-t" class="selfRef">Encryption Keys by Packet Type</a>
</caption>
<thead>
<tr>
<th class="text-left" rowspan="1" colspan="1">Packet Type</th>
<th class="text-left" rowspan="1" colspan="1">Encryption Keys</th>
<th class="text-left" rowspan="1" colspan="1">PN Space</th>
</tr>
</thead>
<tbody>
<tr>
<th class="text-left" rowspan="1" colspan="1">Initial</th>
<td class="text-left" rowspan="1" colspan="1">Initial secrets</td>
<td class="text-left" rowspan="1" colspan="1">Initial</td>
</tr>
<tr>
<th class="text-left" rowspan="1" colspan="1">0-RTT Protected</th>
<td class="text-left" rowspan="1" colspan="1">0-RTT</td>
<td class="text-left" rowspan="1" colspan="1">Application data</td>
</tr>
<tr>
<th class="text-left" rowspan="1" colspan="1">Handshake</th>
<td class="text-left" rowspan="1" colspan="1">Handshake</td>
<td class="text-left" rowspan="1" colspan="1">Handshake</td>
</tr>
<tr>
<th class="text-left" rowspan="1" colspan="1">Retry</th>
<td class="text-left" rowspan="1" colspan="1">Retry</td>
<td class="text-left" rowspan="1" colspan="1">N/A</td>
</tr>
<tr>
<th class="text-left" rowspan="1" colspan="1">Version Negotiation</th>
<td class="text-left" rowspan="1" colspan="1">N/A</td>
<td class="text-left" rowspan="1" colspan="1">N/A</td>
</tr>
<tr>
<th class="text-left" rowspan="1" colspan="1">Short Header</th>
<td class="text-left" rowspan="1" colspan="1">1-RTT</td>
<td class="text-left" rowspan="1" colspan="1">Application data</td>
</tr>
</tbody>
</table>
</div>
<p id="section-4-5"><span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-17" class="relref">Section 17</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span> shows how packets at the various encryption
levels fit into the handshake process.<a href="#section-4-5" class="pilcrow">¶</a></p>
<div id="interface-to-tls">
<section id="section-4.1">
<h3 id="name-interface-to-tls">
<a href="#section-4.1" class="section-number selfRef">4.1. </a><a href="#name-interface-to-tls" class="section-name selfRef">Interface to TLS</a>
</h3>
<p id="section-4.1-1">As shown in <a href="#schematic" class="xref">Figure 4</a>, the interface from QUIC to TLS consists of four
primary functions:<a href="#section-4.1-1" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-4.1-2.1">Sending and receiving handshake messages<a href="#section-4.1-2.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-4.1-2.2">Processing stored transport and application state from a resumed session
and determining if it is valid to generate or accept 0-RTT data<a href="#section-4.1-2.2" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-4.1-2.3">Rekeying (both transmit and receive)<a href="#section-4.1-2.3" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-4.1-2.4">Updating handshake state<a href="#section-4.1-2.4" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-4.1-3">Additional functions might be needed to configure TLS. In particular, QUIC and
TLS need to agree on which is responsible for validation of peer credentials,
such as certificate validation <span>[<a href="#RFC5280" class="xref">RFC5280</a>]</span>.<a href="#section-4.1-3" class="pilcrow">¶</a></p>
<div id="handshake-complete">
<section id="section-4.1.1">
<h4 id="name-handshake-complete">
<a href="#section-4.1.1" class="section-number selfRef">4.1.1. </a><a href="#name-handshake-complete" class="section-name selfRef">Handshake Complete</a>
</h4>
<p id="section-4.1.1-1">In this document, the TLS handshake is considered complete when the TLS stack
has reported that the handshake is complete. This happens when the TLS stack
has both sent a Finished message and verified the peer's Finished message.
Verifying the peer's Finished message provides the endpoints with an assurance
that previous handshake messages have not been modified. Note that the
handshake does not complete at both endpoints simultaneously. Consequently, any
requirement that is based on the completion of the handshake depends on the
perspective of the endpoint in question.<a href="#section-4.1.1-1" class="pilcrow">¶</a></p>
</section>
</div>
<div id="handshake-confirmed">
<section id="section-4.1.2">
<h4 id="name-handshake-confirmed">
<a href="#section-4.1.2" class="section-number selfRef">4.1.2. </a><a href="#name-handshake-confirmed" class="section-name selfRef">Handshake Confirmed</a>
</h4>
<p id="section-4.1.2-1">In this document, the TLS handshake is considered confirmed at the server when
the handshake completes. The server <span class="bcp14">MUST</span> send a HANDSHAKE_DONE frame as soon as
the handshake is complete. At the client, the handshake is considered confirmed
when a HANDSHAKE_DONE frame is received.<a href="#section-4.1.2-1" class="pilcrow">¶</a></p>
<p id="section-4.1.2-2">Additionally, a client <span class="bcp14">MAY</span> consider the handshake to be confirmed when it
receives an acknowledgment for a 1-RTT packet. This can be implemented by
recording the lowest packet number sent with 1-RTT keys and comparing it to the
Largest Acknowledged field in any received 1-RTT ACK frame: once the latter is
greater than or equal to the former, the handshake is confirmed.<a href="#section-4.1.2-2" class="pilcrow">¶</a></p>
</section>
</div>
<div id="sending-and-receiving-handshake-messages">
<section id="section-4.1.3">
<h4 id="name-sending-and-receiving-hands">
<a href="#section-4.1.3" class="section-number selfRef">4.1.3. </a><a href="#name-sending-and-receiving-hands" class="section-name selfRef">Sending and Receiving Handshake Messages</a>
</h4>
<p id="section-4.1.3-1">In order to drive the handshake, TLS depends on being able to send and receive
handshake messages. There are two basic functions on this interface: one where
QUIC requests handshake messages and one where QUIC provides bytes that comprise
handshake messages.<a href="#section-4.1.3-1" class="pilcrow">¶</a></p>
<p id="section-4.1.3-2">Before starting the handshake, QUIC provides TLS with the transport parameters
(see <a href="#quic_parameters" class="xref">Section 8.2</a>) that it wishes to carry.<a href="#section-4.1.3-2" class="pilcrow">¶</a></p>
<p id="section-4.1.3-3">A QUIC client starts TLS by requesting TLS handshake bytes from TLS. The client
acquires handshake bytes before sending its first packet. A QUIC server starts
the process by providing TLS with the client's handshake bytes.<a href="#section-4.1.3-3" class="pilcrow">¶</a></p>
<p id="section-4.1.3-4">At any time, the TLS stack at an endpoint will have a current sending encryption
level and a receiving encryption level. TLS encryption levels determine the QUIC
packet type and keys that are used for protecting data.<a href="#section-4.1.3-4" class="pilcrow">¶</a></p>
<p id="section-4.1.3-5">Each encryption level is associated with a different sequence of bytes, which is
reliably transmitted to the peer in CRYPTO frames. When TLS provides handshake
bytes to be sent, they are appended to the handshake bytes for the current
encryption level. The encryption level then determines the type of packet that
the resulting CRYPTO frame is carried in; see <a href="#packet-types-keys" class="xref">Table 1</a>.<a href="#section-4.1.3-5" class="pilcrow">¶</a></p>
<p id="section-4.1.3-6">Four encryption levels are used, producing keys for Initial, 0-RTT, Handshake,
and 1-RTT packets. CRYPTO frames are carried in just three of these levels,
omitting the 0-RTT level. These four levels correspond to three packet number
spaces: Initial and Handshake encrypted packets use their own separate spaces;
0-RTT and 1-RTT packets use the application data packet number space.<a href="#section-4.1.3-6" class="pilcrow">¶</a></p>
<p id="section-4.1.3-7">QUIC takes the unprotected content of TLS handshake records as the content of
CRYPTO frames. TLS record protection is not used by QUIC. QUIC assembles
CRYPTO frames into QUIC packets, which are protected using QUIC packet
protection.<a href="#section-4.1.3-7" class="pilcrow">¶</a></p>
<p id="section-4.1.3-8">QUIC CRYPTO frames only carry TLS handshake messages. TLS
alerts are turned into QUIC CONNECTION_CLOSE error codes; see <a href="#tls-errors" class="xref">Section 4.8</a>.
TLS application data and other content types cannot be carried by QUIC at any
encryption level; it is an error if they are received from the TLS stack.<a href="#section-4.1.3-8" class="pilcrow">¶</a></p>
<p id="section-4.1.3-9">When an endpoint receives a QUIC packet containing a CRYPTO frame from the
network, it proceeds as follows:<a href="#section-4.1.3-9" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-4.1.3-10.1">If the packet uses the current TLS receiving encryption level, sequence the
data into the input flow as usual. As with STREAM frames, the offset is used
to find the proper location in the data sequence. If the result of this
process is that new data is available, then it is delivered to TLS in order.<a href="#section-4.1.3-10.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-4.1.3-10.2">If the packet is from a previously installed encryption level, it <span class="bcp14">MUST NOT</span>
contain data that extends past the end of previously received data in that
flow. Implementations <span class="bcp14">MUST</span> treat any violations of this requirement as a
connection error of type PROTOCOL_VIOLATION.<a href="#section-4.1.3-10.2" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-4.1.3-10.3">If the packet is from a new encryption level, it is saved for later processing
by TLS. Once TLS moves to receiving from this encryption level, saved data
can be provided to TLS. When TLS provides keys for a higher encryption level,
if there is data from a previous encryption level that TLS has not consumed,
this <span class="bcp14">MUST</span> be treated as a connection error of type PROTOCOL_VIOLATION.<a href="#section-4.1.3-10.3" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-4.1.3-11">Each time that TLS is provided with new data, new handshake bytes are requested
from TLS. TLS might not provide any bytes if the handshake messages it has
received are incomplete or it has no data to send.<a href="#section-4.1.3-11" class="pilcrow">¶</a></p>
<p id="section-4.1.3-12">The content of CRYPTO frames might either be processed incrementally by TLS or
buffered until complete messages or flights are available. TLS is responsible
for buffering handshake bytes that have arrived in order. QUIC is responsible
for buffering handshake bytes that arrive out of order or for encryption levels
that are not yet ready. QUIC does not provide any means of flow control for
CRYPTO frames; see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-7.5" class="relref">Section 7.5</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-4.1.3-12" class="pilcrow">¶</a></p>
<p id="section-4.1.3-13">Once the TLS handshake is complete, this is indicated to QUIC along with any
final handshake bytes that TLS needs to send. At this stage, the transport
parameters that the peer advertised during the handshake are authenticated;
see <a href="#quic_parameters" class="xref">Section 8.2</a>.<a href="#section-4.1.3-13" class="pilcrow">¶</a></p>
<p id="section-4.1.3-14">Once the handshake is complete, TLS becomes passive. TLS can still receive data
from its peer and respond in kind, but it will not need to send more data unless
specifically requested -- either by an application or QUIC. One reason to send
data is that the server might wish to provide additional or updated session
tickets to a client.<a href="#section-4.1.3-14" class="pilcrow">¶</a></p>
<p id="section-4.1.3-15">When the handshake is complete, QUIC only needs to provide TLS with any data
that arrives in CRYPTO streams. In the same manner that is used during the
handshake, new data is requested from TLS after providing received data.<a href="#section-4.1.3-15" class="pilcrow">¶</a></p>
</section>
</div>
<div id="encryption-level-changes">
<section id="section-4.1.4">
<h4 id="name-encryption-level-changes">
<a href="#section-4.1.4" class="section-number selfRef">4.1.4. </a><a href="#name-encryption-level-changes" class="section-name selfRef">Encryption Level Changes</a>
</h4>
<p id="section-4.1.4-1">As keys at a given encryption level become available to TLS, TLS indicates to
QUIC that reading or writing keys at that encryption level are available.<a href="#section-4.1.4-1" class="pilcrow">¶</a></p>
<p id="section-4.1.4-2">The availability of new keys is always a result of providing inputs to TLS. TLS
only provides new keys after being initialized (by a client) or when provided
with new handshake data.<a href="#section-4.1.4-2" class="pilcrow">¶</a></p>
<p id="section-4.1.4-3">However, a TLS implementation could perform some of its processing
asynchronously. In particular, the process of validating a certificate can take
some time. While waiting for TLS processing to complete, an endpoint <span class="bcp14">SHOULD</span>
buffer received packets if they might be processed using keys that are not yet
available. These packets can be processed once keys are provided by TLS. An
endpoint <span class="bcp14">SHOULD</span> continue to respond to packets that can be processed during this
time.<a href="#section-4.1.4-3" class="pilcrow">¶</a></p>
<p id="section-4.1.4-4">After processing inputs, TLS might produce handshake bytes, keys for new
encryption levels, or both.<a href="#section-4.1.4-4" class="pilcrow">¶</a></p>
<p id="section-4.1.4-5">TLS provides QUIC with three items as a new encryption level becomes available:<a href="#section-4.1.4-5" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-4.1.4-6.1">A secret<a href="#section-4.1.4-6.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-4.1.4-6.2">An Authenticated Encryption with Associated Data (AEAD) function<a href="#section-4.1.4-6.2" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-4.1.4-6.3">A Key Derivation Function (KDF)<a href="#section-4.1.4-6.3" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-4.1.4-7">These values are based on the values that TLS negotiates and are used by QUIC to
generate packet and header protection keys; see <a href="#packet-protection" class="xref">Section 5</a> and
<a href="#header-protect" class="xref">Section 5.4</a>.<a href="#section-4.1.4-7" class="pilcrow">¶</a></p>
<p id="section-4.1.4-8">If 0-RTT is possible, it is ready after the client sends a TLS ClientHello
message or the server receives that message. After providing a QUIC client with
the first handshake bytes, the TLS stack might signal the change to 0-RTT
keys. On the server, after receiving handshake bytes that contain a ClientHello
message, a TLS server might signal that 0-RTT keys are available.<a href="#section-4.1.4-8" class="pilcrow">¶</a></p>
<p id="section-4.1.4-9">Although TLS only uses one encryption level at a time, QUIC may use more than
one level. For instance, after sending its Finished message (using a CRYPTO
frame at the Handshake encryption level) an endpoint can send STREAM data (in
1-RTT encryption). If the Finished message is lost, the endpoint uses the
Handshake encryption level to retransmit the lost message. Reordering or loss
of packets can mean that QUIC will need to handle packets at multiple encryption
levels. During the handshake, this means potentially handling packets at higher
and lower encryption levels than the current encryption level used by TLS.<a href="#section-4.1.4-9" class="pilcrow">¶</a></p>
<p id="section-4.1.4-10">In particular, server implementations need to be able to read packets at the
Handshake encryption level at the same time as the 0-RTT encryption level. A
client could interleave ACK frames that are protected with Handshake keys with
0-RTT data, and the server needs to process those acknowledgments in order to
detect lost Handshake packets.<a href="#section-4.1.4-10" class="pilcrow">¶</a></p>
<p id="section-4.1.4-11">QUIC also needs access to keys that might not ordinarily be available to a TLS
implementation. For instance, a client might need to acknowledge Handshake
packets before it is ready to send CRYPTO frames at that encryption level. TLS
therefore needs to provide keys to QUIC before it might produce them for its own
use.<a href="#section-4.1.4-11" class="pilcrow">¶</a></p>
</section>
</div>
<div id="tls-interface-summary">
<section id="section-4.1.5">
<h4 id="name-tls-interface-summary">
<a href="#section-4.1.5" class="section-number selfRef">4.1.5. </a><a href="#name-tls-interface-summary" class="section-name selfRef">TLS Interface Summary</a>
</h4>
<p id="section-4.1.5-1"><a href="#exchange-summary" class="xref">Figure 5</a> summarizes the exchange between QUIC and TLS for both
client and server. Solid arrows indicate packets that carry handshake data;
dashed arrows show where application data can be sent. Each arrow is tagged
with the encryption level used for that transmission.<a href="#section-4.1.5-1" class="pilcrow">¶</a></p>
<span id="name-interaction-summary-between"></span><div id="exchange-summary">
<figure id="figure-5">
<div class="artwork art-text alignLeft" id="section-4.1.5-2.1">
<pre>
Client Server
====== ======
Get Handshake
Initial ------------->
Install tx 0-RTT keys
0-RTT - - - - - - - ->
Handshake Received
Get Handshake
<------------- Initial
Install rx 0-RTT keys
Install Handshake keys
Get Handshake
<----------- Handshake
Install tx 1-RTT keys
<- - - - - - - - 1-RTT
Handshake Received (Initial)
Install Handshake keys
Handshake Received (Handshake)
Get Handshake
Handshake ----------->
Handshake Complete
Install 1-RTT keys
1-RTT - - - - - - - ->
Handshake Received
Handshake Complete
Handshake Confirmed
Install rx 1-RTT keys
<--------------- 1-RTT
(HANDSHAKE_DONE)
Handshake Confirmed
</pre>
</div>
<figcaption><a href="#figure-5" class="selfRef">Figure 5</a>:
<a href="#name-interaction-summary-between" class="selfRef">Interaction Summary between QUIC and TLS</a>
</figcaption></figure>
</div>
<p id="section-4.1.5-3"><a href="#exchange-summary" class="xref">Figure 5</a> shows the multiple packets that form a single "flight" of
messages being processed individually, to show what incoming messages trigger
different actions. This shows multiple "Get Handshake" invocations to retrieve
handshake messages at different encryption levels. New handshake messages are
requested after incoming packets have been processed.<a href="#section-4.1.5-3" class="pilcrow">¶</a></p>
<p id="section-4.1.5-4"><a href="#exchange-summary" class="xref">Figure 5</a> shows one possible structure for a simple handshake
exchange. The exact process varies based on the structure of endpoint
implementations and the order in which packets arrive. Implementations could
use a different number of operations or execute them in other orders.<a href="#section-4.1.5-4" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
<div id="tls-version">
<section id="section-4.2">
<h3 id="name-tls-version">
<a href="#section-4.2" class="section-number selfRef">4.2. </a><a href="#name-tls-version" class="section-name selfRef">TLS Version</a>
</h3>
<p id="section-4.2-1">This document describes how TLS 1.3 <span>[<a href="#TLS13" class="xref">TLS13</a>]</span> is used with QUIC.<a href="#section-4.2-1" class="pilcrow">¶</a></p>
<p id="section-4.2-2">In practice, the TLS handshake will negotiate a version of TLS to use. This
could result in a version of TLS newer than 1.3 being negotiated if both
endpoints support that version. This is acceptable provided that the features
of TLS 1.3 that are used by QUIC are supported by the newer version.<a href="#section-4.2-2" class="pilcrow">¶</a></p>
<p id="section-4.2-3">Clients <span class="bcp14">MUST NOT</span> offer TLS versions older than 1.3. A badly configured TLS
implementation could negotiate TLS 1.2 or another older version of TLS. An
endpoint <span class="bcp14">MUST</span> terminate the connection if a version of TLS older than 1.3 is
negotiated.<a href="#section-4.2-3" class="pilcrow">¶</a></p>
</section>
</div>
<div id="clienthello-size">
<section id="section-4.3">
<h3 id="name-clienthello-size">
<a href="#section-4.3" class="section-number selfRef">4.3. </a><a href="#name-clienthello-size" class="section-name selfRef">ClientHello Size</a>
</h3>
<p id="section-4.3-1">The first Initial packet from a client contains the start or all of its first
cryptographic handshake message, which for TLS is the ClientHello. Servers
might need to parse the entire ClientHello (e.g., to access extensions such as
Server Name Identification (SNI) or Application-Layer Protocol Negotiation
(ALPN)) in order to decide whether to accept the new incoming QUIC connection.
If the ClientHello spans multiple Initial packets, such servers would need to
buffer the first received fragments, which could consume excessive resources if
the client's address has not yet been validated. To avoid this, servers <span class="bcp14">MAY</span>
use the Retry feature (see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-8.1" class="relref">Section 8.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>) to only buffer
partial ClientHello messages from clients with a validated address.<a href="#section-4.3-1" class="pilcrow">¶</a></p>
<p id="section-4.3-2">QUIC packet and framing add at least 36 bytes of overhead to the ClientHello
message. That overhead increases if the client chooses a Source Connection ID
field longer than zero bytes. Overheads also do not include the token or a
Destination Connection ID longer than 8 bytes, both of which might be required
if a server sends a Retry packet.<a href="#section-4.3-2" class="pilcrow">¶</a></p>
<p id="section-4.3-3">A typical TLS ClientHello can easily fit into a 1200-byte packet. However, in
addition to the overheads added by QUIC, there are several variables that could
cause this limit to be exceeded. Large session tickets, multiple or large key
shares, and long lists of supported ciphers, signature algorithms, versions,
QUIC transport parameters, and other negotiable parameters and extensions could
cause this message to grow.<a href="#section-4.3-3" class="pilcrow">¶</a></p>
<p id="section-4.3-4">For servers, in addition to connection IDs and tokens, the size of TLS session
tickets can have an effect on a client's ability to connect efficiently.
Minimizing the size of these values increases the probability that clients can
use them and still fit their entire ClientHello message in their first Initial
packet.<a href="#section-4.3-4" class="pilcrow">¶</a></p>
<p id="section-4.3-5">The TLS implementation does not need to ensure that the ClientHello is large
enough to meet QUIC's requirements for datagrams that carry Initial packets; see
<span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-14.1" class="relref">Section 14.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>. QUIC implementations use PADDING frames or
packet coalescing to ensure that datagrams are large enough.<a href="#section-4.3-5" class="pilcrow">¶</a></p>
</section>
</div>
<div id="peer-authentication">
<section id="section-4.4">
<h3 id="name-peer-authentication">
<a href="#section-4.4" class="section-number selfRef">4.4. </a><a href="#name-peer-authentication" class="section-name selfRef">Peer Authentication</a>
</h3>
<p id="section-4.4-1">The requirements for authentication depend on the application protocol that is
in use. TLS provides server authentication and permits the server to request
client authentication.<a href="#section-4.4-1" class="pilcrow">¶</a></p>
<p id="section-4.4-2">A client <span class="bcp14">MUST</span> authenticate the identity of the server. This typically involves
verification that the identity of the server is included in a certificate and
that the certificate is issued by a trusted entity (see for example
<span>[<a href="#RFC2818" class="xref">RFC2818</a>]</span>).<a href="#section-4.4-2" class="pilcrow">¶</a></p>
<aside id="section-4.4-3">
<p id="section-4.4-3.1">Note: Where servers provide certificates for authentication, the size of the
certificate chain can consume a large number of bytes. Controlling the size
of certificate chains is critical to performance in QUIC as servers are
limited to sending 3 bytes for every byte received prior to validating the
client address; see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-8.1" class="relref">Section 8.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>. The size of a
certificate chain can be managed by limiting the number of names or
extensions; using keys with small public key representations, like ECDSA; or
by using certificate compression <span>[<a href="#COMPRESS" class="xref">COMPRESS</a>]</span>.<a href="#section-4.4-3.1" class="pilcrow">¶</a></p>
</aside>
<p id="section-4.4-4">A server <span class="bcp14">MAY</span> request that the client authenticate during the handshake. A server
<span class="bcp14">MAY</span> refuse a connection if the client is unable to authenticate when requested.
The requirements for client authentication vary based on application protocol
and deployment.<a href="#section-4.4-4" class="pilcrow">¶</a></p>
<p id="section-4.4-5">A server <span class="bcp14">MUST NOT</span> use post-handshake client authentication (as defined in
<span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-4.6.2" class="relref">Section 4.6.2</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>) because the multiplexing offered by QUIC prevents
clients from correlating the certificate request with the application-level
event that triggered it (see <span>[<a href="#HTTP2-TLS13" class="xref">HTTP2-TLS13</a>]</span>). More specifically,
servers <span class="bcp14">MUST NOT</span> send post-handshake TLS CertificateRequest messages, and
clients <span class="bcp14">MUST</span> treat receipt of such messages as a connection error of type
PROTOCOL_VIOLATION.<a href="#section-4.4-5" class="pilcrow">¶</a></p>
</section>
</div>
<div id="resumption">
<section id="section-4.5">
<h3 id="name-session-resumption">
<a href="#section-4.5" class="section-number selfRef">4.5. </a><a href="#name-session-resumption" class="section-name selfRef">Session Resumption</a>
</h3>
<p id="section-4.5-1">QUIC can use the session resumption feature of TLS 1.3. It does this by
carrying NewSessionTicket messages in CRYPTO frames after the handshake is
complete. Session resumption can be used to provide 0-RTT and can also be
used when 0-RTT is disabled.<a href="#section-4.5-1" class="pilcrow">¶</a></p>
<p id="section-4.5-2">Endpoints that use session resumption might need to remember some information
about the current connection when creating a resumed connection. TLS requires
that some information be retained; see <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-4.6.1" class="relref">Section 4.6.1</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>. QUIC itself
does not depend on any state being retained when resuming a connection unless
0-RTT is also used; see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-7.4.1" class="relref">Section 7.4.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span> and
<a href="#enable-0rtt" class="xref">Section 4.6.1</a>. Application protocols could depend on state that is retained
between resumed connections.<a href="#section-4.5-2" class="pilcrow">¶</a></p>
<p id="section-4.5-3">Clients can store any state required for resumption along with the session
ticket. Servers can use the session ticket to help carry state.<a href="#section-4.5-3" class="pilcrow">¶</a></p>
<p id="section-4.5-4">Session resumption allows servers to link activity on the original connection
with the resumed connection, which might be a privacy issue for clients.
Clients can choose not to enable resumption to avoid creating this correlation.
Clients <span class="bcp14">SHOULD NOT</span> reuse tickets as that allows entities other than the server
to correlate connections; see <span><a href="https://www.rfc-editor.org/rfc/rfc8446#appendix-C.4" class="relref">Appendix C.4</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>.<a href="#section-4.5-4" class="pilcrow">¶</a></p>
</section>
</div>
<div id="rtt">
<section id="section-4.6">
<h3 id="name-0-rtt">
<a href="#section-4.6" class="section-number selfRef">4.6. </a><a href="#name-0-rtt" class="section-name selfRef">0-RTT</a>
</h3>
<p id="section-4.6-1">The 0-RTT feature in QUIC allows a client to send application data before the
handshake is complete. This is made possible by reusing negotiated parameters
from a previous connection. To enable this, 0-RTT depends on the client
remembering critical parameters and providing the server with a TLS session
ticket that allows the server to recover the same information.<a href="#section-4.6-1" class="pilcrow">¶</a></p>
<p id="section-4.6-2">This information includes parameters that determine TLS state, as governed by
<span>[<a href="#TLS13" class="xref">TLS13</a>]</span>, QUIC transport parameters, the chosen application protocol, and any
information the application protocol might need; see <a href="#app-0rtt" class="xref">Section 4.6.3</a>. This
information determines how 0-RTT packets and their contents are formed.<a href="#section-4.6-2" class="pilcrow">¶</a></p>
<p id="section-4.6-3">To ensure that the same information is available to both endpoints, all
information used to establish 0-RTT comes from the same connection. Endpoints
cannot selectively disregard information that might alter the sending or
processing of 0-RTT.<a href="#section-4.6-3" class="pilcrow">¶</a></p>
<p id="section-4.6-4"><span>[<a href="#TLS13" class="xref">TLS13</a>]</span> sets a limit of seven days on the time between the original
connection and any attempt to use 0-RTT. There are other constraints on 0-RTT
usage, notably those caused by the potential exposure to replay attack; see
<a href="#replay" class="xref">Section 9.2</a>.<a href="#section-4.6-4" class="pilcrow">¶</a></p>
<div id="enable-0rtt">
<section id="section-4.6.1">
<h4 id="name-enabling-0-rtt">
<a href="#section-4.6.1" class="section-number selfRef">4.6.1. </a><a href="#name-enabling-0-rtt" class="section-name selfRef">Enabling 0-RTT</a>
</h4>
<p id="section-4.6.1-1">The TLS early_data extension in the NewSessionTicket message is defined to
convey (in the max_early_data_size parameter) the amount of TLS 0-RTT data the
server is willing to accept. QUIC does not use TLS early data. QUIC uses 0-RTT
packets to carry early data. Accordingly, the max_early_data_size parameter is
repurposed to hold a sentinel value 0xffffffff to indicate that the server is
willing to accept QUIC 0-RTT data. To indicate that the server does not accept
0-RTT data, the early_data extension is omitted from the NewSessionTicket. The
amount of data that the client can send in QUIC 0-RTT is controlled by the
initial_max_data transport parameter supplied by the server.<a href="#section-4.6.1-1" class="pilcrow">¶</a></p>
<p id="section-4.6.1-2">Servers <span class="bcp14">MUST NOT</span> send the early_data extension with a max_early_data_size field
set to any value other than 0xffffffff. A client <span class="bcp14">MUST</span> treat receipt of a
NewSessionTicket that contains an early_data extension with any other value as
a connection error of type PROTOCOL_VIOLATION.<a href="#section-4.6.1-2" class="pilcrow">¶</a></p>
<p id="section-4.6.1-3">A client that wishes to send 0-RTT packets uses the early_data extension in the
ClientHello message of a subsequent handshake; see <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-4.2.10" class="relref">Section 4.2.10</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>.
It then sends application data in 0-RTT packets.<a href="#section-4.6.1-3" class="pilcrow">¶</a></p>
<p id="section-4.6.1-4">A client that attempts 0-RTT might also provide an address validation token if
the server has sent a NEW_TOKEN frame; see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-8.1" class="relref">Section 8.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-4.6.1-4" class="pilcrow">¶</a></p>
</section>
</div>
<div id="accepting-and-rejecting-0-rtt">
<section id="section-4.6.2">
<h4 id="name-accepting-and-rejecting-0-r">
<a href="#section-4.6.2" class="section-number selfRef">4.6.2. </a><a href="#name-accepting-and-rejecting-0-r" class="section-name selfRef">Accepting and Rejecting 0-RTT</a>
</h4>
<p id="section-4.6.2-1">A server accepts 0-RTT by sending an early_data extension in the
EncryptedExtensions; see <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-4.2.10" class="relref">Section 4.2.10</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>. The server then
processes and acknowledges the 0-RTT packets that it receives.<a href="#section-4.6.2-1" class="pilcrow">¶</a></p>
<p id="section-4.6.2-2">A server rejects 0-RTT by sending the EncryptedExtensions without an early_data
extension. A server will always reject 0-RTT if it sends a TLS
HelloRetryRequest. When rejecting 0-RTT, a server <span class="bcp14">MUST NOT</span> process any 0-RTT
packets, even if it could. When 0-RTT was rejected, a client <span class="bcp14">SHOULD</span> treat
receipt of an acknowledgment for a 0-RTT packet as a connection error of type
PROTOCOL_VIOLATION, if it is able to detect the condition.<a href="#section-4.6.2-2" class="pilcrow">¶</a></p>
<p id="section-4.6.2-3">When 0-RTT is rejected, all connection characteristics that the client assumed
might be incorrect. This includes the choice of application protocol, transport
parameters, and any application configuration. The client therefore <span class="bcp14">MUST</span> reset
the state of all streams, including application state bound to those streams.<a href="#section-4.6.2-3" class="pilcrow">¶</a></p>
<p id="section-4.6.2-4">A client <span class="bcp14">MAY</span> reattempt 0-RTT if it receives a Retry or Version Negotiation
packet. These packets do not signify rejection of 0-RTT.<a href="#section-4.6.2-4" class="pilcrow">¶</a></p>
</section>
</div>
<div id="app-0rtt">
<section id="section-4.6.3">
<h4 id="name-validating-0-rtt-configurat">
<a href="#section-4.6.3" class="section-number selfRef">4.6.3. </a><a href="#name-validating-0-rtt-configurat" class="section-name selfRef">Validating 0-RTT Configuration</a>
</h4>
<p id="section-4.6.3-1">When a server receives a ClientHello with the early_data extension, it has to
decide whether to accept or reject 0-RTT data from the client. Some of this
decision is made by the TLS stack (e.g., checking that the cipher suite being
resumed was included in the ClientHello; see <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-4.2.10" class="relref">Section 4.2.10</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>). Even
when the TLS stack has no reason to reject 0-RTT data, the QUIC stack or the
application protocol using QUIC might reject 0-RTT data because the
configuration of the transport or application associated with the resumed
session is not compatible with the server's current configuration.<a href="#section-4.6.3-1" class="pilcrow">¶</a></p>
<p id="section-4.6.3-2">QUIC requires additional transport state to be associated with a 0-RTT session
ticket. One common way to implement this is using stateless session tickets and
storing this state in the session ticket. Application protocols that use QUIC
might have similar requirements regarding associating or storing state. This
associated state is used for deciding whether 0-RTT data must be rejected. For
example, HTTP/3 settings <span>[<a href="#QUIC-HTTP" class="xref">QUIC-HTTP</a>]</span> determine how 0-RTT data from the
client is interpreted. Other applications using QUIC could have different
requirements for determining whether to accept or reject 0-RTT data.<a href="#section-4.6.3-2" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
<div id="helloretryrequest">
<section id="section-4.7">
<h3 id="name-helloretryrequest">
<a href="#section-4.7" class="section-number selfRef">4.7. </a><a href="#name-helloretryrequest" class="section-name selfRef">HelloRetryRequest</a>
</h3>
<p id="section-4.7-1">The HelloRetryRequest message (see <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-4.1.4" class="relref">Section 4.1.4</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>) can be used to
request that a client provide new information, such as a key share, or to
validate some characteristic of the client. From the perspective of QUIC,
HelloRetryRequest is not differentiated from other cryptographic handshake
messages that are carried in Initial packets. Although it is in principle
possible to use this feature for address verification, QUIC implementations
<span class="bcp14">SHOULD</span> instead use the Retry feature; see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-8.1" class="relref">Section 8.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-4.7-1" class="pilcrow">¶</a></p>
</section>
</div>
<div id="tls-errors">
<section id="section-4.8">
<h3 id="name-tls-errors">
<a href="#section-4.8" class="section-number selfRef">4.8. </a><a href="#name-tls-errors" class="section-name selfRef">TLS Errors</a>
</h3>
<p id="section-4.8-1">If TLS experiences an error, it generates an appropriate alert as defined in
<span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-6" class="relref">Section 6</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>.<a href="#section-4.8-1" class="pilcrow">¶</a></p>
<p id="section-4.8-2">A TLS alert is converted into a QUIC connection error. The AlertDescription
value is
added to 0x0100 to produce a QUIC error code from the range reserved for
CRYPTO_ERROR; see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-20.1" class="relref">Section 20.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>. The resulting value is
sent in a QUIC CONNECTION_CLOSE frame of type 0x1c.<a href="#section-4.8-2" class="pilcrow">¶</a></p>
<p id="section-4.8-3">QUIC is only able to convey an alert level of "fatal". In TLS 1.3, the only
existing uses for the "warning" level are to signal connection close; see
<span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-6.1" class="relref">Section 6.1</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>. As QUIC provides alternative mechanisms for
connection termination and the TLS connection is only closed if an error is
encountered, a QUIC endpoint <span class="bcp14">MUST</span> treat any alert from TLS as if it were at the
"fatal" level.<a href="#section-4.8-3" class="pilcrow">¶</a></p>
<p id="section-4.8-4">QUIC permits the use of a generic code in place of a specific error code; see
<span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-11" class="relref">Section 11</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>. For TLS alerts, this includes replacing any
alert with a generic alert, such as handshake_failure (0x0128 in QUIC).
Endpoints <span class="bcp14">MAY</span> use a generic error code to avoid possibly exposing confidential
information.<a href="#section-4.8-4" class="pilcrow">¶</a></p>
</section>
</div>
<div id="discarding-unused-keys">
<section id="section-4.9">
<h3 id="name-discarding-unused-keys">
<a href="#section-4.9" class="section-number selfRef">4.9. </a><a href="#name-discarding-unused-keys" class="section-name selfRef">Discarding Unused Keys</a>
</h3>
<p id="section-4.9-1">After QUIC has completed a move to a new encryption level, packet protection
keys for previous encryption levels can be discarded. This occurs several times
during the handshake, as well as when keys are updated; see <a href="#key-update" class="xref">Section 6</a>.<a href="#section-4.9-1" class="pilcrow">¶</a></p>
<p id="section-4.9-2">Packet protection keys are not discarded immediately when new keys are
available. If packets from a lower encryption level contain CRYPTO frames,
frames that retransmit that data <span class="bcp14">MUST</span> be sent at the same encryption level.
Similarly, an endpoint generates acknowledgments for packets at the same
encryption level as the packet being acknowledged. Thus, it is possible that
keys for a lower encryption level are needed for a short time after keys for a
newer encryption level are available.<a href="#section-4.9-2" class="pilcrow">¶</a></p>
<p id="section-4.9-3">An endpoint cannot discard keys for a given encryption level unless it has
received all the cryptographic handshake messages from its peer at that
encryption level and its peer has done the same. Different methods for
determining this are provided for Initial keys (<a href="#discard-initial" class="xref">Section 4.9.1</a>) and
Handshake keys (<a href="#discard-handshake" class="xref">Section 4.9.2</a>). These methods do not prevent packets
from being received or sent at that encryption level because a peer might not
have received all the acknowledgments necessary.<a href="#section-4.9-3" class="pilcrow">¶</a></p>
<p id="section-4.9-4">Though an endpoint might retain older keys, new data <span class="bcp14">MUST</span> be sent at the highest
currently available encryption level. Only ACK frames and retransmissions of
data in CRYPTO frames are sent at a previous encryption level. These packets
<span class="bcp14">MAY</span> also include PADDING frames.<a href="#section-4.9-4" class="pilcrow">¶</a></p>
<div id="discard-initial">
<section id="section-4.9.1">
<h4 id="name-discarding-initial-keys">
<a href="#section-4.9.1" class="section-number selfRef">4.9.1. </a><a href="#name-discarding-initial-keys" class="section-name selfRef">Discarding Initial Keys</a>
</h4>
<p id="section-4.9.1-1">Packets protected with Initial secrets (<a href="#initial-secrets" class="xref">Section 5.2</a>) are not
authenticated, meaning that an attacker could spoof packets with the intent to
disrupt a connection. To limit these attacks, Initial packet protection keys
are discarded more aggressively than other keys.<a href="#section-4.9.1-1" class="pilcrow">¶</a></p>
<p id="section-4.9.1-2">The successful use of Handshake packets indicates that no more Initial packets
need to be exchanged, as these keys can only be produced after receiving all
CRYPTO frames from Initial packets. Thus, a client <span class="bcp14">MUST</span> discard Initial keys
when it first sends a Handshake packet and a server <span class="bcp14">MUST</span> discard Initial keys
when it first successfully processes a Handshake packet. Endpoints <span class="bcp14">MUST NOT</span>
send Initial packets after this point.<a href="#section-4.9.1-2" class="pilcrow">¶</a></p>
<p id="section-4.9.1-3">This results in abandoning loss recovery state for the Initial encryption level
and ignoring any outstanding Initial packets.<a href="#section-4.9.1-3" class="pilcrow">¶</a></p>
</section>
</div>
<div id="discard-handshake">
<section id="section-4.9.2">
<h4 id="name-discarding-handshake-keys">
<a href="#section-4.9.2" class="section-number selfRef">4.9.2. </a><a href="#name-discarding-handshake-keys" class="section-name selfRef">Discarding Handshake Keys</a>
</h4>
<p id="section-4.9.2-1">An endpoint <span class="bcp14">MUST</span> discard its Handshake keys when the TLS handshake is confirmed
(<a href="#handshake-confirmed" class="xref">Section 4.1.2</a>).<a href="#section-4.9.2-1" class="pilcrow">¶</a></p>
</section>
</div>
<div id="discarding-0-rtt-keys">
<section id="section-4.9.3">
<h4 id="name-discarding-0-rtt-keys">
<a href="#section-4.9.3" class="section-number selfRef">4.9.3. </a><a href="#name-discarding-0-rtt-keys" class="section-name selfRef">Discarding 0-RTT Keys</a>
</h4>
<p id="section-4.9.3-1">0-RTT and 1-RTT packets share the same packet number space, and clients do not
send 0-RTT packets after sending a 1-RTT packet (<a href="#using-early-data" class="xref">Section 5.6</a>).<a href="#section-4.9.3-1" class="pilcrow">¶</a></p>
<p id="section-4.9.3-2">Therefore, a client <span class="bcp14">SHOULD</span> discard 0-RTT keys as soon as it installs 1-RTT
keys as they have no use after that moment.<a href="#section-4.9.3-2" class="pilcrow">¶</a></p>
<p id="section-4.9.3-3">Additionally, a server <span class="bcp14">MAY</span> discard 0-RTT keys as soon as it receives a 1-RTT
packet. However, due to packet reordering, a 0-RTT packet could arrive after
a 1-RTT packet. Servers <span class="bcp14">MAY</span> temporarily retain 0-RTT keys to allow decrypting
reordered packets without requiring their contents to be retransmitted with
1-RTT keys. After receiving a 1-RTT packet, servers <span class="bcp14">MUST</span> discard 0-RTT keys
within a short time; the <span class="bcp14">RECOMMENDED</span> time period is three times the Probe
Timeout (PTO, see <span>[<a href="#QUIC-RECOVERY" class="xref">QUIC-RECOVERY</a>]</span>). A server <span class="bcp14">MAY</span> discard 0-RTT keys earlier
if it determines that it has received all 0-RTT packets, which can be done by
keeping track of missing packet numbers.<a href="#section-4.9.3-3" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
</section>
</div>
<div id="packet-protection">
<section id="section-5">
<h2 id="name-packet-protection">
<a href="#section-5" class="section-number selfRef">5. </a><a href="#name-packet-protection" class="section-name selfRef">Packet Protection</a>
</h2>
<p id="section-5-1">As with TLS over TCP, QUIC protects packets with keys derived from the TLS
handshake, using the AEAD algorithm <span>[<a href="#AEAD" class="xref">AEAD</a>]</span> negotiated by TLS.<a href="#section-5-1" class="pilcrow">¶</a></p>
<p id="section-5-2">QUIC packets have varying protections depending on their type:<a href="#section-5-2" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-5-3.1">Version Negotiation packets have no cryptographic protection.<a href="#section-5-3.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-5-3.2">Retry packets use AEAD_AES_128_GCM to provide protection against accidental
modification and to limit the entities that can produce a valid Retry;
see <a href="#retry-integrity" class="xref">Section 5.8</a>.<a href="#section-5-3.2" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-5-3.3">Initial packets use AEAD_AES_128_GCM with keys derived from the Destination
Connection ID field of the first Initial packet sent by the client; see
<a href="#initial-secrets" class="xref">Section 5.2</a>.<a href="#section-5-3.3" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-5-3.4">All other packets have strong cryptographic protections for confidentiality
and integrity, using keys and algorithms negotiated by TLS.<a href="#section-5-3.4" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-5-4">This section describes how packet protection is applied to Handshake packets,
0-RTT packets, and 1-RTT packets. The same packet protection process is applied
to Initial packets. However, as it is trivial to determine the keys used for
Initial packets, these packets are not considered to have confidentiality or
integrity protection. Retry packets use a fixed key and so similarly lack
confidentiality and integrity protection.<a href="#section-5-4" class="pilcrow">¶</a></p>
<div id="protection-keys">
<section id="section-5.1">
<h3 id="name-packet-protection-keys">
<a href="#section-5.1" class="section-number selfRef">5.1. </a><a href="#name-packet-protection-keys" class="section-name selfRef">Packet Protection Keys</a>
</h3>
<p id="section-5.1-1">QUIC derives packet protection keys in the same way that TLS derives record
protection keys.<a href="#section-5.1-1" class="pilcrow">¶</a></p>
<p id="section-5.1-2">Each encryption level has separate secret values for protection of packets sent
in each direction. These traffic secrets are derived by TLS (see <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-7.1" class="relref">Section 7.1</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>) and are used by QUIC for all encryption levels except the Initial
encryption level. The secrets for the Initial encryption level are computed
based on the client's initial Destination Connection ID, as described in
<a href="#initial-secrets" class="xref">Section 5.2</a>.<a href="#section-5.1-2" class="pilcrow">¶</a></p>
<p id="section-5.1-3">The keys used for packet protection are computed from the TLS secrets using the
KDF provided by TLS. In TLS 1.3, the HKDF-Expand-Label function described in
<span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-7.1" class="relref">Section 7.1</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span> is used with the hash function from the negotiated
cipher suite. All uses of HKDF-Expand-Label in QUIC use a zero-length Context.<a href="#section-5.1-3" class="pilcrow">¶</a></p>
<p id="section-5.1-4">Note that labels, which are described using strings, are encoded
as bytes using ASCII <span>[<a href="#ASCII" class="xref">ASCII</a>]</span> without quotes or any trailing NUL
byte.<a href="#section-5.1-4" class="pilcrow">¶</a></p>
<p id="section-5.1-5">Other versions of TLS <span class="bcp14">MUST</span> provide a similar function in order to be
used with QUIC.<a href="#section-5.1-5" class="pilcrow">¶</a></p>
<p id="section-5.1-6">The current encryption level secret and the label "quic key" are input to the
KDF to produce the AEAD key; the label "quic iv" is used to derive the
Initialization Vector (IV); see <a href="#aead" class="xref">Section 5.3</a>. The header protection key uses the
"quic hp" label; see <a href="#header-protect" class="xref">Section 5.4</a>. Using these labels provides key
separation between QUIC and TLS; see <a href="#key-diversity" class="xref">Section 9.6</a>.<a href="#section-5.1-6" class="pilcrow">¶</a></p>
<p id="section-5.1-7">Both "quic key" and "quic hp" are used to produce keys, so the Length provided
to HKDF-Expand-Label along with these labels is determined by the size of keys
in the AEAD or header protection algorithm. The Length provided with "quic iv"
is the minimum length of the AEAD nonce or 8 bytes if that is larger; see
<span>[<a href="#AEAD" class="xref">AEAD</a>]</span>.<a href="#section-5.1-7" class="pilcrow">¶</a></p>
<p id="section-5.1-8">The KDF used for initial secrets is always the HKDF-Expand-Label function from
TLS 1.3; see <a href="#initial-secrets" class="xref">Section 5.2</a>.<a href="#section-5.1-8" class="pilcrow">¶</a></p>
</section>
</div>
<div id="initial-secrets">
<section id="section-5.2">
<h3 id="name-initial-secrets">
<a href="#section-5.2" class="section-number selfRef">5.2. </a><a href="#name-initial-secrets" class="section-name selfRef">Initial Secrets</a>
</h3>
<p id="section-5.2-1">Initial packets apply the packet protection process, but use a secret derived
from the Destination Connection ID field from the client's first Initial
packet.<a href="#section-5.2-1" class="pilcrow">¶</a></p>
<p id="section-5.2-2">This secret is determined by using HKDF-Extract (see <span><a href="https://www.rfc-editor.org/rfc/rfc5869#section-2.2" class="relref">Section 2.2</a> of [<a href="#HKDF" class="xref">HKDF</a>]</span>)
with a salt of 0x38762cf7f55934b34d179ae6a4c80cadccbb7f0a and the input keying
material (IKM) of the Destination Connection ID field. This produces an
intermediate pseudorandom key (PRK) that is used to derive two separate secrets
for sending and receiving.<a href="#section-5.2-2" class="pilcrow">¶</a></p>
<p id="section-5.2-3">The secret used by clients to construct Initial packets uses the PRK and the
label "client in" as input to the HKDF-Expand-Label function from TLS
<span>[<a href="#TLS13" class="xref">TLS13</a>]</span> to produce a 32-byte secret. Packets constructed by the server use
the same process with the label "server in". The hash function for HKDF when
deriving initial secrets and keys is SHA-256
<span>[<a href="#SHA" class="xref">SHA</a>]</span>.<a href="#section-5.2-3" class="pilcrow">¶</a></p>
<p id="section-5.2-4">This process in pseudocode is:<a href="#section-5.2-4" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-5.2-5">
<pre>
initial_salt = 0x38762cf7f55934b34d179ae6a4c80cadccbb7f0a
initial_secret = HKDF-Extract(initial_salt,
client_dst_connection_id)
client_initial_secret = HKDF-Expand-Label(initial_secret,
"client in", "",
Hash.length)
server_initial_secret = HKDF-Expand-Label(initial_secret,
"server in", "",
Hash.length)
</pre><a href="#section-5.2-5" class="pilcrow">¶</a>
</div>
<p id="section-5.2-6">The connection ID used with HKDF-Expand-Label is the Destination Connection ID
in the Initial packet sent by the client. This will be a randomly selected
value unless the client creates the Initial packet after receiving a Retry
packet, where the Destination Connection ID is selected by the server.<a href="#section-5.2-6" class="pilcrow">¶</a></p>
<p id="section-5.2-7">Future versions of QUIC <span class="bcp14">SHOULD</span> generate a new salt value, thus ensuring that
the keys are different for each version of QUIC. This prevents a middlebox that
recognizes only one version of QUIC from seeing or modifying the contents of
packets from future versions.<a href="#section-5.2-7" class="pilcrow">¶</a></p>
<p id="section-5.2-8">The HKDF-Expand-Label function defined in TLS 1.3 <span class="bcp14">MUST</span> be used for Initial
packets even where the TLS versions offered do not include TLS 1.3.<a href="#section-5.2-8" class="pilcrow">¶</a></p>
<p id="section-5.2-9">The secrets used for constructing subsequent Initial packets change when a
server sends a Retry packet to use the connection ID value selected by the
server. The secrets do not change when a client changes the Destination
Connection ID it uses in response to an Initial packet from the server.<a href="#section-5.2-9" class="pilcrow">¶</a></p>
<aside id="section-5.2-10">
<p id="section-5.2-10.1">Note: The Destination Connection ID field could be any length up to 20 bytes,
including zero length if the server sends a Retry packet with a zero-length
Source Connection ID field. After a Retry, the Initial keys provide the client
no assurance that the server received its packet, so the client has to rely on
the exchange that included the Retry packet to validate the server address;
see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-8.1" class="relref">Section 8.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-5.2-10.1" class="pilcrow">¶</a></p>
</aside>
<p id="section-5.2-11"><a href="#test-vectors" class="xref">Appendix A</a> contains sample Initial packets.<a href="#section-5.2-11" class="pilcrow">¶</a></p>
</section>
</div>
<div id="aead">
<section id="section-5.3">
<h3 id="name-aead-usage">
<a href="#section-5.3" class="section-number selfRef">5.3. </a><a href="#name-aead-usage" class="section-name selfRef">AEAD Usage</a>
</h3>
<p id="section-5.3-1">The Authenticated Encryption with Associated Data (AEAD) function (see
<span>[<a href="#AEAD" class="xref">AEAD</a>]</span>) used for QUIC packet protection is the AEAD that is negotiated for
use with the TLS connection. For example, if TLS is using the
TLS_AES_128_GCM_SHA256 cipher suite, the AEAD_AES_128_GCM function is used.<a href="#section-5.3-1" class="pilcrow">¶</a></p>
<p id="section-5.3-2">QUIC can use any of the cipher suites defined in <span>[<a href="#TLS13" class="xref">TLS13</a>]</span> with the exception
of TLS_AES_128_CCM_8_SHA256. A cipher suite <span class="bcp14">MUST NOT</span> be negotiated unless a
header protection scheme is defined for the cipher suite. This document defines
a header protection scheme for all cipher suites defined in <span>[<a href="#TLS13" class="xref">TLS13</a>]</span> aside
from TLS_AES_128_CCM_8_SHA256. These cipher suites have a 16-byte
authentication tag and produce an output 16 bytes larger than their input.<a href="#section-5.3-2" class="pilcrow">¶</a></p>
<p id="section-5.3-3">An endpoint <span class="bcp14">MUST NOT</span> reject a ClientHello that offers a cipher suite that it
does not support, or it would be impossible to deploy a new cipher suite. This
also applies to TLS_AES_128_CCM_8_SHA256.<a href="#section-5.3-3" class="pilcrow">¶</a></p>
<p id="section-5.3-4">When constructing packets, the AEAD function is applied prior to applying
header protection; see <a href="#header-protect" class="xref">Section 5.4</a>. The unprotected packet header is part
of the associated data (A). When processing packets, an endpoint first
removes the header protection.<a href="#section-5.3-4" class="pilcrow">¶</a></p>
<p id="section-5.3-5">The key and IV for the packet are computed as described in <a href="#protection-keys" class="xref">Section 5.1</a>.
The nonce, N, is formed by combining the packet protection IV with the packet
number. The 62 bits of the reconstructed QUIC packet number in network byte
order are left-padded with zeros to the size of the IV. The exclusive OR of the
padded packet number and the IV forms the AEAD nonce.<a href="#section-5.3-5" class="pilcrow">¶</a></p>
<p id="section-5.3-6">The associated data, A, for the AEAD is the contents of the QUIC header,
starting from the first byte of either the short or long header, up to and
including the unprotected packet number.<a href="#section-5.3-6" class="pilcrow">¶</a></p>
<p id="section-5.3-7">The input plaintext, P, for the AEAD is the payload of the QUIC packet, as
described in <span>[<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-5.3-7" class="pilcrow">¶</a></p>
<p id="section-5.3-8">The output ciphertext, C, of the AEAD is transmitted in place of P.<a href="#section-5.3-8" class="pilcrow">¶</a></p>
<p id="section-5.3-9">Some AEAD functions have limits for how many packets can be encrypted under the
same key and IV; see <a href="#aead-limits" class="xref">Section 6.6</a>. This might be lower than the packet
number limit. An endpoint <span class="bcp14">MUST</span> initiate a key update (<a href="#key-update" class="xref">Section 6</a>) prior to
exceeding any limit set for the AEAD that is in use.<a href="#section-5.3-9" class="pilcrow">¶</a></p>
</section>
</div>
<div id="header-protect">
<section id="section-5.4">
<h3 id="name-header-protection">
<a href="#section-5.4" class="section-number selfRef">5.4. </a><a href="#name-header-protection" class="section-name selfRef">Header Protection</a>
</h3>
<p id="section-5.4-1">Parts of QUIC packet headers, in particular the Packet Number field, are
protected using a key that is derived separately from the packet protection key
and IV. The key derived using the "quic hp" label is used to provide
confidentiality protection for those fields that are not exposed to on-path
elements.<a href="#section-5.4-1" class="pilcrow">¶</a></p>
<p id="section-5.4-2">This protection applies to the least significant bits of the first byte, plus
the Packet Number field. The four least significant bits of the first byte are
protected for packets with long headers; the five least significant bits of the
first byte are protected for packets with short headers. For both header forms,
this covers the reserved bits and the Packet Number Length field; the Key Phase
bit is also protected for packets with a short header.<a href="#section-5.4-2" class="pilcrow">¶</a></p>
<p id="section-5.4-3">The same header protection key is used for the duration of the connection, with
the value not changing after a key update (see <a href="#key-update" class="xref">Section 6</a>). This allows
header protection to be used to protect the key phase.<a href="#section-5.4-3" class="pilcrow">¶</a></p>
<p id="section-5.4-4">This process does not apply to Retry or Version Negotiation packets, which do
not contain a protected payload or any of the fields that are protected by this
process.<a href="#section-5.4-4" class="pilcrow">¶</a></p>
<div id="header-protection-application">
<section id="section-5.4.1">
<h4 id="name-header-protection-applicati">
<a href="#section-5.4.1" class="section-number selfRef">5.4.1. </a><a href="#name-header-protection-applicati" class="section-name selfRef">Header Protection Application</a>
</h4>
<p id="section-5.4.1-1">Header protection is applied after packet protection is applied (see <a href="#aead" class="xref">Section 5.3</a>).
The ciphertext of the packet is sampled and used as input to an encryption
algorithm. The algorithm used depends on the negotiated AEAD.<a href="#section-5.4.1-1" class="pilcrow">¶</a></p>
<p id="section-5.4.1-2">The output of this algorithm is a 5-byte mask that is applied to the protected
header fields using exclusive OR. The least significant bits of the first byte
of the packet are masked by the least significant bits of the first mask byte,
and the packet number is masked with the remaining bytes. Any unused bytes of
mask that might result from a shorter packet number encoding are unused.<a href="#section-5.4.1-2" class="pilcrow">¶</a></p>
<p id="section-5.4.1-3"><a href="#pseudo-hp" class="xref">Figure 6</a> shows a sample algorithm for applying header protection. Removing
header protection only differs in the order in which the packet number length
(pn_length) is determined (here "^" is used to represent exclusive OR).<a href="#section-5.4.1-3" class="pilcrow">¶</a></p>
<span id="name-header-protection-pseudocod"></span><div id="pseudo-hp">
<figure id="figure-6">
<div id="section-5.4.1-4.1">
<pre class="sourcecode lang-pseudocode">
mask = header_protection(hp_key, sample)
pn_length = (packet[0] & 0x03) + 1
if (packet[0] & 0x80) == 0x80:
# Long header: 4 bits masked
packet[0] ^= mask[0] & 0x0f
else:
# Short header: 5 bits masked
packet[0] ^= mask[0] & 0x1f
# pn_offset is the start of the Packet Number field.
packet[pn_offset:pn_offset+pn_length] ^= mask[1:1+pn_length]
</pre>
</div>
<figcaption><a href="#figure-6" class="selfRef">Figure 6</a>:
<a href="#name-header-protection-pseudocod" class="selfRef">Header Protection Pseudocode</a>
</figcaption></figure>
</div>
<p id="section-5.4.1-5">Specific header protection functions are defined based on the selected cipher
suite; see <a href="#hp-aes" class="xref">Section 5.4.3</a> and <a href="#hp-chacha" class="xref">Section 5.4.4</a>.<a href="#section-5.4.1-5" class="pilcrow">¶</a></p>
<p id="section-5.4.1-6"><a href="#fig-sample" class="xref">Figure 7</a> shows an example long header packet (Initial) and a short header
packet (1-RTT). <a href="#fig-sample" class="xref">Figure 7</a> shows the fields in each header that are covered
by header protection and the portion of the protected packet payload that is
sampled.<a href="#section-5.4.1-6" class="pilcrow">¶</a></p>
<span id="name-header-protection-and-ciphe"></span><div id="fig-sample">
<figure id="figure-7">
<div class="artwork art-text alignLeft" id="section-5.4.1-7.1">
<pre>
Initial Packet {
Header Form (1) = 1,
Fixed Bit (1) = 1,
Long Packet Type (2) = 0,
Reserved Bits (2), # Protected
Packet Number Length (2), # Protected
Version (32),
DCID Len (8),
Destination Connection ID (0..160),
SCID Len (8),
Source Connection ID (0..160),
Token Length (i),
Token (..),
Length (i),
Packet Number (8..32), # Protected
Protected Payload (0..24), # Skipped Part
Protected Payload (128), # Sampled Part
Protected Payload (..) # Remainder
}
1-RTT Packet {
Header Form (1) = 0,
Fixed Bit (1) = 1,
Spin Bit (1),
Reserved Bits (2), # Protected
Key Phase (1), # Protected
Packet Number Length (2), # Protected
Destination Connection ID (0..160),
Packet Number (8..32), # Protected
Protected Payload (0..24), # Skipped Part
Protected Payload (128), # Sampled Part
Protected Payload (..), # Remainder
}
</pre>
</div>
<figcaption><a href="#figure-7" class="selfRef">Figure 7</a>:
<a href="#name-header-protection-and-ciphe" class="selfRef">Header Protection and Ciphertext Sample</a>
</figcaption></figure>
</div>
<p id="section-5.4.1-8">Before a TLS cipher suite can be used with QUIC, a header protection algorithm
<span class="bcp14">MUST</span> be specified for the AEAD used with that cipher suite. This document
defines algorithms for AEAD_AES_128_GCM, AEAD_AES_128_CCM, AEAD_AES_256_GCM (all
these AES AEADs are defined in <span>[<a href="#AEAD" class="xref">AEAD</a>]</span>), and AEAD_CHACHA20_POLY1305
(defined in <span>[<a href="#CHACHA" class="xref">CHACHA</a>]</span>). Prior to TLS selecting a cipher suite, AES
header protection is used (<a href="#hp-aes" class="xref">Section 5.4.3</a>), matching the AEAD_AES_128_GCM packet
protection.<a href="#section-5.4.1-8" class="pilcrow">¶</a></p>
</section>
</div>
<div id="hp-sample">
<section id="section-5.4.2">
<h4 id="name-header-protection-sample">
<a href="#section-5.4.2" class="section-number selfRef">5.4.2. </a><a href="#name-header-protection-sample" class="section-name selfRef">Header Protection Sample</a>
</h4>
<p id="section-5.4.2-1">The header protection algorithm uses both the header protection key and a sample
of the ciphertext from the packet Payload field.<a href="#section-5.4.2-1" class="pilcrow">¶</a></p>
<p id="section-5.4.2-2">The same number of bytes are always sampled, but an allowance needs to be made
for the removal of protection by a receiving endpoint, which will not know the
length of the Packet Number field. The sample of ciphertext is taken starting
from an offset of 4 bytes after the start of the Packet Number field. That is,
in sampling packet ciphertext for header protection, the Packet Number field is
assumed to be 4 bytes long (its maximum possible encoded length).<a href="#section-5.4.2-2" class="pilcrow">¶</a></p>
<p id="section-5.4.2-3">An endpoint <span class="bcp14">MUST</span> discard packets that are not long enough to contain a complete
sample.<a href="#section-5.4.2-3" class="pilcrow">¶</a></p>
<p id="section-5.4.2-4">To ensure that sufficient data is available for sampling, packets are padded so
that the combined lengths of the encoded packet number and protected payload is
at least 4 bytes longer than the sample required for header protection. The
cipher suites defined in <span>[<a href="#TLS13" class="xref">TLS13</a>]</span> -- other than TLS_AES_128_CCM_8_SHA256, for
which a header protection scheme is not defined in this document -- have 16-byte
expansions and 16-byte header protection samples. This results in needing at
least 3 bytes of frames in the unprotected payload if the packet number is
encoded on a single byte, or 2 bytes of frames for a 2-byte packet number
encoding.<a href="#section-5.4.2-4" class="pilcrow">¶</a></p>
<p id="section-5.4.2-5">The sampled ciphertext can be determined by the following pseudocode:<a href="#section-5.4.2-5" class="pilcrow">¶</a></p>
<div id="section-5.4.2-6">
<pre class="sourcecode lang-pseudocode">
# pn_offset is the start of the Packet Number field.
sample_offset = pn_offset + 4
sample = packet[sample_offset..sample_offset+sample_length]
</pre><a href="#section-5.4.2-6" class="pilcrow">¶</a>
</div>
<p id="section-5.4.2-7">Where the packet number offset of a short header packet can be calculated as:<a href="#section-5.4.2-7" class="pilcrow">¶</a></p>
<div id="section-5.4.2-8">
<pre class="sourcecode lang-pseudocode">
pn_offset = 1 + len(connection_id)
</pre><a href="#section-5.4.2-8" class="pilcrow">¶</a>
</div>
<p id="section-5.4.2-9">And the packet number offset of a long header packet can be calculated as:<a href="#section-5.4.2-9" class="pilcrow">¶</a></p>
<div id="section-5.4.2-10">
<pre class="sourcecode lang-pseudocode">
pn_offset = 7 + len(destination_connection_id) +
len(source_connection_id) +
len(payload_length)
if packet_type == Initial:
pn_offset += len(token_length) +
len(token)
</pre><a href="#section-5.4.2-10" class="pilcrow">¶</a>
</div>
<p id="section-5.4.2-11">For example, for a packet with a short header, an 8-byte connection ID, and
protected with AEAD_AES_128_GCM, the sample takes bytes 13 to 28 inclusive
(using zero-based indexing).<a href="#section-5.4.2-11" class="pilcrow">¶</a></p>
<p id="section-5.4.2-12">Multiple QUIC packets might be included in the same UDP datagram. Each packet
is handled separately.<a href="#section-5.4.2-12" class="pilcrow">¶</a></p>
</section>
</div>
<div id="hp-aes">
<section id="section-5.4.3">
<h4 id="name-aes-based-header-protection">
<a href="#section-5.4.3" class="section-number selfRef">5.4.3. </a><a href="#name-aes-based-header-protection" class="section-name selfRef">AES-Based Header Protection</a>
</h4>
<p id="section-5.4.3-1">This section defines the packet protection algorithm for AEAD_AES_128_GCM,
AEAD_AES_128_CCM, and AEAD_AES_256_GCM. AEAD_AES_128_GCM and AEAD_AES_128_CCM
use 128-bit AES in Electronic Codebook (ECB) mode. AEAD_AES_256_GCM uses
256-bit AES in ECB mode. AES is defined in <span>[<a href="#AES" class="xref">AES</a>]</span>.<a href="#section-5.4.3-1" class="pilcrow">¶</a></p>
<p id="section-5.4.3-2">This algorithm samples 16 bytes from the packet ciphertext. This value is used
as the input to AES-ECB. In pseudocode, the header protection function is
defined as:<a href="#section-5.4.3-2" class="pilcrow">¶</a></p>
<div id="section-5.4.3-3">
<pre class="sourcecode lang-pseudocode">
header_protection(hp_key, sample):
mask = AES-ECB(hp_key, sample)
</pre><a href="#section-5.4.3-3" class="pilcrow">¶</a>
</div>
</section>
</div>
<div id="hp-chacha">
<section id="section-5.4.4">
<h4 id="name-chacha20-based-header-prote">
<a href="#section-5.4.4" class="section-number selfRef">5.4.4. </a><a href="#name-chacha20-based-header-prote" class="section-name selfRef">ChaCha20-Based Header Protection</a>
</h4>
<p id="section-5.4.4-1">When AEAD_CHACHA20_POLY1305 is in use, header protection uses the raw ChaCha20
function as defined in <span><a href="https://www.rfc-editor.org/rfc/rfc8439#section-2.4" class="relref">Section 2.4</a> of [<a href="#CHACHA" class="xref">CHACHA</a>]</span>. This uses a 256-bit key and
16 bytes sampled from the packet protection output.<a href="#section-5.4.4-1" class="pilcrow">¶</a></p>
<p id="section-5.4.4-2">The first 4 bytes of the sampled ciphertext are the block counter. A ChaCha20
implementation could take a 32-bit integer in place of a byte sequence, in
which case, the byte sequence is interpreted as a little-endian value.<a href="#section-5.4.4-2" class="pilcrow">¶</a></p>
<p id="section-5.4.4-3">The remaining 12 bytes are used as the nonce. A ChaCha20 implementation might
take an array of three 32-bit integers in place of a byte sequence, in which
case, the nonce bytes are interpreted as a sequence of 32-bit little-endian
integers.<a href="#section-5.4.4-3" class="pilcrow">¶</a></p>
<p id="section-5.4.4-4">The encryption mask is produced by invoking ChaCha20 to protect 5 zero bytes. In
pseudocode, the header protection function is defined as:<a href="#section-5.4.4-4" class="pilcrow">¶</a></p>
<div id="section-5.4.4-5">
<pre class="sourcecode lang-pseudocode">
header_protection(hp_key, sample):
counter = sample[0..3]
nonce = sample[4..15]
mask = ChaCha20(hp_key, counter, nonce, {0,0,0,0,0})
</pre><a href="#section-5.4.4-5" class="pilcrow">¶</a>
</div>
</section>
</div>
</section>
</div>
<div id="receiving-protected-packets">
<section id="section-5.5">
<h3 id="name-receiving-protected-packets">
<a href="#section-5.5" class="section-number selfRef">5.5. </a><a href="#name-receiving-protected-packets" class="section-name selfRef">Receiving Protected Packets</a>
</h3>
<p id="section-5.5-1">Once an endpoint successfully receives a packet with a given packet number, it
<span class="bcp14">MUST</span> discard all packets in the same packet number space with higher packet
numbers if they cannot be successfully unprotected with either the same key, or
-- if there is a key update -- a subsequent packet protection key; see
<a href="#key-update" class="xref">Section 6</a>. Similarly, a packet that appears to trigger a key update but
cannot be unprotected successfully <span class="bcp14">MUST</span> be discarded.<a href="#section-5.5-1" class="pilcrow">¶</a></p>
<p id="section-5.5-2">Failure to unprotect a packet does not necessarily indicate the existence of a
protocol error in a peer or an attack. The truncated packet number encoding
used in QUIC can cause packet numbers to be decoded incorrectly if they are
delayed significantly.<a href="#section-5.5-2" class="pilcrow">¶</a></p>
</section>
</div>
<div id="using-early-data">
<section id="section-5.6">
<h3 id="name-use-of-0-rtt-keys">
<a href="#section-5.6" class="section-number selfRef">5.6. </a><a href="#name-use-of-0-rtt-keys" class="section-name selfRef">Use of 0-RTT Keys</a>
</h3>
<p id="section-5.6-1">If 0-RTT keys are available (see <a href="#enable-0rtt" class="xref">Section 4.6.1</a>), the lack of replay protection
means that restrictions on their use are necessary to avoid replay attacks on
the protocol.<a href="#section-5.6-1" class="pilcrow">¶</a></p>
<p id="section-5.6-2">Of the frames defined in <span>[<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>, the STREAM, RESET_STREAM,
STOP_SENDING, and CONNECTION_CLOSE frames are potentially unsafe for use with
0-RTT as they carry application data. Application data that is received in
0-RTT could cause an application at the server to process the data multiple
times rather than just once. Additional actions taken by a server as a result
of processing replayed application data could have unwanted consequences. A
client therefore <span class="bcp14">MUST NOT</span> use 0-RTT for application data unless specifically
requested by the application that is in use.<a href="#section-5.6-2" class="pilcrow">¶</a></p>
<p id="section-5.6-3">An application protocol that uses QUIC <span class="bcp14">MUST</span> include a profile that defines
acceptable use of 0-RTT; otherwise, 0-RTT can only be used to carry QUIC frames
that do not carry application data. For example, a profile for HTTP is
described in <span>[<a href="#HTTP-REPLAY" class="xref">HTTP-REPLAY</a>]</span> and used for HTTP/3; see
<span><a href="https://tools.ietf.org/html/draft-ietf-quic-http-34#section-10.9" class="relref">Section 10.9</a> of [<a href="#QUIC-HTTP" class="xref">QUIC-HTTP</a>]</span>.<a href="#section-5.6-3" class="pilcrow">¶</a></p>
<p id="section-5.6-4">Though replaying packets might result in additional connection attempts, the
effect of processing replayed frames that do not carry application data is
limited to changing the state of the affected connection. A TLS handshake
cannot be successfully completed using replayed packets.<a href="#section-5.6-4" class="pilcrow">¶</a></p>
<p id="section-5.6-5">A client <span class="bcp14">MAY</span> wish to apply additional restrictions on what data it sends prior
to the completion of the TLS handshake.<a href="#section-5.6-5" class="pilcrow">¶</a></p>
<p id="section-5.6-6">A client otherwise treats 0-RTT keys as equivalent to 1-RTT keys, except that
it cannot send certain frames with 0-RTT keys; see
<span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-12.5" class="relref">Section 12.5</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-5.6-6" class="pilcrow">¶</a></p>
<p id="section-5.6-7">A client that receives an indication that its 0-RTT data has been accepted by a
server can send 0-RTT data until it receives all of the server's handshake
messages. A client <span class="bcp14">SHOULD</span> stop sending 0-RTT data if it receives an indication
that 0-RTT data has been rejected.<a href="#section-5.6-7" class="pilcrow">¶</a></p>
<p id="section-5.6-8">A server <span class="bcp14">MUST NOT</span> use 0-RTT keys to protect packets; it uses 1-RTT keys to
protect acknowledgments of 0-RTT packets. A client <span class="bcp14">MUST NOT</span> attempt to
decrypt 0-RTT packets it receives and instead <span class="bcp14">MUST</span> discard them.<a href="#section-5.6-8" class="pilcrow">¶</a></p>
<p id="section-5.6-9">Once a client has installed 1-RTT keys, it <span class="bcp14">MUST NOT</span> send any more 0-RTT
packets.<a href="#section-5.6-9" class="pilcrow">¶</a></p>
<aside id="section-5.6-10">
<p id="section-5.6-10.1">Note: 0-RTT data can be acknowledged by the server as it receives it, but any
packets containing acknowledgments of 0-RTT data cannot have packet protection
removed by the client until the TLS handshake is complete. The 1-RTT keys
necessary to remove packet protection cannot be derived until the client
receives all server handshake messages.<a href="#section-5.6-10.1" class="pilcrow">¶</a></p>
</aside>
</section>
</div>
<div id="pre-hs-protected">
<section id="section-5.7">
<h3 id="name-receiving-out-of-order-prot">
<a href="#section-5.7" class="section-number selfRef">5.7. </a><a href="#name-receiving-out-of-order-prot" class="section-name selfRef">Receiving Out-of-Order Protected Packets</a>
</h3>
<p id="section-5.7-1">Due to reordering and loss, protected packets might be received by an endpoint
before the final TLS handshake messages are received. A client will be unable
to decrypt 1-RTT packets from the server, whereas a server will be able to
decrypt 1-RTT packets from the client. Endpoints in either role <span class="bcp14">MUST NOT</span>
decrypt 1-RTT packets from their peer prior to completing the handshake.<a href="#section-5.7-1" class="pilcrow">¶</a></p>
<p id="section-5.7-2">Even though 1-RTT keys are available to a server after receiving the first
handshake messages from a client, it is missing assurances on the client state:<a href="#section-5.7-2" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-5.7-3.1">The client is not authenticated, unless the server has chosen to use a
pre-shared key and validated the client's pre-shared key binder; see <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-4.2.11" class="relref">Section 4.2.11</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>.<a href="#section-5.7-3.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-5.7-3.2">The client has not demonstrated liveness, unless the server has validated the
client's address with a Retry packet or other means; see
<span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-8.1" class="relref">Section 8.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>.<a href="#section-5.7-3.2" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-5.7-3.3">Any received 0-RTT data that the server responds to might be due to a replay
attack.<a href="#section-5.7-3.3" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-5.7-4">Therefore, the server's use of 1-RTT keys before the handshake is complete is
limited to sending data. A server <span class="bcp14">MUST NOT</span> process incoming 1-RTT protected
packets before the TLS handshake is complete. Because sending acknowledgments
indicates that all frames in a packet have been processed, a server cannot send
acknowledgments for 1-RTT packets until the TLS handshake is complete. Received
packets protected with 1-RTT keys <span class="bcp14">MAY</span> be stored and later decrypted and used
once the handshake is complete.<a href="#section-5.7-4" class="pilcrow">¶</a></p>
<aside id="section-5.7-5">
<p id="section-5.7-5.1">Note: TLS implementations might provide all 1-RTT secrets prior to handshake
completion. Even where QUIC implementations have 1-RTT read keys, those keys
are not to be used prior to completing the handshake.<a href="#section-5.7-5.1" class="pilcrow">¶</a></p>
</aside>
<p id="section-5.7-6">The requirement for the server to wait for the client Finished message creates
a dependency on that message being delivered. A client can avoid the
potential for head-of-line blocking that this implies by sending its 1-RTT
packets coalesced with a Handshake packet containing a copy of the CRYPTO frame
that carries the Finished message, until one of the Handshake packets is
acknowledged. This enables immediate server processing for those packets.<a href="#section-5.7-6" class="pilcrow">¶</a></p>
<p id="section-5.7-7">A server could receive packets protected with 0-RTT keys prior to receiving a
TLS ClientHello. The server <span class="bcp14">MAY</span> retain these packets for later decryption in
anticipation of receiving a ClientHello.<a href="#section-5.7-7" class="pilcrow">¶</a></p>
<p id="section-5.7-8">A client generally receives 1-RTT keys at the same time as the handshake
completes. Even if it has 1-RTT secrets, a client <span class="bcp14">MUST NOT</span> process
incoming 1-RTT protected packets before the TLS handshake is complete.<a href="#section-5.7-8" class="pilcrow">¶</a></p>
</section>
</div>
<div id="retry-integrity">
<section id="section-5.8">
<h3 id="name-retry-packet-integrity">
<a href="#section-5.8" class="section-number selfRef">5.8. </a><a href="#name-retry-packet-integrity" class="section-name selfRef">Retry Packet Integrity</a>
</h3>
<p id="section-5.8-1">Retry packets (see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-17.2.5" class="relref">Section 17.2.5</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>) carry a Retry Integrity
Tag that provides two properties: it allows the discarding of packets that have
accidentally been corrupted by the network, and only an entity that observes an
Initial packet can send a valid Retry packet.<a href="#section-5.8-1" class="pilcrow">¶</a></p>
<p id="section-5.8-2">The Retry Integrity Tag is a 128-bit field that is computed as the output of
AEAD_AES_128_GCM <span>[<a href="#AEAD" class="xref">AEAD</a>]</span> used with the following inputs:<a href="#section-5.8-2" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-5.8-3.1">The secret key, K, is 128 bits equal to 0xbe0c690b9f66575a1d766b54e368c84e.<a href="#section-5.8-3.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-5.8-3.2">The nonce, N, is 96 bits equal to 0x461599d35d632bf2239825bb.<a href="#section-5.8-3.2" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-5.8-3.3">The plaintext, P, is empty.<a href="#section-5.8-3.3" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-5.8-3.4">The associated data, A, is the contents of the Retry Pseudo-Packet, as
illustrated in <a href="#retry-pseudo" class="xref">Figure 8</a>:<a href="#section-5.8-3.4" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-5.8-4">The secret key and the nonce are values derived by calling HKDF-Expand-Label
using 0xd9c9943e6101fd200021506bcc02814c73030f25c79d71ce876eca876e6fca8e as the
secret, with labels being "quic key" and "quic iv" (<a href="#protection-keys" class="xref">Section 5.1</a>).<a href="#section-5.8-4" class="pilcrow">¶</a></p>
<span id="name-retry-pseudo-packet"></span><div id="retry-pseudo">
<figure id="figure-8">
<div class="artwork art-text alignLeft" id="section-5.8-5.1">
<pre>
Retry Pseudo-Packet {
ODCID Length (8),
Original Destination Connection ID (0..160),
Header Form (1) = 1,
Fixed Bit (1) = 1,
Long Packet Type (2) = 3,
Unused (4),
Version (32),
DCID Len (8),
Destination Connection ID (0..160),
SCID Len (8),
Source Connection ID (0..160),
Retry Token (..),
}
</pre>
</div>
<figcaption><a href="#figure-8" class="selfRef">Figure 8</a>:
<a href="#name-retry-pseudo-packet" class="selfRef">Retry Pseudo-Packet</a>
</figcaption></figure>
</div>
<p id="section-5.8-6">The Retry Pseudo-Packet is not sent over the wire. It is computed by taking
the transmitted Retry packet, removing the Retry Integrity Tag, and prepending
the two following fields:<a href="#section-5.8-6" class="pilcrow">¶</a></p>
<span class="break"></span><dl class="dlParallel" id="section-5.8-7">
<dt id="section-5.8-7.1">ODCID Length:</dt>
<dd style="margin-left: 1.5em" id="section-5.8-7.2">
<p id="section-5.8-7.2.1">The ODCID Length field contains the length in bytes of the Original
Destination Connection ID field that follows it, encoded as an 8-bit unsigned
integer.<a href="#section-5.8-7.2.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-5.8-7.3">Original Destination Connection ID:</dt>
<dd style="margin-left: 1.5em" id="section-5.8-7.4">
<p id="section-5.8-7.4.1">The Original Destination Connection ID contains the value of the Destination
Connection ID from the Initial packet that this Retry is in response to. The
length of this field is given in ODCID Length. The presence of this field
ensures that a valid Retry packet can only be sent by an entity that
observes the Initial packet.<a href="#section-5.8-7.4.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
</dl>
</section>
</div>
</section>
</div>
<div id="key-update">
<section id="section-6">
<h2 id="name-key-update">
<a href="#section-6" class="section-number selfRef">6. </a><a href="#name-key-update" class="section-name selfRef">Key Update</a>
</h2>
<p id="section-6-1">Once the handshake is confirmed (see <a href="#handshake-confirmed" class="xref">Section 4.1.2</a>), an endpoint <span class="bcp14">MAY</span>
initiate a key update.<a href="#section-6-1" class="pilcrow">¶</a></p>
<p id="section-6-2">The Key Phase bit indicates which packet protection keys are used to protect the
packet. The Key Phase bit is initially set to 0 for the first set of 1-RTT
packets and toggled to signal each subsequent key update.<a href="#section-6-2" class="pilcrow">¶</a></p>
<p id="section-6-3">The Key Phase bit allows a recipient to detect a change in keying material
without needing to receive the first packet that triggered the change. An
endpoint that notices a changed Key Phase bit updates keys and decrypts the
packet that contains the changed value.<a href="#section-6-3" class="pilcrow">¶</a></p>
<p id="section-6-4">Initiating a key update results in both endpoints updating keys. This differs
from TLS where endpoints can update keys independently.<a href="#section-6-4" class="pilcrow">¶</a></p>
<p id="section-6-5">This mechanism replaces the key update mechanism of TLS, which relies on
KeyUpdate messages sent using 1-RTT encryption keys. Endpoints <span class="bcp14">MUST NOT</span> send a
TLS KeyUpdate message. Endpoints <span class="bcp14">MUST</span> treat the receipt of a TLS KeyUpdate
message as a connection error of type 0x010a, equivalent to a
fatal TLS alert of unexpected_message; see <a href="#tls-errors" class="xref">Section 4.8</a>.<a href="#section-6-5" class="pilcrow">¶</a></p>
<p id="section-6-6"><a href="#ex-key-update" class="xref">Figure 9</a> shows a key update process, where the initial set of keys used
(identified with @M) are replaced by updated keys (identified with @N). The
value of the Key Phase bit is indicated in brackets [].<a href="#section-6-6" class="pilcrow">¶</a></p>
<span id="name-key-update-2"></span><div id="ex-key-update">
<figure id="figure-9">
<div class="artwork art-text alignLeft" id="section-6-7.1">
<pre>
Initiating Peer Responding Peer
@M [0] QUIC Packets
... Update to @N
@N [1] QUIC Packets
-------->
Update to @N ...
QUIC Packets [1] @N
<--------
QUIC Packets [1] @N
containing ACK
<--------
... Key Update Permitted
@N [1] QUIC Packets
containing ACK for @N packets
-------->
Key Update Permitted ...
</pre>
</div>
<figcaption><a href="#figure-9" class="selfRef">Figure 9</a>:
<a href="#name-key-update-2" class="selfRef">Key Update</a>
</figcaption></figure>
</div>
<div id="key-update-initiate">
<section id="section-6.1">
<h3 id="name-initiating-a-key-update">
<a href="#section-6.1" class="section-number selfRef">6.1. </a><a href="#name-initiating-a-key-update" class="section-name selfRef">Initiating a Key Update</a>
</h3>
<p id="section-6.1-1">Endpoints maintain separate read and write secrets for packet protection. An
endpoint initiates a key update by updating its packet protection write secret
and using that to protect new packets. The endpoint creates a new write secret
from the existing write secret as performed in <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-7.2" class="relref">Section 7.2</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>. This
uses the KDF function provided by TLS with a label of "quic ku". The
corresponding key and IV are created from that secret as defined in
<a href="#protection-keys" class="xref">Section 5.1</a>. The header protection key is not updated.<a href="#section-6.1-1" class="pilcrow">¶</a></p>
<p id="section-6.1-2">For example, to update write keys with TLS 1.3, HKDF-Expand-Label is used as:<a href="#section-6.1-2" class="pilcrow">¶</a></p>
<div id="section-6.1-3">
<pre class="sourcecode lang-pseudocode">
secret_<n+1> = HKDF-Expand-Label(secret_<n>, "quic ku",
"", Hash.length)
</pre><a href="#section-6.1-3" class="pilcrow">¶</a>
</div>
<p id="section-6.1-4">The endpoint toggles the value of the Key Phase bit and uses the updated key and
IV to protect all subsequent packets.<a href="#section-6.1-4" class="pilcrow">¶</a></p>
<p id="section-6.1-5">An endpoint <span class="bcp14">MUST NOT</span> initiate a key update prior to having confirmed the
handshake (<a href="#handshake-confirmed" class="xref">Section 4.1.2</a>). An endpoint <span class="bcp14">MUST NOT</span> initiate a subsequent
key update unless it has received an acknowledgment for a packet that was sent
protected with keys from the current key phase. This ensures that keys are
available to both peers before another key update can be initiated. This can be
implemented by tracking the lowest packet number sent with each key phase and
the highest acknowledged packet number in the 1-RTT space: once the latter is
higher than or equal to the former, another key update can be initiated.<a href="#section-6.1-5" class="pilcrow">¶</a></p>
<aside id="section-6.1-6">
<p id="section-6.1-6.1">Note: Keys of packets other than the 1-RTT packets are never updated; their keys
are derived solely from the TLS handshake state.<a href="#section-6.1-6.1" class="pilcrow">¶</a></p>
</aside>
<p id="section-6.1-7">The endpoint that initiates a key update also updates the keys that it uses for
receiving packets. These keys will be needed to process packets the peer sends
after updating.<a href="#section-6.1-7" class="pilcrow">¶</a></p>
<p id="section-6.1-8">An endpoint <span class="bcp14">MUST</span> retain old keys until it has successfully unprotected a packet
sent using the new keys. An endpoint <span class="bcp14">SHOULD</span> retain old keys for some time
after unprotecting a packet sent using the new keys. Discarding old keys too
early can cause delayed packets to be discarded. Discarding packets will be
interpreted as packet loss by the peer and could adversely affect performance.<a href="#section-6.1-8" class="pilcrow">¶</a></p>
</section>
</div>
<div id="responding-to-a-key-update">
<section id="section-6.2">
<h3 id="name-responding-to-a-key-update">
<a href="#section-6.2" class="section-number selfRef">6.2. </a><a href="#name-responding-to-a-key-update" class="section-name selfRef">Responding to a Key Update</a>
</h3>
<p id="section-6.2-1">A peer is permitted to initiate a key update after receiving an acknowledgment
of a packet in the current key phase. An endpoint detects a key update when
processing a packet with a key phase that differs from the value used to protect
the last packet it sent. To process this packet, the endpoint uses the next
packet protection key and IV. See <a href="#receive-key-generation" class="xref">Section 6.3</a> for considerations
about generating these keys.<a href="#section-6.2-1" class="pilcrow">¶</a></p>
<p id="section-6.2-2">If a packet is successfully processed using the next key and IV, then the peer
has initiated a key update. The endpoint <span class="bcp14">MUST</span> update its send keys to the
corresponding key phase in response, as described in <a href="#key-update-initiate" class="xref">Section 6.1</a>.
Sending keys <span class="bcp14">MUST</span> be updated before sending an acknowledgment for the packet
that was received with updated keys. By acknowledging the packet that triggered
the key update in a packet protected with the updated keys, the endpoint signals
that the key update is complete.<a href="#section-6.2-2" class="pilcrow">¶</a></p>
<p id="section-6.2-3">An endpoint can defer sending the packet or acknowledgment according to its
normal packet sending behavior; it is not necessary to immediately generate a
packet in response to a key update. The next packet sent by the endpoint will
use the updated keys. The next packet that contains an acknowledgment will
cause the key update to be completed. If an endpoint detects a second update
before it has sent any packets with updated keys containing an
acknowledgment for the packet that initiated the key update, it indicates that
its peer has updated keys twice without awaiting confirmation. An endpoint <span class="bcp14">MAY</span>
treat such consecutive key updates as a connection error of type
KEY_UPDATE_ERROR.<a href="#section-6.2-3" class="pilcrow">¶</a></p>
<p id="section-6.2-4">An endpoint that receives an acknowledgment that is carried in a packet
protected with old keys where any acknowledged packet was protected with newer
keys <span class="bcp14">MAY</span> treat that as a connection error of type KEY_UPDATE_ERROR. This
indicates that a peer has received and acknowledged a packet that initiates a
key update, but has not updated keys in response.<a href="#section-6.2-4" class="pilcrow">¶</a></p>
</section>
</div>
<div id="receive-key-generation">
<section id="section-6.3">
<h3 id="name-timing-of-receive-key-gener">
<a href="#section-6.3" class="section-number selfRef">6.3. </a><a href="#name-timing-of-receive-key-gener" class="section-name selfRef">Timing of Receive Key Generation</a>
</h3>
<p id="section-6.3-1">Endpoints responding to an apparent key update <span class="bcp14">MUST NOT</span> generate a timing
side-channel signal that might indicate that the Key Phase bit was invalid (see
<a href="#hp-side-channel" class="xref">Section 9.5</a>). Endpoints can use randomized packet protection keys in
place of discarded keys when key updates are not yet permitted. Using
randomized keys ensures that attempting to remove packet protection does not
result in timing variations, and results in packets with an invalid Key Phase
bit being rejected.<a href="#section-6.3-1" class="pilcrow">¶</a></p>
<p id="section-6.3-2">The process of creating new packet protection keys for receiving packets could
reveal that a key update has occurred. An endpoint <span class="bcp14">MAY</span> generate new keys as
part of packet processing, but this creates a timing signal that could be used
by an attacker to learn when key updates happen and thus leak the value of the
Key Phase bit.<a href="#section-6.3-2" class="pilcrow">¶</a></p>
<p id="section-6.3-3">Endpoints are generally expected to have current and next receive packet
protection keys available. For a short period after a key update completes, up
to the PTO, endpoints <span class="bcp14">MAY</span> defer generation of the next set of
receive packet protection keys. This allows endpoints
to retain only two sets of receive keys; see <a href="#old-keys-recv" class="xref">Section 6.5</a>.<a href="#section-6.3-3" class="pilcrow">¶</a></p>
<p id="section-6.3-4">Once generated, the next set of packet protection keys <span class="bcp14">SHOULD</span> be retained, even
if the packet that was received was subsequently discarded. Packets containing
apparent key updates are easy to forge, and while the process of key update does
not require significant effort, triggering this process could be used by an
attacker for DoS.<a href="#section-6.3-4" class="pilcrow">¶</a></p>
<p id="section-6.3-5">For this reason, endpoints <span class="bcp14">MUST</span> be able to retain two sets of packet protection
keys for receiving packets: the current and the next. Retaining the previous
keys in addition to these might improve performance, but this is not essential.<a href="#section-6.3-5" class="pilcrow">¶</a></p>
</section>
</div>
<div id="old-keys-send">
<section id="section-6.4">
<h3 id="name-sending-with-updated-keys">
<a href="#section-6.4" class="section-number selfRef">6.4. </a><a href="#name-sending-with-updated-keys" class="section-name selfRef">Sending with Updated Keys</a>
</h3>
<p id="section-6.4-1">An endpoint never sends packets that are protected with old keys. Only the
current keys are used. Keys used for protecting packets can be discarded
immediately after switching to newer keys.<a href="#section-6.4-1" class="pilcrow">¶</a></p>
<p id="section-6.4-2">Packets with higher packet numbers <span class="bcp14">MUST</span> be protected with either the same or
newer packet protection keys than packets with lower packet numbers. An
endpoint that successfully removes protection with old keys when newer keys were
used for packets with lower packet numbers <span class="bcp14">MUST</span> treat this as a connection error
of type KEY_UPDATE_ERROR.<a href="#section-6.4-2" class="pilcrow">¶</a></p>
</section>
</div>
<div id="old-keys-recv">
<section id="section-6.5">
<h3 id="name-receiving-with-different-ke">
<a href="#section-6.5" class="section-number selfRef">6.5. </a><a href="#name-receiving-with-different-ke" class="section-name selfRef">Receiving with Different Keys</a>
</h3>
<p id="section-6.5-1">For receiving packets during a key update, packets protected with older keys
might arrive if they were delayed by the network. Retaining old packet
protection keys allows these packets to be successfully processed.<a href="#section-6.5-1" class="pilcrow">¶</a></p>
<p id="section-6.5-2">As packets protected with keys from the next key phase use the same Key Phase
value as those protected with keys from the previous key phase, it is necessary
to distinguish between the two if packets protected with old keys are to be
processed. This can be done using packet numbers. A recovered packet number
that is lower than any packet number from the current key phase uses the
previous packet protection keys; a recovered packet number that is higher than
any packet number from the current key phase requires the use of the next packet
protection keys.<a href="#section-6.5-2" class="pilcrow">¶</a></p>
<p id="section-6.5-3">Some care is necessary to ensure that any process for selecting between
previous, current, and next packet protection keys does not expose a timing side
channel that might reveal which keys were used to remove packet protection. See
<a href="#hp-side-channel" class="xref">Section 9.5</a> for more information.<a href="#section-6.5-3" class="pilcrow">¶</a></p>
<p id="section-6.5-4">Alternatively, endpoints can retain only two sets of packet protection keys,
swapping previous for next after enough time has passed to allow for reordering
in the network. In this case, the Key Phase bit alone can be used to select
keys.<a href="#section-6.5-4" class="pilcrow">¶</a></p>
<p id="section-6.5-5">An endpoint <span class="bcp14">MAY</span> allow a period of approximately the Probe Timeout (PTO; see
<span>[<a href="#QUIC-RECOVERY" class="xref">QUIC-RECOVERY</a>]</span>) after promoting the next set of receive keys to be current
before it creates the subsequent set of packet protection keys. These updated
keys <span class="bcp14">MAY</span> replace the previous keys at that time. With the caveat that PTO is a
subjective measure -- that is, a peer could have a different view of the RTT --
this time is expected to be long enough that any reordered packets would be
declared lost by a peer even if they were acknowledged and short enough to allow
a peer to initiate further key updates.<a href="#section-6.5-5" class="pilcrow">¶</a></p>
<p id="section-6.5-6">Endpoints need to allow for the possibility that a peer might not be able to
decrypt packets that initiate a key update during the period when the peer
retains old keys. Endpoints <span class="bcp14">SHOULD</span> wait three times the PTO before initiating a
key update after receiving an acknowledgment that confirms that the previous key
update was received. Failing to allow sufficient time could lead to packets
being discarded.<a href="#section-6.5-6" class="pilcrow">¶</a></p>
<p id="section-6.5-7">An endpoint <span class="bcp14">SHOULD</span> retain old read keys for no more than three times the PTO
after having received a packet protected using the new keys. After this period,
old read keys and their corresponding secrets <span class="bcp14">SHOULD</span> be discarded.<a href="#section-6.5-7" class="pilcrow">¶</a></p>
</section>
</div>
<div id="aead-limits">
<section id="section-6.6">
<h3 id="name-limits-on-aead-usage">
<a href="#section-6.6" class="section-number selfRef">6.6. </a><a href="#name-limits-on-aead-usage" class="section-name selfRef">Limits on AEAD Usage</a>
</h3>
<p id="section-6.6-1">This document sets usage limits for AEAD algorithms to ensure that overuse does
not give an adversary a disproportionate advantage in attacking the
confidentiality and integrity of communications when using QUIC.<a href="#section-6.6-1" class="pilcrow">¶</a></p>
<p id="section-6.6-2">The usage limits defined in TLS 1.3 exist for protection against attacks
on confidentiality and apply to successful applications of AEAD protection. The
integrity protections in authenticated encryption also depend on limiting the
number of attempts to forge packets. TLS achieves this by closing connections
after any record fails an authentication check. In comparison, QUIC ignores any
packet that cannot be authenticated, allowing multiple forgery attempts.<a href="#section-6.6-2" class="pilcrow">¶</a></p>
<p id="section-6.6-3">QUIC accounts for AEAD confidentiality and integrity limits separately. The
confidentiality limit applies to the number of packets encrypted with a given
key. The integrity limit applies to the number of packets decrypted within a
given connection. Details on enforcing these limits for each AEAD algorithm
follow below.<a href="#section-6.6-3" class="pilcrow">¶</a></p>
<p id="section-6.6-4">Endpoints <span class="bcp14">MUST</span> count the number of encrypted packets for each set of keys. If
the total number of encrypted packets with the same key exceeds the
confidentiality limit for the selected AEAD, the endpoint <span class="bcp14">MUST</span> stop using those
keys. Endpoints <span class="bcp14">MUST</span> initiate a key update before sending more protected packets
than the confidentiality limit for the selected AEAD permits. If a key update
is not possible or integrity limits are reached, the endpoint <span class="bcp14">MUST</span> stop using
the connection and only send stateless resets in response to receiving packets.
It is <span class="bcp14">RECOMMENDED</span> that endpoints immediately close the connection with a
connection error of type AEAD_LIMIT_REACHED before reaching a state where key
updates are not possible.<a href="#section-6.6-4" class="pilcrow">¶</a></p>
<p id="section-6.6-5">For AEAD_AES_128_GCM and AEAD_AES_256_GCM, the confidentiality limit is
2<sup>23</sup> encrypted packets; see <a href="#gcm-bounds" class="xref">Appendix B.1</a>. For
AEAD_CHACHA20_POLY1305, the confidentiality limit is greater than the number of
possible packets (2<sup>62</sup>) and so can be disregarded. For
AEAD_AES_128_CCM, the confidentiality limit is 2<sup>21.5</sup> encrypted
packets; see <a href="#ccm-bounds" class="xref">Appendix B.2</a>. Applying a limit reduces the probability that an
attacker can distinguish the AEAD in use from a random permutation; see
<span>[<a href="#AEBounds" class="xref">AEBounds</a>]</span>, <span>[<a href="#ROBUST" class="xref">ROBUST</a>]</span>, and <span>[<a href="#GCM-MU" class="xref">GCM-MU</a>]</span>.<a href="#section-6.6-5" class="pilcrow">¶</a></p>
<p id="section-6.6-6">In addition to counting packets sent, endpoints <span class="bcp14">MUST</span> count the number of
received packets that fail authentication during the lifetime of a connection.
If the total number of received packets that fail authentication within the
connection, across all keys, exceeds the integrity limit for the selected AEAD,
the endpoint <span class="bcp14">MUST</span> immediately close the connection with a connection error of
type AEAD_LIMIT_REACHED and not process any more packets.<a href="#section-6.6-6" class="pilcrow">¶</a></p>
<p id="section-6.6-7">For AEAD_AES_128_GCM and AEAD_AES_256_GCM, the integrity limit is 2<sup>52</sup>
invalid packets; see <a href="#gcm-bounds" class="xref">Appendix B.1</a>. For AEAD_CHACHA20_POLY1305, the integrity
limit is 2<sup>36</sup> invalid packets; see <span>[<a href="#AEBounds" class="xref">AEBounds</a>]</span>. For AEAD_AES_128_CCM,
the integrity limit is 2<sup>21.5</sup> invalid packets; see
<a href="#ccm-bounds" class="xref">Appendix B.2</a>. Applying this limit reduces the probability that an attacker can
successfully forge a packet; see <span>[<a href="#AEBounds" class="xref">AEBounds</a>]</span>, <span>[<a href="#ROBUST" class="xref">ROBUST</a>]</span>, and <span>[<a href="#GCM-MU" class="xref">GCM-MU</a>]</span>.<a href="#section-6.6-7" class="pilcrow">¶</a></p>
<p id="section-6.6-8">Endpoints that limit the size of packets <span class="bcp14">MAY</span> use higher confidentiality and
integrity limits; see <a href="#aead-analysis" class="xref">Appendix B</a> for details.<a href="#section-6.6-8" class="pilcrow">¶</a></p>
<p id="section-6.6-9">Future analyses and specifications <span class="bcp14">MAY</span> relax confidentiality or integrity limits
for an AEAD.<a href="#section-6.6-9" class="pilcrow">¶</a></p>
<p id="section-6.6-10">Any TLS cipher suite that is specified for use with QUIC <span class="bcp14">MUST</span> define limits on
the use of the associated AEAD function that preserves margins for
confidentiality and integrity. That is, limits <span class="bcp14">MUST</span> be specified for the number
of packets that can be authenticated and for the number of packets that can fail
authentication. Providing a reference to any analysis upon which values are
based -- and any assumptions used in that analysis -- allows limits to be
adapted to varying usage conditions.<a href="#section-6.6-10" class="pilcrow">¶</a></p>
</section>
</div>
<div id="key-update-error">
<section id="section-6.7">
<h3 id="name-key-update-error-code">
<a href="#section-6.7" class="section-number selfRef">6.7. </a><a href="#name-key-update-error-code" class="section-name selfRef">Key Update Error Code</a>
</h3>
<p id="section-6.7-1">The KEY_UPDATE_ERROR error code (0x0e) is used to signal errors related to key
updates.<a href="#section-6.7-1" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
<div id="security-of-initial-messages">
<section id="section-7">
<h2 id="name-security-of-initial-message">
<a href="#section-7" class="section-number selfRef">7. </a><a href="#name-security-of-initial-message" class="section-name selfRef">Security of Initial Messages</a>
</h2>
<p id="section-7-1">Initial packets are not protected with a secret key, so they are subject to
potential tampering by an attacker. QUIC provides protection against attackers
that cannot read packets but does not attempt to provide additional protection
against attacks where the attacker can observe and inject packets. Some forms
of tampering -- such as modifying the TLS messages themselves -- are detectable,
but some -- such as modifying ACKs -- are not.<a href="#section-7-1" class="pilcrow">¶</a></p>
<p id="section-7-2">For example, an attacker could inject a packet containing an ACK frame to
make it appear that a packet had not been received or to create a false
impression of the state of the connection (e.g., by modifying the ACK Delay).
Note that such a packet could cause a legitimate packet to be dropped as a
duplicate. Implementations <span class="bcp14">SHOULD</span> use caution in relying on any data that is
contained in Initial packets that is not otherwise authenticated.<a href="#section-7-2" class="pilcrow">¶</a></p>
<p id="section-7-3">It is also possible for the attacker to tamper with data that is carried in
Handshake packets, but because that sort of tampering requires modifying TLS
handshake messages, any such tampering will cause the TLS handshake to fail.<a href="#section-7-3" class="pilcrow">¶</a></p>
</section>
</div>
<div id="quic-specific-adjustments-to-the-tls-handshake">
<section id="section-8">
<h2 id="name-quic-specific-adjustments-t">
<a href="#section-8" class="section-number selfRef">8. </a><a href="#name-quic-specific-adjustments-t" class="section-name selfRef">QUIC-Specific Adjustments to the TLS Handshake</a>
</h2>
<p id="section-8-1">Certain aspects of the TLS handshake are different when used with QUIC.<a href="#section-8-1" class="pilcrow">¶</a></p>
<p id="section-8-2">QUIC also requires additional features from TLS. In addition to negotiation of
cryptographic parameters, the TLS handshake carries and authenticates values for
QUIC transport parameters.<a href="#section-8-2" class="pilcrow">¶</a></p>
<div id="protocol-negotiation">
<section id="section-8.1">
<h3 id="name-protocol-negotiation">
<a href="#section-8.1" class="section-number selfRef">8.1. </a><a href="#name-protocol-negotiation" class="section-name selfRef">Protocol Negotiation</a>
</h3>
<p id="section-8.1-1">QUIC requires that the cryptographic handshake provide authenticated protocol
negotiation. TLS uses Application-Layer Protocol Negotiation
<span>[<a href="#ALPN" class="xref">ALPN</a>]</span> to select an application protocol. Unless another mechanism
is used for agreeing on an application protocol, endpoints <span class="bcp14">MUST</span> use ALPN for
this purpose.<a href="#section-8.1-1" class="pilcrow">¶</a></p>
<p id="section-8.1-2">When using ALPN, endpoints <span class="bcp14">MUST</span> immediately close a connection (see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-10.2" class="relref">Section 10.2</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>) with a no_application_protocol TLS alert (QUIC error
code 0x0178; see <a href="#tls-errors" class="xref">Section 4.8</a>) if an application protocol is not negotiated.
While <span>[<a href="#ALPN" class="xref">ALPN</a>]</span> only specifies that servers use this alert, QUIC clients <span class="bcp14">MUST</span>
use error 0x0178 to terminate a connection when ALPN negotiation fails.<a href="#section-8.1-2" class="pilcrow">¶</a></p>
<p id="section-8.1-3">An application protocol <span class="bcp14">MAY</span> restrict the QUIC versions that it can operate over.
Servers <span class="bcp14">MUST</span> select an application protocol compatible with the QUIC version
that the client has selected. The server <span class="bcp14">MUST</span> treat the inability to select a
compatible application protocol as a connection error of type 0x0178
(no_application_protocol). Similarly, a client <span class="bcp14">MUST</span> treat the selection of an
incompatible application protocol by a server as a connection error of type
0x0178.<a href="#section-8.1-3" class="pilcrow">¶</a></p>
</section>
</div>
<div id="quic_parameters">
<section id="section-8.2">
<h3 id="name-quic-transport-parameters-e">
<a href="#section-8.2" class="section-number selfRef">8.2. </a><a href="#name-quic-transport-parameters-e" class="section-name selfRef">QUIC Transport Parameters Extension</a>
</h3>
<p id="section-8.2-1">QUIC transport parameters are carried in a TLS extension. Different versions of
QUIC might define a different method for negotiating transport configuration.<a href="#section-8.2-1" class="pilcrow">¶</a></p>
<p id="section-8.2-2">Including transport parameters in the TLS handshake provides integrity
protection for these values.<a href="#section-8.2-2" class="pilcrow">¶</a></p>
<div id="section-8.2-3">
<pre class="sourcecode lang-tls-presentation">
enum {
quic_transport_parameters(0x39), (65535)
} ExtensionType;
</pre><a href="#section-8.2-3" class="pilcrow">¶</a>
</div>
<p id="section-8.2-4">The extension_data field of the quic_transport_parameters extension contains a
value that is defined by the version of QUIC that is in use.<a href="#section-8.2-4" class="pilcrow">¶</a></p>
<p id="section-8.2-5">The quic_transport_parameters extension is carried in the ClientHello and the
EncryptedExtensions messages during the handshake. Endpoints <span class="bcp14">MUST</span> send the
quic_transport_parameters extension; endpoints that receive ClientHello or
EncryptedExtensions messages without the quic_transport_parameters extension
<span class="bcp14">MUST</span> close the connection with an error of type 0x016d (equivalent to a fatal
TLS missing_extension alert, see <a href="#tls-errors" class="xref">Section 4.8</a>).<a href="#section-8.2-5" class="pilcrow">¶</a></p>
<p id="section-8.2-6">Transport parameters become available prior to the completion of the handshake.
A server might use these values earlier than handshake completion. However, the
value of transport parameters is not authenticated until the handshake
completes, so any use of these parameters cannot depend on their authenticity.
Any tampering with transport parameters will cause the handshake to fail.<a href="#section-8.2-6" class="pilcrow">¶</a></p>
<p id="section-8.2-7">Endpoints <span class="bcp14">MUST NOT</span> send this extension in a TLS connection that does not use
QUIC (such as the use of TLS with TCP defined in <span>[<a href="#TLS13" class="xref">TLS13</a>]</span>). A fatal
unsupported_extension alert <span class="bcp14">MUST</span> be sent by an implementation that supports this
extension if the extension is received when the transport is not QUIC.<a href="#section-8.2-7" class="pilcrow">¶</a></p>
<p id="section-8.2-8">Negotiating the quic_transport_parameters extension causes the EndOfEarlyData to
be removed; see <a href="#remove-eoed" class="xref">Section 8.3</a>.<a href="#section-8.2-8" class="pilcrow">¶</a></p>
</section>
</div>
<div id="remove-eoed">
<section id="section-8.3">
<h3 id="name-removing-the-endofearlydata">
<a href="#section-8.3" class="section-number selfRef">8.3. </a><a href="#name-removing-the-endofearlydata" class="section-name selfRef">Removing the EndOfEarlyData Message</a>
</h3>
<p id="section-8.3-1">The TLS EndOfEarlyData message is not used with QUIC. QUIC does not rely on
this message to mark the end of 0-RTT data or to signal the change to Handshake
keys.<a href="#section-8.3-1" class="pilcrow">¶</a></p>
<p id="section-8.3-2">Clients <span class="bcp14">MUST NOT</span> send the EndOfEarlyData message. A server <span class="bcp14">MUST</span> treat receipt
of a CRYPTO frame in a 0-RTT packet as a connection error of type
PROTOCOL_VIOLATION.<a href="#section-8.3-2" class="pilcrow">¶</a></p>
<p id="section-8.3-3">As a result, EndOfEarlyData does not appear in the TLS handshake transcript.<a href="#section-8.3-3" class="pilcrow">¶</a></p>
</section>
</div>
<div id="compat-mode">
<section id="section-8.4">
<h3 id="name-prohibit-tls-middlebox-comp">
<a href="#section-8.4" class="section-number selfRef">8.4. </a><a href="#name-prohibit-tls-middlebox-comp" class="section-name selfRef">Prohibit TLS Middlebox Compatibility Mode</a>
</h3>
<p id="section-8.4-1">Appendix D.4 of <span>[<a href="#TLS13" class="xref">TLS13</a>]</span> describes an alteration to the TLS 1.3 handshake as
a workaround for bugs in some middleboxes. The TLS 1.3 middlebox compatibility
mode involves setting the legacy_session_id field to a 32-byte value in the
ClientHello and ServerHello, then sending a change_cipher_spec record. Both
field and record carry no semantic content and are ignored.<a href="#section-8.4-1" class="pilcrow">¶</a></p>
<p id="section-8.4-2">This mode has no use in QUIC as it only applies to middleboxes that interfere
with TLS over TCP. QUIC also provides no means to carry a change_cipher_spec
record. A client <span class="bcp14">MUST NOT</span> request the use of the TLS 1.3 compatibility mode. A
server <span class="bcp14">SHOULD</span> treat the receipt of a TLS ClientHello with a non-empty
legacy_session_id field as a connection error of type PROTOCOL_VIOLATION.<a href="#section-8.4-2" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
<div id="security-considerations">
<section id="section-9">
<h2 id="name-security-considerations">
<a href="#section-9" class="section-number selfRef">9. </a><a href="#name-security-considerations" class="section-name selfRef">Security Considerations</a>
</h2>
<p id="section-9-1">All of the security considerations that apply to TLS also apply to the use of
TLS in QUIC. Reading all of <span>[<a href="#TLS13" class="xref">TLS13</a>]</span> and its appendices is the best way to
gain an understanding of the security properties of QUIC.<a href="#section-9-1" class="pilcrow">¶</a></p>
<p id="section-9-2">This section summarizes some of the more important security aspects specific to
the TLS integration, though there are many security-relevant details in the
remainder of the document.<a href="#section-9-2" class="pilcrow">¶</a></p>
<div id="session-linkability">
<section id="section-9.1">
<h3 id="name-session-linkability">
<a href="#section-9.1" class="section-number selfRef">9.1. </a><a href="#name-session-linkability" class="section-name selfRef">Session Linkability</a>
</h3>
<p id="section-9.1-1">Use of TLS session tickets allows servers and possibly other entities to
correlate connections made by the same client; see <a href="#resumption" class="xref">Section 4.5</a> for details.<a href="#section-9.1-1" class="pilcrow">¶</a></p>
</section>
</div>
<div id="replay">
<section id="section-9.2">
<h3 id="name-replay-attacks-with-0-rtt">
<a href="#section-9.2" class="section-number selfRef">9.2. </a><a href="#name-replay-attacks-with-0-rtt" class="section-name selfRef">Replay Attacks with 0-RTT</a>
</h3>
<p id="section-9.2-1">As described in <span><a href="https://www.rfc-editor.org/rfc/rfc8446#section-8" class="relref">Section 8</a> of [<a href="#TLS13" class="xref">TLS13</a>]</span>, use of TLS early data comes with an
exposure to replay attack. The use of 0-RTT in QUIC is similarly vulnerable to
replay attack.<a href="#section-9.2-1" class="pilcrow">¶</a></p>
<p id="section-9.2-2">Endpoints <span class="bcp14">MUST</span> implement and use the replay protections described in <span>[<a href="#TLS13" class="xref">TLS13</a>]</span>,
however it is recognized that these protections are imperfect. Therefore,
additional consideration of the risk of replay is needed.<a href="#section-9.2-2" class="pilcrow">¶</a></p>
<p id="section-9.2-3">QUIC is not vulnerable to replay attack, except via the application protocol
information it might carry. The management of QUIC protocol state based on the
frame types defined in <span>[<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span> is not vulnerable to replay.
Processing of QUIC frames is idempotent and cannot result in invalid connection
states if frames are replayed, reordered, or lost. QUIC connections do not
produce effects that last beyond the lifetime of the connection, except for
those produced by the application protocol that QUIC serves.<a href="#section-9.2-3" class="pilcrow">¶</a></p>
<p id="section-9.2-4">TLS session tickets and address validation tokens are used to carry QUIC
configuration information between connections, specifically, to enable a server
to efficiently recover state that is used in connection establishment and
address validation. These <span class="bcp14">MUST NOT</span> be used to communicate application semantics
between endpoints; clients <span class="bcp14">MUST</span> treat them as opaque values. The potential for
reuse of these tokens means that they require stronger protections against
replay.<a href="#section-9.2-4" class="pilcrow">¶</a></p>
<p id="section-9.2-5">A server that accepts 0-RTT on a connection incurs a higher cost than accepting
a connection without 0-RTT. This includes higher processing and computation
costs. Servers need to consider the probability of replay and all associated
costs when accepting 0-RTT.<a href="#section-9.2-5" class="pilcrow">¶</a></p>
<p id="section-9.2-6">Ultimately, the responsibility for managing the risks of replay attacks with
0-RTT lies with an application protocol. An application protocol that uses QUIC
<span class="bcp14">MUST</span> describe how the protocol uses 0-RTT and the measures that are employed to
protect against replay attack. An analysis of replay risk needs to consider
all QUIC protocol features that carry application semantics.<a href="#section-9.2-6" class="pilcrow">¶</a></p>
<p id="section-9.2-7">Disabling 0-RTT entirely is the most effective defense against replay attack.<a href="#section-9.2-7" class="pilcrow">¶</a></p>
<p id="section-9.2-8">QUIC extensions <span class="bcp14">MUST</span> either describe how replay attacks affect their operation
or prohibit the use of the extension in 0-RTT. Application protocols <span class="bcp14">MUST</span>
either prohibit the use of extensions that carry application semantics in 0-RTT
or provide replay mitigation strategies.<a href="#section-9.2-8" class="pilcrow">¶</a></p>
</section>
</div>
<div id="reflection">
<section id="section-9.3">
<h3 id="name-packet-reflection-attack-mi">
<a href="#section-9.3" class="section-number selfRef">9.3. </a><a href="#name-packet-reflection-attack-mi" class="section-name selfRef">Packet Reflection Attack Mitigation</a>
</h3>
<p id="section-9.3-1">A small ClientHello that results in a large block of handshake messages from a
server can be used in packet reflection attacks to amplify the traffic generated
by an attacker.<a href="#section-9.3-1" class="pilcrow">¶</a></p>
<p id="section-9.3-2">QUIC includes three defenses against this attack. First, the packet containing
a ClientHello <span class="bcp14">MUST</span> be padded to a minimum size. Second, if responding to an
unverified source address, the server is forbidden to send more than three
times as many bytes as the number of bytes it has received (see <span><a href="https://www.rfc-editor.org/rfc/rfc9000#section-8.1" class="relref">Section 8.1</a> of [<a href="#QUIC-TRANSPORT" class="xref">QUIC-TRANSPORT</a>]</span>). Finally, because acknowledgments of Handshake packets are
authenticated, a blind attacker cannot forge them. Put together, these defenses
limit the level of amplification.<a href="#section-9.3-2" class="pilcrow">¶</a></p>
</section>
</div>
<div id="header-protect-analysis">
<section id="section-9.4">
<h3 id="name-header-protection-analysis">
<a href="#section-9.4" class="section-number selfRef">9.4. </a><a href="#name-header-protection-analysis" class="section-name selfRef">Header Protection Analysis</a>
</h3>
<p id="section-9.4-1"><span>[<a href="#NAN" class="xref">NAN</a>]</span> analyzes authenticated encryption
algorithms that provide nonce privacy, referred to as "Hide Nonce" (HN)
transforms. The general header protection construction in this document is
one of those algorithms (HN1). Header protection is applied after the packet
protection AEAD, sampling a set of bytes (<code>sample</code>) from the AEAD output and
encrypting the header field using a pseudorandom function (PRF) as follows:<a href="#section-9.4-1" class="pilcrow">¶</a></p>
<div id="section-9.4-2">
<pre class="sourcecode lang-pseudocode">
protected_field = field XOR PRF(hp_key, sample)
</pre><a href="#section-9.4-2" class="pilcrow">¶</a>
</div>
<p id="section-9.4-3">The header protection variants in this document use a pseudorandom permutation
(PRP) in place of a generic PRF. However, since all PRPs are also PRFs <span>[<a href="#IMC" class="xref">IMC</a>]</span>,
these variants do not deviate from the HN1 construction.<a href="#section-9.4-3" class="pilcrow">¶</a></p>
<p id="section-9.4-4">As <code>hp_key</code> is distinct from the packet protection key, it follows that header
protection achieves AE2 security as defined in <span>[<a href="#NAN" class="xref">NAN</a>]</span> and therefore guarantees
privacy of <code>field</code>, the protected packet header. Future header protection
variants based on this construction <span class="bcp14">MUST</span> use a PRF to ensure equivalent
security guarantees.<a href="#section-9.4-4" class="pilcrow">¶</a></p>
<p id="section-9.4-5">Use of the same key and ciphertext sample more than once risks compromising
header protection. Protecting two different headers with the same key and
ciphertext sample reveals the exclusive OR of the protected fields. Assuming
that the AEAD acts as a PRF, if L bits are sampled, the odds of two ciphertext
samples being identical approach 2<sup>-L/2</sup>, that is, the birthday bound.
For the algorithms described in this document, that probability is one in
2<sup>64</sup>.<a href="#section-9.4-5" class="pilcrow">¶</a></p>
<p id="section-9.4-6">To prevent an attacker from modifying packet headers, the header is transitively
authenticated using packet protection; the entire packet header is part of the
authenticated additional data. Protected fields that are falsified or modified
can only be detected once the packet protection is removed.<a href="#section-9.4-6" class="pilcrow">¶</a></p>
</section>
</div>
<div id="hp-side-channel">
<section id="section-9.5">
<h3 id="name-header-protection-timing-si">
<a href="#section-9.5" class="section-number selfRef">9.5. </a><a href="#name-header-protection-timing-si" class="section-name selfRef">Header Protection Timing Side Channels</a>
</h3>
<p id="section-9.5-1">An attacker could guess values for packet numbers or Key Phase and have an
endpoint confirm guesses through timing side channels. Similarly, guesses for
the packet number length can be tried and exposed. If the recipient of a packet
discards packets with duplicate packet numbers without attempting to remove
packet protection, they could reveal through timing side channels that the
packet number matches a received packet. For authentication to be free from
side channels, the entire process of header protection removal, packet number
recovery, and packet protection removal <span class="bcp14">MUST</span> be applied together without timing
and other side channels.<a href="#section-9.5-1" class="pilcrow">¶</a></p>
<p id="section-9.5-2">For the sending of packets, construction and protection of packet payloads and
packet numbers <span class="bcp14">MUST</span> be free from side channels that would reveal the packet
number or its encoded size.<a href="#section-9.5-2" class="pilcrow">¶</a></p>
<p id="section-9.5-3">During a key update, the time taken to generate new keys could reveal through
timing side channels that a key update has occurred. Alternatively, where an
attacker injects packets, this side channel could reveal the value of the Key
Phase on injected packets. After receiving a key update, an endpoint <span class="bcp14">SHOULD</span>
generate and save the next set of receive packet protection keys, as described
in <a href="#receive-key-generation" class="xref">Section 6.3</a>. By generating new keys before a key update is
received, receipt of packets will not create timing signals that leak the value
of the Key Phase.<a href="#section-9.5-3" class="pilcrow">¶</a></p>
<p id="section-9.5-4">This depends on not doing this key generation during packet processing, and it
can require that endpoints maintain three sets of packet protection keys for
receiving: for the previous key phase, for the current key phase, and for the
next key phase. Endpoints can instead choose to defer generation of the next
receive packet protection keys until they discard old keys so that only two sets
of receive keys need to be retained at any point in time.<a href="#section-9.5-4" class="pilcrow">¶</a></p>
</section>
</div>
<div id="key-diversity">
<section id="section-9.6">
<h3 id="name-key-diversity">
<a href="#section-9.6" class="section-number selfRef">9.6. </a><a href="#name-key-diversity" class="section-name selfRef">Key Diversity</a>
</h3>
<p id="section-9.6-1">In using TLS, the central key schedule of TLS is used. As a result of the TLS
handshake messages being integrated into the calculation of secrets, the
inclusion of the QUIC transport parameters extension ensures that the handshake
and 1-RTT keys are not the same as those that might be produced by a server
running TLS over TCP. To avoid the possibility of cross-protocol key
synchronization, additional measures are provided to improve key separation.<a href="#section-9.6-1" class="pilcrow">¶</a></p>
<p id="section-9.6-2">The QUIC packet protection keys and IVs are derived using a different label than
the equivalent keys in TLS.<a href="#section-9.6-2" class="pilcrow">¶</a></p>
<p id="section-9.6-3">To preserve this separation, a new version of QUIC <span class="bcp14">SHOULD</span> define new labels for
key derivation for packet protection key and IV, plus the header protection
keys. This version of QUIC uses the string "quic". Other versions can use a
version-specific label in place of that string.<a href="#section-9.6-3" class="pilcrow">¶</a></p>
<p id="section-9.6-4">The initial secrets use a key that is specific to the negotiated QUIC version.
New QUIC versions <span class="bcp14">SHOULD</span> define a new salt value used in calculating initial
secrets.<a href="#section-9.6-4" class="pilcrow">¶</a></p>
</section>
</div>
<div id="randomness">
<section id="section-9.7">
<h3 id="name-randomness">
<a href="#section-9.7" class="section-number selfRef">9.7. </a><a href="#name-randomness" class="section-name selfRef">Randomness</a>
</h3>
<p id="section-9.7-1">QUIC depends on endpoints being able to generate secure random numbers, both
directly for protocol values such as the connection ID, and transitively via
TLS. See <span>[<a href="#RFC4086" class="xref">RFC4086</a>]</span> for guidance on secure random number generation.<a href="#section-9.7-1" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
<div id="iana-considerations">
<section id="section-10">
<h2 id="name-iana-considerations">
<a href="#section-10" class="section-number selfRef">10. </a><a href="#name-iana-considerations" class="section-name selfRef">IANA Considerations</a>
</h2>
<p id="section-10-1">IANA has registered a codepoint of 57 (or 0x39) for the
quic_transport_parameters extension (defined in <a href="#quic_parameters" class="xref">Section 8.2</a>) in the "TLS
ExtensionType Values" registry <span>[<a href="#TLS-REGISTRIES" class="xref">TLS-REGISTRIES</a>]</span>.<a href="#section-10-1" class="pilcrow">¶</a></p>
<p id="section-10-2">The Recommended column for this extension is marked Yes. The TLS 1.3 Column
includes CH (ClientHello) and EE (EncryptedExtensions).<a href="#section-10-2" class="pilcrow">¶</a></p>
<span id="name-tls-extensiontype-values-re"></span><div id="iana-tls-ext">
<table class="center" id="table-2">
<caption>
<a href="#table-2" class="selfRef">Table 2</a>:
<a href="#name-tls-extensiontype-values-re" class="selfRef">TLS ExtensionType Values Registry Entry</a>
</caption>
<thead>
<tr>
<th class="text-right" rowspan="1" colspan="1">Value</th>
<th class="text-left" rowspan="1" colspan="1">Extension Name</th>
<th class="text-left" rowspan="1" colspan="1">TLS 1.3</th>
<th class="text-left" rowspan="1" colspan="1">Recommended</th>
<th class="text-left" rowspan="1" colspan="1">Reference</th>
</tr>
</thead>
<tbody>
<tr>
<td class="text-right" rowspan="1" colspan="1">57</td>
<td class="text-left" rowspan="1" colspan="1">quic_transport_parameters</td>
<td class="text-left" rowspan="1" colspan="1">CH, EE</td>
<td class="text-left" rowspan="1" colspan="1">Y</td>
<td class="text-left" rowspan="1" colspan="1">This document</td>
</tr>
</tbody>
</table>
</div>
</section>
</div>
<section id="section-11">
<h2 id="name-references">
<a href="#section-11" class="section-number selfRef">11. </a><a href="#name-references" class="section-name selfRef">References</a>
</h2>
<section id="section-11.1">
<h3 id="name-normative-references">
<a href="#section-11.1" class="section-number selfRef">11.1. </a><a href="#name-normative-references" class="section-name selfRef">Normative References</a>
</h3>
<dl class="references">
<dt id="AEAD">[AEAD]</dt>
<dd>
<span class="refAuthor">McGrew, D.</span>, <span class="refTitle">"An Interface and Algorithms for Authenticated Encryption"</span>, <span class="seriesInfo">RFC 5116</span>, <span class="seriesInfo">DOI 10.17487/RFC5116</span>, <time datetime="2008-01" class="refDate">January 2008</time>, <span><<a href="https://www.rfc-editor.org/info/rfc5116">https://www.rfc-editor.org/info/rfc5116</a>></span>. </dd>
<dd class="break"></dd>
<dt id="AES">[AES]</dt>
<dd>
<span class="refTitle">"Advanced encryption standard (AES)"</span>, <span class="seriesInfo">National Institute of Standards and Technology report</span>, <span class="seriesInfo">DOI 10.6028/nist.fips.197</span>, <time datetime="2001-11" class="refDate">November 2001</time>, <span><<a href="https://doi.org/10.6028/nist.fips.197">https://doi.org/10.6028/nist.fips.197</a>></span>. </dd>
<dd class="break"></dd>
<dt id="ALPN">[ALPN]</dt>
<dd>
<span class="refAuthor">Friedl, S.</span>, <span class="refAuthor">Popov, A.</span>, <span class="refAuthor">Langley, A.</span>, and <span class="refAuthor">E. Stephan</span>, <span class="refTitle">"Transport Layer Security (TLS) Application-Layer Protocol Negotiation Extension"</span>, <span class="seriesInfo">RFC 7301</span>, <span class="seriesInfo">DOI 10.17487/RFC7301</span>, <time datetime="2014-07" class="refDate">July 2014</time>, <span><<a href="https://www.rfc-editor.org/info/rfc7301">https://www.rfc-editor.org/info/rfc7301</a>></span>. </dd>
<dd class="break"></dd>
<dt id="CHACHA">[CHACHA]</dt>
<dd>
<span class="refAuthor">Nir, Y.</span> and <span class="refAuthor">A. Langley</span>, <span class="refTitle">"ChaCha20 and Poly1305 for IETF Protocols"</span>, <span class="seriesInfo">RFC 8439</span>, <span class="seriesInfo">DOI 10.17487/RFC8439</span>, <time datetime="2018-06" class="refDate">June 2018</time>, <span><<a href="https://www.rfc-editor.org/info/rfc8439">https://www.rfc-editor.org/info/rfc8439</a>></span>. </dd>
<dd class="break"></dd>
<dt id="HKDF">[HKDF]</dt>
<dd>
<span class="refAuthor">Krawczyk, H.</span> and <span class="refAuthor">P. Eronen</span>, <span class="refTitle">"HMAC-based Extract-and-Expand Key Derivation Function (HKDF)"</span>, <span class="seriesInfo">RFC 5869</span>, <span class="seriesInfo">DOI 10.17487/RFC5869</span>, <time datetime="2010-05" class="refDate">May 2010</time>, <span><<a href="https://www.rfc-editor.org/info/rfc5869">https://www.rfc-editor.org/info/rfc5869</a>></span>. </dd>
<dd class="break"></dd>
<dt id="QUIC-RECOVERY">[QUIC-RECOVERY]</dt>
<dd>
<span class="refAuthor">Iyengar, J., Ed.</span> and <span class="refAuthor">I. Swett, Ed.</span>, <span class="refTitle">"QUIC Loss Detection and Congestion Control"</span>, <span class="seriesInfo">RFC 9002</span>, <span class="seriesInfo">DOI 10.17487/RFC9002</span>, <time datetime="2021-05" class="refDate">May 2021</time>, <span><<a href="https://www.rfc-editor.org/info/rfc9002">https://www.rfc-editor.org/info/rfc9002</a>></span>. </dd>
<dd class="break"></dd>
<dt id="QUIC-TRANSPORT">[QUIC-TRANSPORT]</dt>
<dd>
<span class="refAuthor">Iyengar, J., Ed.</span> and <span class="refAuthor">M. Thomson, Ed.</span>, <span class="refTitle">"QUIC: A UDP-Based Multiplexed and Secure Transport"</span>, <span class="seriesInfo">RFC 9000</span>, <span class="seriesInfo">DOI 10.17487/RFC9000</span>, <time datetime="2021-05" class="refDate">May 2021</time>, <span><<a href="https://www.rfc-editor.org/info/rfc9000">https://www.rfc-editor.org/info/rfc9000</a>></span>. </dd>
<dd class="break"></dd>
<dt id="RFC2119">[RFC2119]</dt>
<dd>
<span class="refAuthor">Bradner, S.</span>, <span class="refTitle">"Key words for use in RFCs to Indicate Requirement Levels"</span>, <span class="seriesInfo">BCP 14</span>, <span class="seriesInfo">RFC 2119</span>, <span class="seriesInfo">DOI 10.17487/RFC2119</span>, <time datetime="1997-03" class="refDate">March 1997</time>, <span><<a href="https://www.rfc-editor.org/info/rfc2119">https://www.rfc-editor.org/info/rfc2119</a>></span>. </dd>
<dd class="break"></dd>
<dt id="RFC4086">[RFC4086]</dt>
<dd>
<span class="refAuthor">Eastlake 3rd, D.</span>, <span class="refAuthor">Schiller, J.</span>, and <span class="refAuthor">S. Crocker</span>, <span class="refTitle">"Randomness Requirements for Security"</span>, <span class="seriesInfo">BCP 106</span>, <span class="seriesInfo">RFC 4086</span>, <span class="seriesInfo">DOI 10.17487/RFC4086</span>, <time datetime="2005-06" class="refDate">June 2005</time>, <span><<a href="https://www.rfc-editor.org/info/rfc4086">https://www.rfc-editor.org/info/rfc4086</a>></span>. </dd>
<dd class="break"></dd>
<dt id="RFC8174">[RFC8174]</dt>
<dd>
<span class="refAuthor">Leiba, B.</span>, <span class="refTitle">"Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words"</span>, <span class="seriesInfo">BCP 14</span>, <span class="seriesInfo">RFC 8174</span>, <span class="seriesInfo">DOI 10.17487/RFC8174</span>, <time datetime="2017-05" class="refDate">May 2017</time>, <span><<a href="https://www.rfc-editor.org/info/rfc8174">https://www.rfc-editor.org/info/rfc8174</a>></span>. </dd>
<dd class="break"></dd>
<dt id="SHA">[SHA]</dt>
<dd>
<span class="refAuthor">Dang, Q.</span>, <span class="refTitle">"Secure Hash Standard"</span>, <span class="seriesInfo">National Institute of Standards and Technology report</span>, <span class="seriesInfo">DOI 10.6028/nist.fips.180-4</span>, <time datetime="2015-07" class="refDate">July 2015</time>, <span><<a href="https://doi.org/10.6028/nist.fips.180-4">https://doi.org/10.6028/nist.fips.180-4</a>></span>. </dd>
<dd class="break"></dd>
<dt id="TLS-REGISTRIES">[TLS-REGISTRIES]</dt>
<dd>
<span class="refAuthor">Salowey, J.</span> and <span class="refAuthor">S. Turner</span>, <span class="refTitle">"IANA Registry Updates for TLS and DTLS"</span>, <span class="seriesInfo">RFC 8447</span>, <span class="seriesInfo">DOI 10.17487/RFC8447</span>, <time datetime="2018-08" class="refDate">August 2018</time>, <span><<a href="https://www.rfc-editor.org/info/rfc8447">https://www.rfc-editor.org/info/rfc8447</a>></span>. </dd>
<dd class="break"></dd>
<dt id="TLS13">[TLS13]</dt>
<dd>
<span class="refAuthor">Rescorla, E.</span>, <span class="refTitle">"The Transport Layer Security (TLS) Protocol Version 1.3"</span>, <span class="seriesInfo">RFC 8446</span>, <span class="seriesInfo">DOI 10.17487/RFC8446</span>, <time datetime="2018-08" class="refDate">August 2018</time>, <span><<a href="https://www.rfc-editor.org/info/rfc8446">https://www.rfc-editor.org/info/rfc8446</a>></span>. </dd>
<dd class="break"></dd>
</dl>
</section>
<section id="section-11.2">
<h3 id="name-informative-references">
<a href="#section-11.2" class="section-number selfRef">11.2. </a><a href="#name-informative-references" class="section-name selfRef">Informative References</a>
</h3>
<dl class="references">
<dt id="AEBounds">[AEBounds]</dt>
<dd>
<span class="refAuthor">Luykx, A.</span> and <span class="refAuthor">K. Paterson</span>, <span class="refTitle">"Limits on Authenticated Encryption Use in TLS"</span>, <time datetime="2017-08-28" class="refDate">28 August 2017</time>, <span><<a href="https://www.isg.rhul.ac.uk/~kp/TLS-AEbounds.pdf">https://www.isg.rhul.ac.uk/~kp/TLS-AEbounds.pdf</a>></span>. </dd>
<dd class="break"></dd>
<dt id="ASCII">[ASCII]</dt>
<dd>
<span class="refAuthor">Cerf, V.</span>, <span class="refTitle">"ASCII format for network interchange"</span>, <span class="seriesInfo">STD 80</span>, <span class="seriesInfo">RFC 20</span>, <span class="seriesInfo">DOI 10.17487/RFC0020</span>, <time datetime="1969-10" class="refDate">October 1969</time>, <span><<a href="https://www.rfc-editor.org/info/rfc20">https://www.rfc-editor.org/info/rfc20</a>></span>. </dd>
<dd class="break"></dd>
<dt id="CCM-ANALYSIS">[CCM-ANALYSIS]</dt>
<dd>
<span class="refAuthor">Jonsson, J.</span>, <span class="refTitle">"On the Security of CTR + CBC-MAC"</span>, <span class="refContent">Selected Areas in Cryptography</span>, <span class="refContent">SAC 2002</span>, <span class="refContent">Lecture Notes in Computer Science, vol 2595</span>, <span class="refContent">pp. 76-93</span>, <span class="seriesInfo">DOI 10.1007/3-540-36492-7_7</span>, <time datetime="2003" class="refDate">2003</time>, <span><<a href="https://doi.org/10.1007/3-540-36492-7_7">https://doi.org/10.1007/3-540-36492-7_7</a>></span>. </dd>
<dd class="break"></dd>
<dt id="COMPRESS">[COMPRESS]</dt>
<dd>
<span class="refAuthor">Ghedini, A.</span> and <span class="refAuthor">V. Vasiliev</span>, <span class="refTitle">"TLS Certificate Compression"</span>, <span class="seriesInfo">RFC 8879</span>, <span class="seriesInfo">DOI 10.17487/RFC8879</span>, <time datetime="2020-12" class="refDate">December 2020</time>, <span><<a href="https://www.rfc-editor.org/info/rfc8879">https://www.rfc-editor.org/info/rfc8879</a>></span>. </dd>
<dd class="break"></dd>
<dt id="GCM-MU">[GCM-MU]</dt>
<dd>
<span class="refAuthor">Hoang, V.</span>, <span class="refAuthor">Tessaro, S.</span>, and <span class="refAuthor">A. Thiruvengadam</span>, <span class="refTitle">"The Multi-user Security of GCM, Revisited: Tight Bounds for Nonce Randomization"</span>, <span class="refContent">CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security</span>, <span class="refContent">pp. 1429-1440</span>, <span class="seriesInfo">DOI 10.1145/3243734.3243816</span>, <time datetime="2018" class="refDate">2018</time>, <span><<a href="https://doi.org/10.1145/3243734.3243816">https://doi.org/10.1145/3243734.3243816</a>></span>. </dd>
<dd class="break"></dd>
<dt id="HTTP-REPLAY">[HTTP-REPLAY]</dt>
<dd>
<span class="refAuthor">Thomson, M.</span>, <span class="refAuthor">Nottingham, M.</span>, and <span class="refAuthor">W. Tarreau</span>, <span class="refTitle">"Using Early Data in HTTP"</span>, <span class="seriesInfo">RFC 8470</span>, <span class="seriesInfo">DOI 10.17487/RFC8470</span>, <time datetime="2018-09" class="refDate">September 2018</time>, <span><<a href="https://www.rfc-editor.org/info/rfc8470">https://www.rfc-editor.org/info/rfc8470</a>></span>. </dd>
<dd class="break"></dd>
<dt id="HTTP2-TLS13">[HTTP2-TLS13]</dt>
<dd>
<span class="refAuthor">Benjamin, D.</span>, <span class="refTitle">"Using TLS 1.3 with HTTP/2"</span>, <span class="seriesInfo">RFC 8740</span>, <span class="seriesInfo">DOI 10.17487/RFC8740</span>, <time datetime="2020-02" class="refDate">February 2020</time>, <span><<a href="https://www.rfc-editor.org/info/rfc8740">https://www.rfc-editor.org/info/rfc8740</a>></span>. </dd>
<dd class="break"></dd>
<dt id="IMC">[IMC]</dt>
<dd>
<span class="refAuthor">Katz, J.</span> and <span class="refAuthor">Y. Lindell</span>, <span class="refTitle">"Introduction to Modern Cryptography, Second Edition"</span>, <span class="seriesInfo">ISBN 978-1466570269</span>, <time datetime="2014-11-06" class="refDate">6 November 2014</time>. </dd>
<dd class="break"></dd>
<dt id="NAN">[NAN]</dt>
<dd>
<span class="refAuthor">Bellare, M.</span>, <span class="refAuthor">Ng, R.</span>, and <span class="refAuthor">B. Tackmann</span>, <span class="refTitle">"Nonces Are Noticed: AEAD Revisited"</span>, <span class="refContent">Advances in Cryptology - CRYPTO 2019</span>, <span class="refContent">Lecture Notes in Computer Science, vol 11692</span>, <span class="refContent">pp. 235-265</span>, <span class="seriesInfo">DOI 10.1007/978-3-030-26948-7_9</span>, <time datetime="2019" class="refDate">2019</time>, <span><<a href="https://doi.org/10.1007/978-3-030-26948-7_9">https://doi.org/10.1007/978-3-030-26948-7_9</a>></span>. </dd>
<dd class="break"></dd>
<dt id="QUIC-HTTP">[QUIC-HTTP]</dt>
<dd>
<span class="refAuthor">Bishop, M., Ed.</span>, <span class="refTitle">"Hypertext Transfer Protocol Version 3 (HTTP/3)"</span>, <span class="refContent">Work in Progress</span>, <span class="seriesInfo">Internet-Draft, draft-ietf-quic-http-34</span>, <time datetime="2021-02-02" class="refDate">2 February 2021</time>, <span><<a href="https://tools.ietf.org/html/draft-ietf-quic-http-34">https://tools.ietf.org/html/draft-ietf-quic-http-34</a>></span>. </dd>
<dd class="break"></dd>
<dt id="RFC2818">[RFC2818]</dt>
<dd>
<span class="refAuthor">Rescorla, E.</span>, <span class="refTitle">"HTTP Over TLS"</span>, <span class="seriesInfo">RFC 2818</span>, <span class="seriesInfo">DOI 10.17487/RFC2818</span>, <time datetime="2000-05" class="refDate">May 2000</time>, <span><<a href="https://www.rfc-editor.org/info/rfc2818">https://www.rfc-editor.org/info/rfc2818</a>></span>. </dd>
<dd class="break"></dd>
<dt id="RFC5280">[RFC5280]</dt>
<dd>
<span class="refAuthor">Cooper, D.</span>, <span class="refAuthor">Santesson, S.</span>, <span class="refAuthor">Farrell, S.</span>, <span class="refAuthor">Boeyen, S.</span>, <span class="refAuthor">Housley, R.</span>, and <span class="refAuthor">W. Polk</span>, <span class="refTitle">"Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile"</span>, <span class="seriesInfo">RFC 5280</span>, <span class="seriesInfo">DOI 10.17487/RFC5280</span>, <time datetime="2008-05" class="refDate">May 2008</time>, <span><<a href="https://www.rfc-editor.org/info/rfc5280">https://www.rfc-editor.org/info/rfc5280</a>></span>. </dd>
<dd class="break"></dd>
<dt id="ROBUST">[ROBUST]</dt>
<dd>
<span class="refAuthor">Fischlin, M.</span>, <span class="refAuthor">Günther, F.</span>, and <span class="refAuthor">C. Janson</span>, <span class="refTitle">"Robust Channels: Handling Unreliable Networks in the Record Layers of QUIC and DTLS 1.3"</span>, <time datetime="2020-05-16" class="refDate">16 May 2020</time>, <span><<a href="https://eprint.iacr.org/2020/718">https://eprint.iacr.org/2020/718</a>></span>. </dd>
<dd class="break"></dd>
</dl>
</section>
</section>
<div id="test-vectors">
<section id="section-appendix.a">
<h2 id="name-sample-packet-protection">
<a href="#section-appendix.a" class="section-number selfRef">Appendix A. </a><a href="#name-sample-packet-protection" class="section-name selfRef">Sample Packet Protection</a>
</h2>
<p id="section-appendix.a-1">This section shows examples of packet protection so that implementations can be
verified incrementally. Samples of Initial packets from both client and server
plus a Retry packet are defined. These packets use an 8-byte client-chosen
Destination Connection ID of 0x8394c8f03e515708. Some intermediate values are
included. All values are shown in hexadecimal.<a href="#section-appendix.a-1" class="pilcrow">¶</a></p>
<div id="keys">
<section id="section-a.1">
<h2 id="name-keys">
<a href="#section-a.1" class="section-number selfRef">A.1. </a><a href="#name-keys" class="section-name selfRef">Keys</a>
</h2>
<p id="section-a.1-1">The labels generated during the execution of the HKDF-Expand-Label function
(that is, HkdfLabel.label) and part of the value given to the HKDF-Expand
function in order to produce its output are:<a href="#section-a.1-1" class="pilcrow">¶</a></p>
<span class="break"></span><dl class="dlParallel" id="section-a.1-2">
<dt id="section-a.1-2.1">client in:</dt>
<dd style="margin-left: 1.5em" id="section-a.1-2.2">
<p id="section-a.1-2.2.1">00200f746c73313320636c69656e7420696e00<a href="#section-a.1-2.2.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-a.1-2.3">server in:</dt>
<dd style="margin-left: 1.5em" id="section-a.1-2.4">
<p id="section-a.1-2.4.1">00200f746c7331332073657276657220696e00<a href="#section-a.1-2.4.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-a.1-2.5">quic key:</dt>
<dd style="margin-left: 1.5em" id="section-a.1-2.6">
<p id="section-a.1-2.6.1">00100e746c7331332071756963206b657900<a href="#section-a.1-2.6.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-a.1-2.7">quic iv:</dt>
<dd style="margin-left: 1.5em" id="section-a.1-2.8">
<p id="section-a.1-2.8.1">000c0d746c733133207175696320697600<a href="#section-a.1-2.8.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-a.1-2.9">quic hp:</dt>
<dd style="margin-left: 1.5em" id="section-a.1-2.10">
<p id="section-a.1-2.10.1">00100d746c733133207175696320687000<a href="#section-a.1-2.10.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
</dl>
<p id="section-a.1-3">The initial secret is common:<a href="#section-a.1-3" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.1-4">
<pre>
initial_secret = HKDF-Extract(initial_salt, cid)
= 7db5df06e7a69e432496adedb0085192
3595221596ae2ae9fb8115c1e9ed0a44
</pre><a href="#section-a.1-4" class="pilcrow">¶</a>
</div>
<p id="section-a.1-5">The secrets for protecting client packets are:<a href="#section-a.1-5" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.1-6">
<pre>
client_initial_secret
= HKDF-Expand-Label(initial_secret, "client in", "", 32)
= c00cf151ca5be075ed0ebfb5c80323c4
2d6b7db67881289af4008f1f6c357aea
key = HKDF-Expand-Label(client_initial_secret, "quic key", "", 16)
= 1f369613dd76d5467730efcbe3b1a22d
iv = HKDF-Expand-Label(client_initial_secret, "quic iv", "", 12)
= fa044b2f42a3fd3b46fb255c
hp = HKDF-Expand-Label(client_initial_secret, "quic hp", "", 16)
= 9f50449e04a0e810283a1e9933adedd2
</pre><a href="#section-a.1-6" class="pilcrow">¶</a>
</div>
<p id="section-a.1-7">The secrets for protecting server packets are:<a href="#section-a.1-7" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.1-8">
<pre>
server_initial_secret
= HKDF-Expand-Label(initial_secret, "server in", "", 32)
= 3c199828fd139efd216c155ad844cc81
fb82fa8d7446fa7d78be803acdda951b
key = HKDF-Expand-Label(server_initial_secret, "quic key", "", 16)
= cf3a5331653c364c88f0f379b6067e37
iv = HKDF-Expand-Label(server_initial_secret, "quic iv", "", 12)
= 0ac1493ca1905853b0bba03e
hp = HKDF-Expand-Label(server_initial_secret, "quic hp", "", 16)
= c206b8d9b9f0f37644430b490eeaa314
</pre><a href="#section-a.1-8" class="pilcrow">¶</a>
</div>
</section>
</div>
<div id="sample-client-initial">
<section id="section-a.2">
<h2 id="name-client-initial">
<a href="#section-a.2" class="section-number selfRef">A.2. </a><a href="#name-client-initial" class="section-name selfRef">Client Initial</a>
</h2>
<p id="section-a.2-1">The client sends an Initial packet. The unprotected payload of this packet
contains the following CRYPTO frame, plus enough PADDING frames to make a
1162-byte payload:<a href="#section-a.2-1" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.2-2">
<pre>
060040f1010000ed0303ebf8fa56f129 39b9584a3896472ec40bb863cfd3e868
04fe3a47f06a2b69484c000004130113 02010000c000000010000e00000b6578
616d706c652e636f6dff01000100000a 00080006001d00170018001000070005
04616c706e0005000501000000000033 00260024001d00209370b2c9caa47fba
baf4559fedba753de171fa71f50f1ce1 5d43e994ec74d748002b000302030400
0d0010000e0403050306030203080408 050806002d00020101001c0002400100
3900320408ffffffffffffffff050480 00ffff07048000ffff08011001048000
75300901100f088394c8f03e51570806 048000ffff
</pre><a href="#section-a.2-2" class="pilcrow">¶</a>
</div>
<p id="section-a.2-3">The unprotected header indicates a length of 1182 bytes: the 4-byte packet
number, 1162 bytes of frames, and the 16-byte authentication tag. The header
includes the connection ID and a packet number of 2:<a href="#section-a.2-3" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.2-4">
<pre>
c300000001088394c8f03e5157080000449e00000002
</pre><a href="#section-a.2-4" class="pilcrow">¶</a>
</div>
<p id="section-a.2-5">Protecting the payload produces output that is sampled for header protection.
Because the header uses a 4-byte packet number encoding, the first 16 bytes of
the protected payload is sampled and then applied to the header as follows:<a href="#section-a.2-5" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.2-6">
<pre>
sample = d1b1c98dd7689fb8ec11d242b123dc9b
mask = AES-ECB(hp, sample)[0..4]
= 437b9aec36
header[0] ^= mask[0] & 0x0f
= c0
header[18..21] ^= mask[1..4]
= 7b9aec34
header = c000000001088394c8f03e5157080000449e7b9aec34
</pre><a href="#section-a.2-6" class="pilcrow">¶</a>
</div>
<p id="section-a.2-7">The resulting protected packet is:<a href="#section-a.2-7" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.2-8">
<pre>
c000000001088394c8f03e5157080000 449e7b9aec34d1b1c98dd7689fb8ec11
d242b123dc9bd8bab936b47d92ec356c 0bab7df5976d27cd449f63300099f399
1c260ec4c60d17b31f8429157bb35a12 82a643a8d2262cad67500cadb8e7378c
8eb7539ec4d4905fed1bee1fc8aafba1 7c750e2c7ace01e6005f80fcb7df6212
30c83711b39343fa028cea7f7fb5ff89 eac2308249a02252155e2347b63d58c5
457afd84d05dfffdb20392844ae81215 4682e9cf012f9021a6f0be17ddd0c208
4dce25ff9b06cde535d0f920a2db1bf3 62c23e596d11a4f5a6cf3948838a3aec
4e15daf8500a6ef69ec4e3feb6b1d98e 610ac8b7ec3faf6ad760b7bad1db4ba3
485e8a94dc250ae3fdb41ed15fb6a8e5 eba0fc3dd60bc8e30c5c4287e53805db
059ae0648db2f64264ed5e39be2e20d8 2df566da8dd5998ccabdae053060ae6c
7b4378e846d29f37ed7b4ea9ec5d82e7 961b7f25a9323851f681d582363aa5f8
9937f5a67258bf63ad6f1a0b1d96dbd4 faddfcefc5266ba6611722395c906556
be52afe3f565636ad1b17d508b73d874 3eeb524be22b3dcbc2c7468d54119c74
68449a13d8e3b95811a198f3491de3e7 fe942b330407abf82a4ed7c1b311663a
c69890f4157015853d91e923037c227a 33cdd5ec281ca3f79c44546b9d90ca00
f064c99e3dd97911d39fe9c5d0b23a22 9a234cb36186c4819e8b9c5927726632
291d6a418211cc2962e20fe47feb3edf 330f2c603a9d48c0fcb5699dbfe58964
25c5bac4aee82e57a85aaf4e2513e4f0 5796b07ba2ee47d80506f8d2c25e50fd
14de71e6c418559302f939b0e1abd576 f279c4b2e0feb85c1f28ff18f58891ff
ef132eef2fa09346aee33c28eb130ff2 8f5b766953334113211996d20011a198
e3fc433f9f2541010ae17c1bf202580f 6047472fb36857fe843b19f5984009dd
c324044e847a4f4a0ab34f719595de37 252d6235365e9b84392b061085349d73
203a4a13e96f5432ec0fd4a1ee65accd d5e3904df54c1da510b0ff20dcc0c77f
cb2c0e0eb605cb0504db87632cf3d8b4 dae6e705769d1de354270123cb11450e
fc60ac47683d7b8d0f811365565fd98c 4c8eb936bcab8d069fc33bd801b03ade
a2e1fbc5aa463d08ca19896d2bf59a07 1b851e6c239052172f296bfb5e724047
90a2181014f3b94a4e97d117b4381303 68cc39dbb2d198065ae3986547926cd2
162f40a29f0c3c8745c0f50fba3852e5 66d44575c29d39a03f0cda721984b6f4
40591f355e12d439ff150aab7613499d bd49adabc8676eef023b15b65bfc5ca0
6948109f23f350db82123535eb8a7433 bdabcb909271a6ecbcb58b936a88cd4e
8f2e6ff5800175f113253d8fa9ca8885 c2f552e657dc603f252e1a8e308f76f0
be79e2fb8f5d5fbbe2e30ecadd220723 c8c0aea8078cdfcb3868263ff8f09400
54da48781893a7e49ad5aff4af300cd8 04a6b6279ab3ff3afb64491c85194aab
760d58a606654f9f4400e8b38591356f bf6425aca26dc85244259ff2b19c41b9
f96f3ca9ec1dde434da7d2d392b905dd f3d1f9af93d1af5950bd493f5aa731b4
056df31bd267b6b90a079831aaf579be 0a39013137aac6d404f518cfd4684064
7e78bfe706ca4cf5e9c5453e9f7cfd2b 8b4c8d169a44e55c88d4a9a7f9474241
e221af44860018ab0856972e194cd934
</pre><a href="#section-a.2-8" class="pilcrow">¶</a>
</div>
</section>
</div>
<div id="server-initial">
<section id="section-a.3">
<h2 id="name-server-initial">
<a href="#section-a.3" class="section-number selfRef">A.3. </a><a href="#name-server-initial" class="section-name selfRef">Server Initial</a>
</h2>
<p id="section-a.3-1">The server sends the following payload in response, including an ACK frame, a
CRYPTO frame, and no PADDING frames:<a href="#section-a.3-1" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.3-2">
<pre>
02000000000600405a020000560303ee fce7f7b37ba1d1632e96677825ddf739
88cfc79825df566dc5430b9a045a1200 130100002e00330024001d00209d3c94
0d89690b84d08a60993c144eca684d10 81287c834d5311bcf32bb9da1a002b00
020304
</pre><a href="#section-a.3-2" class="pilcrow">¶</a>
</div>
<p id="section-a.3-3">The header from the server includes a new connection ID and a 2-byte packet
number encoding for a packet number of 1:<a href="#section-a.3-3" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.3-4">
<pre>
c1000000010008f067a5502a4262b50040750001
</pre><a href="#section-a.3-4" class="pilcrow">¶</a>
</div>
<p id="section-a.3-5">As a result, after protection, the header protection sample is taken starting
from the third protected byte:<a href="#section-a.3-5" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.3-6">
<pre>
sample = 2cd0991cd25b0aac406a5816b6394100
mask = 2ec0d8356a
header = cf000000010008f067a5502a4262b5004075c0d9
</pre><a href="#section-a.3-6" class="pilcrow">¶</a>
</div>
<p id="section-a.3-7">The final protected packet is then:<a href="#section-a.3-7" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.3-8">
<pre>
cf000000010008f067a5502a4262b500 4075c0d95a482cd0991cd25b0aac406a
5816b6394100f37a1c69797554780bb3 8cc5a99f5ede4cf73c3ec2493a1839b3
dbcba3f6ea46c5b7684df3548e7ddeb9 c3bf9c73cc3f3bded74b562bfb19fb84
022f8ef4cdd93795d77d06edbb7aaf2f 58891850abbdca3d20398c276456cbc4
2158407dd074ee
</pre><a href="#section-a.3-8" class="pilcrow">¶</a>
</div>
</section>
</div>
<div id="retry">
<section id="section-a.4">
<h2 id="name-retry">
<a href="#section-a.4" class="section-number selfRef">A.4. </a><a href="#name-retry" class="section-name selfRef">Retry</a>
</h2>
<p id="section-a.4-1">This shows a Retry packet that might be sent in response to the Initial packet
in <a href="#sample-client-initial" class="xref">Appendix A.2</a>. The integrity check includes the client-chosen
connection ID value of 0x8394c8f03e515708, but that value is not
included in the final Retry packet:<a href="#section-a.4-1" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.4-2">
<pre>
ff000000010008f067a5502a4262b574 6f6b656e04a265ba2eff4d829058fb3f
0f2496ba
</pre><a href="#section-a.4-2" class="pilcrow">¶</a>
</div>
</section>
</div>
<div id="chacha20-poly1305-short-header-packet">
<section id="section-a.5">
<h2 id="name-chacha20-poly1305-short-hea">
<a href="#section-a.5" class="section-number selfRef">A.5. </a><a href="#name-chacha20-poly1305-short-hea" class="section-name selfRef">ChaCha20-Poly1305 Short Header Packet</a>
</h2>
<p id="section-a.5-1">This example shows some of the steps required to protect a packet with
a short header. This example uses AEAD_CHACHA20_POLY1305.<a href="#section-a.5-1" class="pilcrow">¶</a></p>
<p id="section-a.5-2">In this example, TLS produces an application write secret from which a server
uses HKDF-Expand-Label to produce four values: a key, an IV, a header
protection key, and the secret that will be used after keys are updated (this
last value is not used further in this example).<a href="#section-a.5-2" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.5-3">
<pre>
secret
= 9ac312a7f877468ebe69422748ad00a1
5443f18203a07d6060f688f30f21632b
key = HKDF-Expand-Label(secret, "quic key", "", 32)
= c6d98ff3441c3fe1b2182094f69caa2e
d4b716b65488960a7a984979fb23e1c8
iv = HKDF-Expand-Label(secret, "quic iv", "", 12)
= e0459b3474bdd0e44a41c144
hp = HKDF-Expand-Label(secret, "quic hp", "", 32)
= 25a282b9e82f06f21f488917a4fc8f1b
73573685608597d0efcb076b0ab7a7a4
ku = HKDF-Expand-Label(secret, "quic ku", "", 32)
= 1223504755036d556342ee9361d25342
1a826c9ecdf3c7148684b36b714881f9
</pre><a href="#section-a.5-3" class="pilcrow">¶</a>
</div>
<p id="section-a.5-4">The following shows the steps involved in protecting a minimal packet with an
empty Destination Connection ID. This packet contains a single PING frame (that
is, a payload of just 0x01) and has a packet number of 654360564. In this
example, using a packet number of length 3 (that is, 49140 is encoded) avoids
having to pad the payload of the packet; PADDING frames would be needed if the
packet number is encoded on fewer bytes.<a href="#section-a.5-4" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.5-5">
<pre>
pn = 654360564 (decimal)
nonce = e0459b3474bdd0e46d417eb0
unprotected header = 4200bff4
payload plaintext = 01
payload ciphertext = 655e5cd55c41f69080575d7999c25a5bfb
</pre><a href="#section-a.5-5" class="pilcrow">¶</a>
</div>
<p id="section-a.5-6">The resulting ciphertext is the minimum size possible. One byte is skipped to
produce the sample for header protection.<a href="#section-a.5-6" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.5-7">
<pre>
sample = 5e5cd55c41f69080575d7999c25a5bfb
mask = aefefe7d03
header = 4cfe4189
</pre><a href="#section-a.5-7" class="pilcrow">¶</a>
</div>
<p id="section-a.5-8">The protected packet is the smallest possible packet size of 21 bytes.<a href="#section-a.5-8" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-a.5-9">
<pre>
packet = 4cfe4189655e5cd55c41f69080575d7999c25a5bfb
</pre><a href="#section-a.5-9" class="pilcrow">¶</a>
</div>
</section>
</div>
</section>
</div>
<div id="aead-analysis">
<section id="section-appendix.b">
<h2 id="name-aead-algorithm-analysis">
<a href="#section-appendix.b" class="section-number selfRef">Appendix B. </a><a href="#name-aead-algorithm-analysis" class="section-name selfRef">AEAD Algorithm Analysis</a>
</h2>
<p id="section-appendix.b-1">This section documents analyses used in deriving AEAD algorithm limits for
AEAD_AES_128_GCM, AEAD_AES_128_CCM, and AEAD_AES_256_GCM. The analyses that
follow use symbols for multiplication (*), division (/), and exponentiation (^),
plus parentheses for establishing precedence. The following symbols are also
used:<a href="#section-appendix.b-1" class="pilcrow">¶</a></p>
<span class="break"></span><dl class="dlParallel" id="section-appendix.b-2">
<dt id="section-appendix.b-2.1">t:</dt>
<dd style="margin-left: 1.5em" id="section-appendix.b-2.2">
<p id="section-appendix.b-2.2.1">The size of the authentication tag in bits. For these ciphers, t is 128.<a href="#section-appendix.b-2.2.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-appendix.b-2.3">n:</dt>
<dd style="margin-left: 1.5em" id="section-appendix.b-2.4">
<p id="section-appendix.b-2.4.1">The size of the block function in bits. For these ciphers, n is 128.<a href="#section-appendix.b-2.4.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-appendix.b-2.5">k:</dt>
<dd style="margin-left: 1.5em" id="section-appendix.b-2.6">
<p id="section-appendix.b-2.6.1">The size of the key in bits. This is 128 for AEAD_AES_128_GCM and
AEAD_AES_128_CCM; 256 for AEAD_AES_256_GCM.<a href="#section-appendix.b-2.6.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-appendix.b-2.7">l:</dt>
<dd style="margin-left: 1.5em" id="section-appendix.b-2.8">
<p id="section-appendix.b-2.8.1">The number of blocks in each packet (see below).<a href="#section-appendix.b-2.8.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-appendix.b-2.9">q:</dt>
<dd style="margin-left: 1.5em" id="section-appendix.b-2.10">
<p id="section-appendix.b-2.10.1">The number of genuine packets created and protected by endpoints. This value
is the bound on the number of packets that can be protected before updating
keys.<a href="#section-appendix.b-2.10.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-appendix.b-2.11">v:</dt>
<dd style="margin-left: 1.5em" id="section-appendix.b-2.12">
<p id="section-appendix.b-2.12.1">The number of forged packets that endpoints will accept. This value is the
bound on the number of forged packets that an endpoint can reject before
updating keys.<a href="#section-appendix.b-2.12.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
<dt id="section-appendix.b-2.13">o:</dt>
<dd style="margin-left: 1.5em" id="section-appendix.b-2.14">
<p id="section-appendix.b-2.14.1">The amount of offline ideal cipher queries made by an adversary.<a href="#section-appendix.b-2.14.1" class="pilcrow">¶</a></p>
</dd>
<dd class="break"></dd>
</dl>
<p id="section-appendix.b-3">The analyses that follow rely on a count of the number of block operations
involved in producing each message. This analysis is performed for packets of
size up to 2<sup>11</sup> (l = 2<sup>7</sup>) and 2<sup>16</sup> (l =
2<sup>12</sup>). A size of 2<sup>11</sup> is expected to be a limit that matches
common deployment patterns, whereas the 2<sup>16</sup> is the maximum possible
size of a QUIC packet. Only endpoints that strictly limit packet size can use
the larger confidentiality and integrity limits that are derived using the
smaller packet size.<a href="#section-appendix.b-3" class="pilcrow">¶</a></p>
<p id="section-appendix.b-4">For AEAD_AES_128_GCM and AEAD_AES_256_GCM, the message length (l) is the length
of the associated data in blocks plus the length of the plaintext in blocks.<a href="#section-appendix.b-4" class="pilcrow">¶</a></p>
<p id="section-appendix.b-5">For AEAD_AES_128_CCM, the total number of block cipher operations is the sum of
the following: the length of the associated data in blocks, the length of the
ciphertext in blocks, the length of the plaintext in blocks, plus 1. In this
analysis, this is simplified to a value of twice the length of the packet in
blocks (that is, <code>2l = 2<sup>8</sup></code> for packets that are limited to
2<sup>11</sup> bytes, or <code>2l = 2<sup>13</sup></code> otherwise). This
simplification is based on the packet containing all of the associated data and
ciphertext. This results in a one to three block overestimation of the number of
operations per packet.<a href="#section-appendix.b-5" class="pilcrow">¶</a></p>
<div id="gcm-bounds">
<section id="section-b.1">
<h2 id="name-analysis-of-aead_aes_128_gc">
<a href="#section-b.1" class="section-number selfRef">B.1. </a><a href="#name-analysis-of-aead_aes_128_gc" class="section-name selfRef">Analysis of AEAD_AES_128_GCM and AEAD_AES_256_GCM Usage Limits</a>
</h2>
<p id="section-b.1-1"><span>[<a href="#GCM-MU" class="xref">GCM-MU</a>]</span> specifies concrete bounds for AEAD_AES_128_GCM and AEAD_AES_256_GCM
as used in TLS 1.3 and QUIC. This section documents this analysis using several
simplifying assumptions:<a href="#section-b.1-1" class="pilcrow">¶</a></p>
<ul class="normal">
<li class="normal" id="section-b.1-2.1">The number of ciphertext blocks an attacker uses in forgery attempts is
bounded by v * l, which is the number of forgery attempts multiplied by the
size of each packet (in blocks).<a href="#section-b.1-2.1" class="pilcrow">¶</a>
</li>
<li class="normal" id="section-b.1-2.2">The amount of offline work done by an attacker does not dominate other factors
in the analysis.<a href="#section-b.1-2.2" class="pilcrow">¶</a>
</li>
</ul>
<p id="section-b.1-3">The bounds in <span>[<a href="#GCM-MU" class="xref">GCM-MU</a>]</span> are tighter and more complete than those used in
<span>[<a href="#AEBounds" class="xref">AEBounds</a>]</span>, which allows for larger limits than those described in
<span>[<a href="#TLS13" class="xref">TLS13</a>]</span>.<a href="#section-b.1-3" class="pilcrow">¶</a></p>
<div id="confidentiality-limit">
<section id="section-b.1.1">
<h3 id="name-confidentiality-limit">
<a href="#section-b.1.1" class="section-number selfRef">B.1.1. </a><a href="#name-confidentiality-limit" class="section-name selfRef">Confidentiality Limit</a>
</h3>
<p id="section-b.1.1-1">For confidentiality, Theorem (4.3) in <span>[<a href="#GCM-MU" class="xref">GCM-MU</a>]</span> establishes that, for a single
user that does not repeat nonces, the dominant term in determining the
distinguishing advantage between a real and random AEAD algorithm gained by an
attacker is:<a href="#section-b.1.1-1" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-b.1.1-2">
<pre>
2 * (q * l)^2 / 2^n
</pre><a href="#section-b.1.1-2" class="pilcrow">¶</a>
</div>
<p id="section-b.1.1-3">For a target advantage of 2<sup>-57</sup>, this results in the relation:<a href="#section-b.1.1-3" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-b.1.1-4">
<pre>
q <= 2^35 / l
</pre><a href="#section-b.1.1-4" class="pilcrow">¶</a>
</div>
<p id="section-b.1.1-5">Thus, endpoints that do not send packets larger than 2<sup>11</sup> bytes cannot
protect more than 2<sup>28</sup> packets in a single connection without causing
an attacker to gain a more significant advantage than the target of
2<sup>-57</sup>. The limit for endpoints that allow for the packet size to be as
large as 2<sup>16</sup> is instead 2<sup>23</sup>.<a href="#section-b.1.1-5" class="pilcrow">¶</a></p>
</section>
</div>
<div id="integrity-limit">
<section id="section-b.1.2">
<h3 id="name-integrity-limit">
<a href="#section-b.1.2" class="section-number selfRef">B.1.2. </a><a href="#name-integrity-limit" class="section-name selfRef">Integrity Limit</a>
</h3>
<p id="section-b.1.2-1">For integrity, Theorem (4.3) in <span>[<a href="#GCM-MU" class="xref">GCM-MU</a>]</span> establishes that an attacker gains
an advantage in successfully forging a packet of no more than the following:<a href="#section-b.1.2-1" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-b.1.2-2">
<pre>
(1 / 2^(8 * n)) + ((2 * v) / 2^(2 * n))
+ ((2 * o * v) / 2^(k + n)) + (n * (v + (v * l)) / 2^k)
</pre><a href="#section-b.1.2-2" class="pilcrow">¶</a>
</div>
<p id="section-b.1.2-3">The goal is to limit this advantage to 2<sup>-57</sup>. For AEAD_AES_128_GCM,
the fourth term in this inequality dominates the rest, so the others can be
removed without significant effect on the result. This produces the following
approximation:<a href="#section-b.1.2-3" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-b.1.2-4">
<pre>
v <= 2^64 / l
</pre><a href="#section-b.1.2-4" class="pilcrow">¶</a>
</div>
<p id="section-b.1.2-5">Endpoints that do not attempt to remove protection from packets larger than
2<sup>11</sup> bytes can attempt to remove protection from at most
2<sup>57</sup> packets. Endpoints that do not restrict the size of processed
packets can attempt to remove protection from at most 2<sup>52</sup> packets.<a href="#section-b.1.2-5" class="pilcrow">¶</a></p>
<p id="section-b.1.2-6">For AEAD_AES_256_GCM, the same term dominates, but the larger value of k
produces the following approximation:<a href="#section-b.1.2-6" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-b.1.2-7">
<pre>
v <= 2^192 / l
</pre><a href="#section-b.1.2-7" class="pilcrow">¶</a>
</div>
<p id="section-b.1.2-8">This is substantially larger than the limit for AEAD_AES_128_GCM. However, this
document recommends that the same limit be applied to both functions as either
limit is acceptably large.<a href="#section-b.1.2-8" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
<div id="ccm-bounds">
<section id="section-b.2">
<h2 id="name-analysis-of-aead_aes_128_cc">
<a href="#section-b.2" class="section-number selfRef">B.2. </a><a href="#name-analysis-of-aead_aes_128_cc" class="section-name selfRef">Analysis of AEAD_AES_128_CCM Usage Limits</a>
</h2>
<p id="section-b.2-1">TLS <span>[<a href="#TLS13" class="xref">TLS13</a>]</span> and <span>[<a href="#AEBounds" class="xref">AEBounds</a>]</span> do not specify limits on usage
for AEAD_AES_128_CCM. However, any AEAD that is used with QUIC requires limits
on use that ensure that both confidentiality and integrity are preserved. This
section documents that analysis.<a href="#section-b.2-1" class="pilcrow">¶</a></p>
<p id="section-b.2-2"><span>[<a href="#CCM-ANALYSIS" class="xref">CCM-ANALYSIS</a>]</span> is used as the basis of this
analysis. The results of that analysis are used to derive usage limits that are
based on those chosen in <span>[<a href="#TLS13" class="xref">TLS13</a>]</span>.<a href="#section-b.2-2" class="pilcrow">¶</a></p>
<p id="section-b.2-3">For confidentiality, Theorem 2 in <span>[<a href="#CCM-ANALYSIS" class="xref">CCM-ANALYSIS</a>]</span> establishes that an attacker
gains a distinguishing advantage over an ideal pseudorandom permutation (PRP) of
no more than the following:<a href="#section-b.2-3" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-b.2-4">
<pre>
(2l * q)^2 / 2^n
</pre><a href="#section-b.2-4" class="pilcrow">¶</a>
</div>
<p id="section-b.2-5">The integrity limit in Theorem 1 in <span>[<a href="#CCM-ANALYSIS" class="xref">CCM-ANALYSIS</a>]</span> provides an attacker a
strictly higher advantage for the same number of messages. As the targets for
the confidentiality advantage and the integrity advantage are the same, only
Theorem 1 needs to be considered.<a href="#section-b.2-5" class="pilcrow">¶</a></p>
<p id="section-b.2-6">Theorem 1 establishes that an attacker gains an advantage over an
ideal PRP of no more than the following:<a href="#section-b.2-6" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-b.2-7">
<pre>
v / 2^t + (2l * (v + q))^2 / 2^n
</pre><a href="#section-b.2-7" class="pilcrow">¶</a>
</div>
<p id="section-b.2-8">As <code>t</code> and <code>n</code> are both 128, the first term is negligible relative to the
second, so that term can be removed without a significant effect on the result.<a href="#section-b.2-8" class="pilcrow">¶</a></p>
<p id="section-b.2-9">This produces a relation that combines both encryption and decryption attempts
with the same limit as that produced by the theorem for confidentiality alone.
For a target advantage of 2<sup>-57</sup>, this results in the following:<a href="#section-b.2-9" class="pilcrow">¶</a></p>
<div class="artwork art-text alignLeft" id="section-b.2-10">
<pre>
v + q <= 2^34.5 / l
</pre><a href="#section-b.2-10" class="pilcrow">¶</a>
</div>
<p id="section-b.2-11">By setting <code>q = v</code>, values for both confidentiality and integrity limits can be
produced. Endpoints that limit packets to 2<sup>11</sup> bytes therefore have
both confidentiality and integrity limits of 2<sup>26.5</sup> packets. Endpoints
that do not restrict packet size have a limit of 2<sup>21.5</sup>.<a href="#section-b.2-11" class="pilcrow">¶</a></p>
</section>
</div>
</section>
</div>
<div id="contributors">
<section id="section-appendix.c">
<h2 id="name-contributors">
<a href="#name-contributors" class="section-name selfRef">Contributors</a>
</h2>
<p id="section-appendix.c-1">The IETF QUIC Working Group received an enormous amount of support from many
people. The following people provided substantive contributions to this
document:<a href="#section-appendix.c-1" class="pilcrow">¶</a></p>
<ul class="compact">
<li class="compact" id="section-appendix.c-2.1">
<p id="section-appendix.c-2.1.1"><span class="contact-name">Adam Langley</span><a href="#section-appendix.c-2.1.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.2">
<p id="section-appendix.c-2.2.1"><span class="contact-name">Alessandro Ghedini</span><a href="#section-appendix.c-2.2.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.3">
<p id="section-appendix.c-2.3.1"><span class="contact-name">Christian Huitema</span><a href="#section-appendix.c-2.3.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.4">
<p id="section-appendix.c-2.4.1"><span class="contact-name">Christopher Wood</span><a href="#section-appendix.c-2.4.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.5">
<p id="section-appendix.c-2.5.1"><span class="contact-name">David Schinazi</span><a href="#section-appendix.c-2.5.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.6">
<p id="section-appendix.c-2.6.1"><span class="contact-name">Dragana Damjanovic</span><a href="#section-appendix.c-2.6.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.7">
<p id="section-appendix.c-2.7.1"><span class="contact-name">Eric Rescorla</span><a href="#section-appendix.c-2.7.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.8">
<p id="section-appendix.c-2.8.1"><span class="contact-name">Felix Günther</span><a href="#section-appendix.c-2.8.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.9">
<p id="section-appendix.c-2.9.1"><span class="contact-name">Ian Swett</span><a href="#section-appendix.c-2.9.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.10">
<p id="section-appendix.c-2.10.1"><span class="contact-name">Jana Iyengar</span><a href="#section-appendix.c-2.10.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.11">
<p id="section-appendix.c-2.11.1"><span class="contact-name"><span class="non-ascii">奥 一穂</span> (<span class="ascii">Kazuho Oku</span>)</span><a href="#section-appendix.c-2.11.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.12">
<p id="section-appendix.c-2.12.1"><span class="contact-name">Marten Seemann</span><a href="#section-appendix.c-2.12.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.13">
<p id="section-appendix.c-2.13.1"><span class="contact-name">Martin Duke</span><a href="#section-appendix.c-2.13.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.14">
<p id="section-appendix.c-2.14.1"><span class="contact-name">Mike Bishop</span><a href="#section-appendix.c-2.14.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.15">
<p id="section-appendix.c-2.15.1"><span class="contact-name">Mikkel Fahnøe Jørgensen</span><a href="#section-appendix.c-2.15.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.16">
<p id="section-appendix.c-2.16.1"><span class="contact-name">Nick Banks</span><a href="#section-appendix.c-2.16.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.17">
<p id="section-appendix.c-2.17.1"><span class="contact-name">Nick Harper</span><a href="#section-appendix.c-2.17.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.18">
<p id="section-appendix.c-2.18.1"><span class="contact-name">Roberto Peon</span><a href="#section-appendix.c-2.18.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.19">
<p id="section-appendix.c-2.19.1"><span class="contact-name">Rui Paulo</span><a href="#section-appendix.c-2.19.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.20">
<p id="section-appendix.c-2.20.1"><span class="contact-name">Ryan Hamilton</span><a href="#section-appendix.c-2.20.1" class="pilcrow">¶</a></p>
</li>
<li class="compact" id="section-appendix.c-2.21">
<p id="section-appendix.c-2.21.1"><span class="contact-name">Victor Vasiliev</span><a href="#section-appendix.c-2.21.1" class="pilcrow">¶</a></p>
</li>
</ul>
</section>
</div>
<div id="authors-addresses">
<section id="section-appendix.d">
<h2 id="name-authors-addresses">
<a href="#name-authors-addresses" class="section-name selfRef">Authors' Addresses</a>
</h2>
<address class="vcard">
<div dir="auto" class="left"><span class="fn nameRole">Martin Thomson (<span class="role">editor</span>)</span></div>
<div dir="auto" class="left"><span class="org">Mozilla</span></div>
<div class="email">
<span>Email:</span>
<a href="mailto:mt@lowentropy.net" class="email">mt@lowentropy.net</a>
</div>
</address>
<address class="vcard">
<div dir="auto" class="left"><span class="fn nameRole">Sean Turner (<span class="role">editor</span>)</span></div>
<div dir="auto" class="left"><span class="org">sn3rd</span></div>
<div class="email">
<span>Email:</span>
<a href="mailto:sean@sn3rd.com" class="email">sean@sn3rd.com</a>
</div>
</address>
</section>
</div>
<script>const toc = document.getElementById("toc");
toc.querySelector("h2").addEventListener("click", e => {
toc.classList.toggle("active");
});
toc.querySelector("nav").addEventListener("click", e => {
toc.classList.remove("active");
});
</script>
</body>
</html>
|