{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:M4NBIODRGYPSC7EYG2RSEEWAOJ","short_pith_number":"pith:M4NBIODR","canonical_record":{"source":{"id":"1402.0601","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-02-04T03:23:17Z","cross_cats_sorted":[],"title_canon_sha256":"e3cdd25c3071998b37efd044003a58cae00d4942ef3ecf3928fd74cefb8a7912","abstract_canon_sha256":"199cfedf1c4564657eedbca3ec85d70818dd251855a8a491534791514caf3329"},"schema_version":"1.0"},"canonical_sha256":"671a143871361f217c9836a32212c0724ad1d5bb21de40b3a0c9c08c1befd849","source":{"kind":"arxiv","id":"1402.0601","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.0601","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"arxiv_version","alias_value":"1402.0601v1","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0601","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"pith_short_12","alias_value":"M4NBIODRGYPS","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"M4NBIODRGYPSC7EY","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"M4NBIODR","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:M4NBIODRGYPSC7EYG2RSEEWAOJ","target":"record","payload":{"canonical_record":{"source":{"id":"1402.0601","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-02-04T03:23:17Z","cross_cats_sorted":[],"title_canon_sha256":"e3cdd25c3071998b37efd044003a58cae00d4942ef3ecf3928fd74cefb8a7912","abstract_canon_sha256":"199cfedf1c4564657eedbca3ec85d70818dd251855a8a491534791514caf3329"},"schema_version":"1.0"},"canonical_sha256":"671a143871361f217c9836a32212c0724ad1d5bb21de40b3a0c9c08c1befd849","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:00:13.585968Z","signature_b64":"se9ecFtk+3CFoA8vsYDwUHk8ZUlUKImXl5AK7eAvvkFnqb8ujOb+SHwWYnF+WW3D56lxj/EHPGYiqMvX6+DTAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"671a143871361f217c9836a32212c0724ad1d5bb21de40b3a0c9c08c1befd849","last_reissued_at":"2026-05-18T03:00:13.585119Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:00:13.585119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.0601","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:00:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v9yKJERSUgJOBS3fbnh8IynkV0zm2UpW2pKaz8UTWTuguMFqxBPQV7HO/nqtx2w3bEX+fWe01/+8V9fk1oiNBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:16:49.709999Z"},"content_sha256":"62955415051bbe44f404ed270150ae9547d238ecdc34f21326d87885d2c28ee3","schema_version":"1.0","event_id":"sha256:62955415051bbe44f404ed270150ae9547d238ecdc34f21326d87885d2c28ee3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:M4NBIODRGYPSC7EYG2RSEEWAOJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Complexity of Synchronous Notions of Information Flow Security","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Chenyi Zhang, Franck Cassez, Ron van der Meyden","submitted_at":"2014-02-04T03:23:17Z","abstract_excerpt":"The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one in which agents operate synchronously with awareness of the global clock. This enables timing based attacks to be captured, whereas previous work on this topic has dealt primarily with asynchronous systems. Versions of the notions of nondeducibility on inputs, nondeducibility on strategies, and an unwinding based notion are formulated for this model. All three notions are shown to be decidable, and their computational com"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0601","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:00:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JmsiAFGd8BMhZ2NSxILQVC6G7B2/lAfZrzw2XhHGXr6tbDCNekwrfNlzOJDTx2lxNBrtnA1voCTpVaNhEv3yBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:16:49.710405Z"},"content_sha256":"159fa312d2fa36296b4ea8209201af0f2572624d8fd026f83da43a82c8caa40b","schema_version":"1.0","event_id":"sha256:159fa312d2fa36296b4ea8209201af0f2572624d8fd026f83da43a82c8caa40b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M4NBIODRGYPSC7EYG2RSEEWAOJ/bundle.json","state_url":"https://pith.science/pith/M4NBIODRGYPSC7EYG2RSEEWAOJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M4NBIODRGYPSC7EYG2RSEEWAOJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-30T16:16:49Z","links":{"resolver":"https://pith.science/pith/M4NBIODRGYPSC7EYG2RSEEWAOJ","bundle":"https://pith.science/pith/M4NBIODRGYPSC7EYG2RSEEWAOJ/bundle.json","state":"https://pith.science/pith/M4NBIODRGYPSC7EYG2RSEEWAOJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M4NBIODRGYPSC7EYG2RSEEWAOJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:M4NBIODRGYPSC7EYG2RSEEWAOJ","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":"199cfedf1c4564657eedbca3ec85d70818dd251855a8a491534791514caf3329","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-02-04T03:23:17Z","title_canon_sha256":"e3cdd25c3071998b37efd044003a58cae00d4942ef3ecf3928fd74cefb8a7912"},"schema_version":"1.0","source":{"id":"1402.0601","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.0601","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"arxiv_version","alias_value":"1402.0601v1","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0601","created_at":"2026-05-18T03:00:13Z"},{"alias_kind":"pith_short_12","alias_value":"M4NBIODRGYPS","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"M4NBIODRGYPSC7EY","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"M4NBIODR","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:159fa312d2fa36296b4ea8209201af0f2572624d8fd026f83da43a82c8caa40b","target":"graph","created_at":"2026-05-18T03:00:13Z","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":"The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one in which agents operate synchronously with awareness of the global clock. This enables timing based attacks to be captured, whereas previous work on this topic has dealt primarily with asynchronous systems. Versions of the notions of nondeducibility on inputs, nondeducibility on strategies, and an unwinding based notion are formulated for this model. All three notions are shown to be decidable, and their computational com","authors_text":"Chenyi Zhang, Franck Cassez, Ron van der Meyden","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-02-04T03:23:17Z","title":"The Complexity of Synchronous Notions of Information Flow Security"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0601","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:62955415051bbe44f404ed270150ae9547d238ecdc34f21326d87885d2c28ee3","target":"record","created_at":"2026-05-18T03:00:13Z","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":"199cfedf1c4564657eedbca3ec85d70818dd251855a8a491534791514caf3329","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2014-02-04T03:23:17Z","title_canon_sha256":"e3cdd25c3071998b37efd044003a58cae00d4942ef3ecf3928fd74cefb8a7912"},"schema_version":"1.0","source":{"id":"1402.0601","kind":"arxiv","version":1}},"canonical_sha256":"671a143871361f217c9836a32212c0724ad1d5bb21de40b3a0c9c08c1befd849","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"671a143871361f217c9836a32212c0724ad1d5bb21de40b3a0c9c08c1befd849","first_computed_at":"2026-05-18T03:00:13.585119Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:00:13.585119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"se9ecFtk+3CFoA8vsYDwUHk8ZUlUKImXl5AK7eAvvkFnqb8ujOb+SHwWYnF+WW3D56lxj/EHPGYiqMvX6+DTAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:00:13.585968Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.0601","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:62955415051bbe44f404ed270150ae9547d238ecdc34f21326d87885d2c28ee3","sha256:159fa312d2fa36296b4ea8209201af0f2572624d8fd026f83da43a82c8caa40b"],"state_sha256":"030a9400601020a3d3002a24dd548b3e51e77daefdb39d2e691c16160ba8abc1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i5eKRWNgUOrEEJsHAImZfGPVQFtQVXJxZONYO12wR73n0fQqpL6PbQk7CgmmRBVE9cL2VsoVdkoHljTjfYTzDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T16:16:49.713087Z","bundle_sha256":"b4c42c682cc1040ac39eba4517f8528aa34bfbfa882bddcdc511a96770ae54bb"}}