diff --git a/spec/Overview.html b/spec/Overview.html index d2705b8..1d9db32 100644 --- a/spec/Overview.html +++ b/spec/Overview.html @@ -611,6 +611,10 @@

Terminology

The terms {{DOMString}}, {{BufferSource}} and [= byte sequence =] are defined in [[WEBIDL]].

+

+ The length in bits of a [= byte sequence =] + is its [= byte sequence/length =] multiplied by 8. +

A byte sequence containing a bit sequence |b| is the [= byte sequence =] obtained by first appending zero or more @@ -9013,7 +9017,7 @@

Operations

- If the length of |secret| in bits is less than + If the [= length in bits =] of |secret| is less than |length|:
@@ -12241,7 +12245,7 @@

Operations

  • - If the length in bits of |data| is not 128, 192 or 256 + If the [= length in bits =] of |data| is not 128, 192 or 256 then [= exception/throw =] a {{DataError}}.

    @@ -12283,17 +12287,17 @@

    Operations

  • -
    If |data| has length 128 bits:
    +
    If the [= length in bits =] of |data| is 128:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A128CTR`", then [= exception/throw =] a {{DataError}}.
    -
    If |data| has length 192 bits:
    +
    If the [= length in bits =] of |data| is 192:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A192CTR`", then [= exception/throw =] a {{DataError}}.
    -
    If |data| has length 256 bits:
    +
    If the [= length in bits =] of |data| is 256:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A256CTR`", then [= exception/throw =] a {{DataError}}. @@ -12784,7 +12788,7 @@

    Operations

  • - If the length in bits of |data| is not 128, 192 or 256 + If the [= length in bits =] of |data| is not 128, 192 or 256 then [= exception/throw =] a {{DataError}}.

    @@ -12826,17 +12830,17 @@

    Operations

  • -
    If |data| has length 128 bits:
    +
    If the [= length in bits =] of |data| is 128:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A128CBC`", then [= exception/throw =] a {{DataError}}.
    -
    If |data| has length 192 bits:
    +
    If the [= length in bits =] of |data| is 192:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A192CBC`", then [= exception/throw =] a {{DataError}}.
    -
    If |data| has length 256 bits:
    +
    If the [= length in bits =] of |data| is 256:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A256CBC`", then [= exception/throw =] a @@ -13220,7 +13224,7 @@

    Operations

  • - If |ciphertext| has a length less than |tagLength| bits, + If |ciphertext| has a [= length in bits =] less than |tagLength|, then [= exception/throw =] an {{OperationError}}.

    @@ -13411,7 +13415,7 @@

    Operations

  • - If the length in bits of |data| is not 128, 192 or 256 + If the [= length in bits =] of |data| is not 128, 192 or 256 then [= exception/throw =] a {{DataError}}.

    @@ -13453,17 +13457,17 @@

    Operations

  • -
    If |data| has length 128 bits:
    +
    If the [= length in bits =] of |data| is 128:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A128GCM`", then [= exception/throw =] a {{DataError}}.
    -
    If |data| has length 192 bits:
    +
    If the [= length in bits =] of |data| is 192:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A192GCM`", then [= exception/throw =] a {{DataError}}.
    -
    If |data| has length 256 bits:
    +
    If the [= length in bits =] of |data| is 256:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A256GCM`", then [= exception/throw =] a @@ -13898,7 +13902,7 @@

    Operations

  • - If the length in bits of |data| is not 128, 192 or 256 + If the [= length in bits =] of |data| is not 128, 192 or 256 then [= exception/throw =] a {{DataError}}.

    @@ -13940,17 +13944,17 @@

    Operations

  • -
    If |data| has length 128 bits:
    +
    If the [= length in bits =] of |data| is 128:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A128KW`", then [= exception/throw =] a {{DataError}}.
    -
    If |data| has length 192 bits:
    +
    If the [= length in bits =] of |data| is 192:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A192KW`", then [= exception/throw =] a {{DataError}}.
    -
    If |data| has length 256 bits:
    +
    If the [= length in bits =] of |data| is 256:
    If the {{JsonWebKey/alg}} field of |jwk| is present, and is not "`A256KW`", then [= exception/throw =] a @@ -14602,8 +14606,8 @@

    Operations

  • - Let |length| be equivalent to the length, in octets, of - |data|, multiplied by 8. + Let |length| be the [= length in bits =] of + |data|.