cddlc 0.1.0 → 0.1.2

data/data/rfc9171.cddl

@@ -0,0 +1,334 @@
+
+   bpv7_start = bundle / #6.55799(bundle)
+
+   ; Times before 2000 are invalid
+
+   dtn-time = uint
+
+   ; CRC enumerated type
+
+   crc-type = &(
+
+     crc-none: 0,
+
+     crc-16bit: 1,
+
+     crc-32bit: 2
+
+   )
+
+   ; Either 16-bit or 32-bit
+
+   crc-value = (bstr .size 2) / (bstr .size 4)
+
+   creation-timestamp = [
+
+     dtn-time, ; absolute time of creation
+
+     sequence: uint ; sequence within the time
+
+   ]
+
+   eid = $eid .within eid-structure
+
+   eid-structure = [
+
+     uri-code: uint,
+
+     SSP: any
+
+   ]
+
+   $eid /= [
+
+     uri-code: 1,
+
+     SSP: (tstr / 0)
+
+   ]
+
+   $eid /= [
+
+     uri-code: 2,
+
+     SSP: [
+
+       nodenum: uint,
+
+       servicenum: uint
+
+     ]
+
+   ]
+
+   ; The root bundle array
+
+   bundle = [primary-block, *extension-block, payload-block]
+
+   primary-block = [
+
+     version: 7,
+
+     bundle-control-flags,
+
+     crc-type,
+
+     destination: eid,
+
+     source-node: eid,
+
+     report-to: eid,
+
+     creation-timestamp,
+
+     lifetime: uint,
+
+     ? (
+
+       fragment-offset: uint,
+
+       total-application-data-length: uint
+
+     ),
+
+     ? crc-value,
+
+   ]
+
+   bundle-control-flags = uint .bits bundleflagbits
+
+   bundleflagbits = &(
+
+     reserved: 20,
+
+     reserved: 19,
+
+     bundle-deletion-status-reports-are-requested: 18,
+
+     bundle-delivery-status-reports-are-requested: 17,
+
+     bundle-forwarding-status-reports-are-requested: 16,
+
+     reserved: 15,
+
+     bundle-reception-status-reports-are-requested: 14,
+
+     reserved: 13,
+
+     reserved: 12,
+
+     reserved: 11,
+
+     reserved: 10,
+
+     reserved: 9,
+
+     reserved: 8,
+
+     reserved: 7,
+
+     status-time-is-requested-in-all-status-reports: 6,
+
+     user-application-acknowledgement-is-requested: 5,
+
+     reserved: 4,
+
+     reserved: 3,
+
+     bundle-must-not-be-fragmented: 2,
+
+     payload-is-an-administrative-record: 1,
+
+     bundle-is-a-fragment: 0
+
+   )
+
+   ; Abstract shared structure of all non-primary blocks
+
+   canonical-block-structure = [
+
+     block-type-code: uint,
+
+     block-number: uint,
+
+     block-control-flags,
+
+     crc-type,
+
+     ; Each block type defines the content within the byte string
+
+     block-type-specific-data,
+
+     ? crc-value
+
+   ]
+
+   block-control-flags = uint .bits blockflagbits
+
+   blockflagbits = &(
+
+     reserved: 7,
+
+     reserved: 6,
+
+     reserved: 5,
+
+     block-must-be-removed-from-bundle-if-it-cannot-be-processed: 4,
+
+     reserved: 3,
+
+     bundle-must-be-deleted-if-block-cannot-be-processed: 2,
+
+     status-report-must-be-transmitted-if-block-cannot-be-processed:
+     1,
+
+     block-must-be-replicated-in-every-fragment: 0
+
+   )
+
+   block-type-specific-data = bstr / #6.24(bstr)
+
+   ; Actual CBOR data embedded in a byte string, with optional tag to
+   ; indicate so.
+
+   ; Additional plain bstr allows ciphertext data.
+
+   embedded-cbor<Item> = (bstr .cbor Item) / #6.24(bstr .cbor Item) /
+   bstr
+
+   ; Extension block type, which does not specialize other than the
+   ; code/number
+
+   extension-block =
+   $extension-block .within canonical-block-structure
+
+   ; Generic shared structure of all non-primary blocks
+
+   extension-block-use<CodeValue, BlockData> = [
+
+     block-type-code: CodeValue,
+
+     block-number: (uint .gt 1),
+
+     block-control-flags,
+
+     crc-type,
+
+     BlockData,
+
+     ? crc-value
+
+   ]
+
+   ; Payload block type
+
+   payload-block = payload-block-structure .within
+                   canonical-block-structure
+
+   payload-block-structure = [
+
+     block-type-code: 1,
+
+     block-number: 1,
+
+     block-control-flags,
+
+     crc-type,
+
+     $payload-block-data,
+
+     ? crc-value
+
+   ]
+
+   ; Arbitrary payload data, including non-CBOR byte string
+
+   $payload-block-data /= block-type-specific-data
+
+   ; Administrative record as a payload data specialization
+
+   $payload-block-data /= embedded-cbor<admin-record>
+
+   admin-record = $admin-record .within admin-record-structure
+
+   admin-record-structure = [
+
+     record-type-code: uint,
+
+     record-content: any
+
+   ]
+
+   ; Only one defined record type
+
+   $admin-record /= [1, status-record-content]
+
+   status-record-content = [
+
+     bundle-status-information,
+
+     status-report-reason-code: uint,
+
+     source-node-eid: eid,
+
+     subject-creation-timestamp: creation-timestamp,
+
+     ? (
+
+       subject-payload-offset: uint,
+
+       subject-payload-length: uint
+
+     )
+
+   ]
+
+   bundle-status-information = [
+
+     reporting-node-received-bundle: status-info-content,
+
+     reporting-node-forwarded-bundle: status-info-content,
+
+     reporting-node-delivered-bundle: status-info-content,
+
+     reporting-node-deleted-bundle: status-info-content
+
+   ]
+
+   status-info-content = [
+
+     status-indicator: bool,
+
+     ? timestamp: dtn-time
+
+   ]
+
+   ; Previous Node extension block
+
+   $extension-block /=
+
+     extension-block-use<6, embedded-cbor<ext-data-previous-node>>
+
+   ext-data-previous-node = eid
+
+   ; Bundle Age extension block
+
+   $extension-block /=
+
+     extension-block-use<7, embedded-cbor<ext-data-bundle-age>>
+
+   ext-data-bundle-age = uint
+
+   ; Hop Count extension block
+
+   $extension-block /=
+
+     extension-block-use<10, embedded-cbor<ext-data-hop-count>>
+
+   ext-data-hop-count = [
+
+     hop-limit: uint,
+
+     hop-count: uint
+
+   ]

data/data/rfc9173.cddl

@@ -0,0 +1,36 @@
+
+start = scope / AAD-list / IPPT-list ; satisfy CDDL decoders
+
+scope = uint .bits scope-flags
+scope-flags = &(
+    has-primary-ctx: 0,
+    has-target-ctx: 1,
+    has-security-ctx: 2,
+)
+
+; Encoded as a CBOR sequence
+AAD-list = [
+    AAD-structure
+]
+
+; Encoded as a CBOR sequence
+IPPT-list = [
+    AAD-structure,
+    target-btsd: bstr ; block-type-specific data of the target block.
+]
+
+AAD-structure = (
+    scope,
+    ? primary-block,  ; present if has-primary-ctx flag set
+    ? block-metadata, ; present if has-target-ctx flag set
+    ? block-metadata, ; present if has-security-ctx flag set
+)
+
+; Selected fields of a canonical block
+block-metadata = (
+    block-type-code: uint,
+    block-number: uint,
+    block-control-flags,
+)
+
+;# import rfc9171

data/data/rfc9177.cddl

@@ -0,0 +1,6 @@
+
+; This defines an array, the elements of which are to be used
+; in a CBOR Sequence:
+payload = [+ missing-block-number]
+; A unique block number not received:
+missing-block-number = uint

data/data/rfc9202.cddl

@@ -0,0 +1,6 @@
+
+      info = [
+        type : tstr,
+        L    : uint,
+        access_token : bytes
+      ]

data/data/rfc9203.cddl

@@ -0,0 +1,11 @@
+
+OSCORE_Input_Material = {
+    ? 0 => bstr,              ; id
+    ? 1 => int,               ; version
+    ? 2 => bstr,              ; ms
+    ? 3 => tstr / int,        ; hkdf
+    ? 4 => tstr / int,        ; alg
+    ? 5 => bstr,              ; salt
+    ? 6 => bstr,              ; contextId
+    * (int / tstr) => any
+}

data/data/rfc9237.cddl

@@ -0,0 +1,27 @@
+
+AIF-Generic<Toid, Tperm> = [* [Toid, Tperm]]
+
+
+AIF-Specific = AIF-Generic<tstr, uint>
+
+
+AIF-REST = AIF-Generic<local-path, REST-method-set>
+local-path = tstr   ; URI relative to enforcement point
+REST-method-set = uint .bits methods
+methods = &(
+  GET: 0
+  POST: 1
+  PUT: 2
+  DELETE: 3
+  FETCH: 4
+  PATCH: 5
+  iPATCH: 6
+  Dynamic-GET: 32; 0 .plus Dynamic-Offset
+  Dynamic-POST: 33; 1 .plus Dynamic-Offset
+  Dynamic-PUT: 34; 2 .plus Dynamic-Offset
+  Dynamic-DELETE: 35; 3 .plus Dynamic-Offset
+  Dynamic-FETCH: 36; 4 .plus Dynamic-Offset
+  Dynamic-PATCH: 37; 5 .plus Dynamic-Offset
+  Dynamic-iPATCH: 38; 6 .plus Dynamic-Offset
+)
+Dynamic-Offset = 32

data/data/rfc9277.cddl

@@ -0,0 +1,11 @@
+
+senml-cbor = #6.1668546929(bstr)
+
+
+missing-blocks = #6.1668547090(bstr)
+
+
+td-json-header = #6.55801(#6.1668547250('BOR'))
+
+
+json-deflate-header = #6.55801(#6.1668557910('BOR'))

data/data/rfc9290.cddl

@@ -0,0 +1,37 @@
+
+problem-details = non-empty<{
+  ? &(title: -1) => oltext
+  ? &(detail: -2) => oltext
+  ? &(instance: -3) => ~uri
+  ? &(response-code: -4) => uint .size 1
+  ? &(base-uri: -5) => ~uri
+  ? &(base-lang: -6) => tag38-ltag
+  ? &(base-rtl: -7) => tag38-direction
+  standard-problem-detail-entries
+  custom-problem-detail-entries
+}>
+
+standard-problem-detail-entries = (
+  * nint => any
+)
+
+custom-problem-detail-entries = (
+  * (uint/~uri) => { + any => any }
+)
+
+non-empty<M> = (M) .and ({ + any => any })
+
+oltext = text / tag38
+
+
+
+tag38 = #6.38([tag38-ltag, text, ?tag38-direction])
+tag38-ltag = text .regexp "[a-zA-Z]{1,8}(-[a-zA-Z0-9]{1,8})*"
+tag38-direction = &(ltr: false, rtl: true, auto: null)
+
+
+tunnel-7807 = {
+  ? &(type: 0) => ~uri
+  ? &(status: 1) => 0..999
+  * text => any
+}

data/data/rfc9321.cddl

@@ -0,0 +1,67 @@
+
+svt = {
+  jti: text
+  iss: text
+  iat: uint
+  ? aud: text / [* text]
+  ? exp: uint
+  sig_val_claims: SigValClaims
+}
+
+SigValClaims = {
+  ver: text
+  profile: text
+  hash_algo: text
+  sig: [+ Signature]
+  ? ext: Extension
+}
+
+Signature = {
+  sig_ref: SigReference
+  sig_data_ref: [+ SignedDataReference]
+  signer_cert_ref: CertReference
+  sig_val: [+ PolicyValidation]
+  ? time_val: [* TimeValidation]
+  ? ext: Extension
+}
+
+SigReference = {
+  ? id: text / null
+  sig_hash: binary-value
+  sb_hash: binary-value
+}
+
+SignedDataReference = {
+  ref: text
+  hash: binary-value
+}
+
+
+CertReference = {
+  type: "chain" / "chain_hash"
+  ref: [+ text]
+}
+
+PolicyValidation = {
+  pol: text
+  res: "PASSED" / "FAILED" / "INDETERMINATE"
+  ? msg: text / null
+  ? ext: Extension
+}
+
+TimeValidation = {
+  "time": uint
+  type: text
+  iss: text
+  ? id: text / null
+  ? hash: binary-value / null
+  ? val: [* PolicyValidation]
+  ? ext: Extension
+}
+
+
+Extension = {
+  + text => text
+} / null
+
+binary-value = text             ; base64 classic with padding

data/data/rfc9338.cddl

@@ -0,0 +1,34 @@
+
+      start = COSE_Countersignature_Tagged / Internal_Types
+
+      ; This is defined to make the tool quieter:
+      Internal_Types = Countersign_structure / COSE_Countersignature0
+
+
+      CountersignatureV2_header = (
+          ? 11 => COSE_Countersignature / [+ COSE_Countersignature]
+      )
+
+      Countersignature0V2_header = (
+          ? 12 => COSE_Countersignature0
+      )
+
+
+      COSE_Countersignature_Tagged = #6.19(COSE_Countersignature)
+      COSE_Countersignature = COSE_Signature
+
+
+      COSE_Countersignature0 = bstr
+
+
+      Countersign_structure = [
+        context : "CounterSignature" / "CounterSignature0" /
+                  "CounterSignatureV2" / "CounterSignature0V2",
+        body_protected : empty_or_serialized_map,
+        ? sign_protected : empty_or_serialized_map,
+        external_aad : bstr,
+        payload : bstr,
+        ? other_fields : [+ bstr ]
+      ]
+
+;# import rfc9052