{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CGADJSNN4UWNHZI7AXS4IL2K6E","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"93b7b80bcb21f2531802ebe7ac625d8569b5204ac2e1421e49bdd1990d31a6bc","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-10-14T15:35:42Z","title_canon_sha256":"c756e91a3fdd269ff5f1a80f85a6ef9c2545b14f51df07d4087335ffde36a4a3"},"schema_version":"1.0","source":{"id":"1310.3723","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.3723","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"arxiv_version","alias_value":"1310.3723v1","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.3723","created_at":"2026-05-18T03:10:35Z"},{"alias_kind":"pith_short_12","alias_value":"CGADJSNN4UWN","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CGADJSNN4UWNHZI7","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CGADJSNN","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:3720e06fcd8db4aadbcb16c9126a28eaf46e8ccb02f9a79bd3ec79a3662ec779","target":"graph","created_at":"2026-05-18T03:10:35Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"A security policy specifies a security property as the maximal information flow. A distributed system composed of interacting processes implicitly defines an intransitive security policy by repudiating direct information flow between processes that do not exchange messages directly. We show that implicitly defined security policies in distributed systems are enforced, provided that processes run in separation, and possible process communication on a technical platform is restricted to specified message paths of the system. Furthermore, we propose to further restrict the allowable information f","authors_text":"Denis Bytschkow, Georgeta Igna, Harald Ruess, Jean Quilbeuf","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-10-14T15:35:42Z","title":"Security policies for distributed systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.3723","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2400f42216dd44ae8221f4c67a8ea4995ddb98f614fb009c0d871efd22ec123a","target":"record","created_at":"2026-05-18T03:10:35Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"93b7b80bcb21f2531802ebe7ac625d8569b5204ac2e1421e49bdd1990d31a6bc","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-10-14T15:35:42Z","title_canon_sha256":"c756e91a3fdd269ff5f1a80f85a6ef9c2545b14f51df07d4087335ffde36a4a3"},"schema_version":"1.0","source":{"id":"1310.3723","kind":"arxiv","version":1}},"canonical_sha256":"118034c9ade52cd3e51f05e5c42f4af105241698097c7dfb36f1379795aee371","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"118034c9ade52cd3e51f05e5c42f4af105241698097c7dfb36f1379795aee371","first_computed_at":"2026-05-18T03:10:35.044184Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:35.044184Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E06EjXFxq7RIrU8rlWml49/HC+DClNdKUm+uMMCiSnvuQ+OboQVuWiN3lG1Tzx4wB+9/rpHJK9ccoVZp8ZPTDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:35.044621Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.3723","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2400f42216dd44ae8221f4c67a8ea4995ddb98f614fb009c0d871efd22ec123a","sha256:3720e06fcd8db4aadbcb16c9126a28eaf46e8ccb02f9a79bd3ec79a3662ec779"],"state_sha256":"f14ffba43345c728fb5ab9c78530ecd6341cfda2e0c9ad9a9b89edcd7f2ff7ab"}