Skip to content

Commit f3bf2c3

Browse files
twisstwiss
committed
Properly define the length in bits of a byte sequence
1 parent 5c9076d commit f3bf2c3

File tree

1 file changed

+24
-20
lines changed

1 file changed

+24
-20
lines changed

‎spec/Overview.html‎

Lines changed: 24 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -614,6 +614,10 @@ <h2>Terminology</h2>
614614
<p>
615615
The term [= byte sequence =] is defined in [[Infra]].
616616
</p>
617+
<p>
618+
The <dfn id="dfn-length-in-bits" data-lt="length in bits">length in bits</dfn> of a [= byte sequence =]
619+
is its [= byte sequence/length =] multiplied by 8.
620+
</p>
617621
<p>
618622
A <dfn id="dfn-byte-sequence-containing" data-lt="byte sequence containing">byte sequence containing a bit sequence</dfn> |b| is the
619623
[= byte sequence =] obtained by first appending zero or more
@@ -9030,7 +9034,7 @@ <h4>Operations</h4>
90309034
<dd>
90319035
<dl class="switch">
90329036
<dt>
9033-
If the length of |secret| in bits is less than
9037+
If the [= length in bits =] of |secret| is less than
90349038
|length|:
90359039
</dt>
90369040
<dd>
@@ -12258,7 +12262,7 @@ <h4>Operations</h4>
1225812262
</li>
1225912263
<li>
1226012264
<p>
12261-
If the length in bits of |data| is not 128, 192 or 256
12265+
If the [= length in bits =] of |data| is not 128, 192 or 256
1226212266
then [= exception/throw =] a
1226312267
{{DataError}}.
1226412268
</p>
@@ -12300,17 +12304,17 @@ <h4>Operations</h4>
1230012304
</li>
1230112305
<li>
1230212306
<dl class="switch">
12303-
<dt>If |data| has length 128 bits:</dt>
12307+
<dt>If the [= length in bits =] of |data| is 128:</dt>
1230412308
<dd>
1230512309
If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1230612310
not "`A128CTR`", then [= exception/throw =] a {{DataError}}.
1230712311
</dd>
12308-
<dt>If |data| has length 192 bits:</dt>
12312+
<dt>If the [= length in bits =] of |data| is 192:</dt>
1230912313
<dd>
1231012314
If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1231112315
not "`A192CTR`", then [= exception/throw =] a {{DataError}}.
1231212316
</dd>
12313-
<dt>If |data| has length 256 bits:</dt>
12317+
<dt>If the [= length in bits =] of |data| is 256:</dt>
1231412318
<dd>
1231512319
If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1231612320
not "`A256CTR`", then [= exception/throw =] a {{DataError}}.
@@ -12801,7 +12805,7 @@ <h4>Operations</h4>
1280112805
</li>
1280212806
<li>
1280312807
<p>
12804-
If the length in bits of |data| is not 128, 192 or 256
12808+
If the [= length in bits =] of |data| is not 128, 192 or 256
1280512809
then [= exception/throw =] a
1280612810
{{DataError}}.
1280712811
</p>
@@ -12843,17 +12847,17 @@ <h4>Operations</h4>
1284312847
</li>
1284412848
<li>
1284512849
<dl class="switch">
12846-
<dt>If |data| has length 128 bits:</dt>
12850+
<dt>If the [= length in bits =] of |data| is 128:</dt>
1284712851
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1284812852
not "`A128CBC`",
1284912853
then [= exception/throw =] a
1285012854
{{DataError}}.</dd>
12851-
<dt>If |data| has length 192 bits:</dt>
12855+
<dt>If the [= length in bits =] of |data| is 192:</dt>
1285212856
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1285312857
not "`A192CBC`",
1285412858
then [= exception/throw =] a
1285512859
{{DataError}}.</dd>
12856-
<dt>If |data| has length 256 bits:</dt>
12860+
<dt>If the [= length in bits =] of |data| is 256:</dt>
1285712861
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1285812862
not "`A256CBC`",
1285912863
then [= exception/throw =] a
@@ -13237,7 +13241,7 @@ <h4>Operations</h4>
1323713241
</li>
1323813242
<li>
1323913243
<p>
13240-
If |ciphertext| has a length less than |tagLength| bits,
13244+
If |ciphertext| has a [= length in bits =] less than |tagLength|,
1324113245
then [= exception/throw =] an
1324213246
{{OperationError}}.
1324313247
</p>
@@ -13428,7 +13432,7 @@ <h4>Operations</h4>
1342813432
</li>
1342913433
<li>
1343013434
<p>
13431-
If the length in bits of |data| is not 128, 192 or 256
13435+
If the [= length in bits =] of |data| is not 128, 192 or 256
1343213436
then [= exception/throw =] a
1343313437
{{DataError}}.
1343413438
</p>
@@ -13470,17 +13474,17 @@ <h4>Operations</h4>
1347013474
</li>
1347113475
<li>
1347213476
<dl class="switch">
13473-
<dt>If |data| has length 128 bits:</dt>
13477+
<dt>If the [= length in bits =] of |data| is 128:</dt>
1347413478
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1347513479
not "`A128GCM`",
1347613480
then [= exception/throw =] a
1347713481
{{DataError}}.</dd>
13478-
<dt>If |data| has length 192 bits:</dt>
13482+
<dt>If the [= length in bits =] of |data| is 192:</dt>
1347913483
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1348013484
not "`A192GCM`",
1348113485
then [= exception/throw =] a
1348213486
{{DataError}}.</dd>
13483-
<dt>If |data| has length 256 bits:</dt>
13487+
<dt>If the [= length in bits =] of |data| is 256:</dt>
1348413488
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1348513489
not "`A256GCM`",
1348613490
then [= exception/throw =] a
@@ -13915,7 +13919,7 @@ <h4>Operations</h4>
1391513919
</li>
1391613920
<li>
1391713921
<p>
13918-
If the length in bits of |data| is not 128, 192 or 256
13922+
If the [= length in bits =] of |data| is not 128, 192 or 256
1391913923
then [= exception/throw =] a
1392013924
{{DataError}}.
1392113925
</p>
@@ -13957,17 +13961,17 @@ <h4>Operations</h4>
1395713961
</li>
1395813962
<li>
1395913963
<dl class="switch">
13960-
<dt>If |data| has length 128 bits:</dt>
13964+
<dt>If the [= length in bits =] of |data| is 128:</dt>
1396113965
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1396213966
not "`A128KW`",
1396313967
then [= exception/throw =] a
1396413968
{{DataError}}.</dd>
13965-
<dt>If |data| has length 192 bits:</dt>
13969+
<dt>If the [= length in bits =] of |data| is 192:</dt>
1396613970
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1396713971
not "`A192KW`",
1396813972
then [= exception/throw =] a
1396913973
{{DataError}}.</dd>
13970-
<dt>If |data| has length 256 bits:</dt>
13974+
<dt>If the [= length in bits =] of |data| is 256:</dt>
1397113975
<dd>If the {{JsonWebKey/alg}} field of |jwk| is present, and is
1397213976
not "`A256KW`",
1397313977
then [= exception/throw =] a
@@ -14619,8 +14623,8 @@ <h4>Operations</h4>
1461914623
</li>
1462014624
<li>
1462114625
<p>
14622-
Let |length| be equivalent to the length, in octets, of
14623-
|data|, multiplied by 8.
14626+
Let |length| be the [= length in bits =] of
14627+
|data|.
1462414628
</p>
1462514629
</li>
1462614630
<li>

0 commit comments

Comments
 (0)