diff --git a/CIDFINMA_spec_Z.zed16 b/CIDFINMA_spec_Z.zed16 index d1a3438..baa90ee 100644 --- a/CIDFINMA_spec_Z.zed16 +++ b/CIDFINMA_spec_Z.zed16 @@ -90,8 +90,11 @@ Specification requirements: └ ┌ CIDSTORINGNODESAUDITLOG cidStoringNodesIds: ℙ NODEID + NODE | #(cidStoringNodesIds) < 6 + ∀ cidDataCategory : ran nodeDataCategories ⦁ + cidDataCategory ∈ CIDCATEGORIES ⇒ nodeId ∈ cidStoringNodesIds └ ┌ CIDBULKLOG cidBulkAccess: USER ↔ NODEID