{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:FXE6UQPLXOZMY2RJQ7WZQBJY5G","short_pith_number":"pith:FXE6UQPL","canonical_record":{"source":{"id":"1409.2711","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-09T12:25:15Z","cross_cats_sorted":[],"title_canon_sha256":"e642c02e5f33703a57c6c1471e3358398d653863c8141b3e9997c03a6b7bd65d","abstract_canon_sha256":"846bc56e5a11c76f1d18c016d4e4201ffb4336f370352c3a8e599fa386587052"},"schema_version":"1.0"},"canonical_sha256":"2dc9ea41ebbbb2cc6a2987ed980538e99e7b2a62cbd5db83fcf5ad50f906c897","source":{"kind":"arxiv","id":"1409.2711","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2711","created_at":"2026-05-18T02:43:09Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2711v1","created_at":"2026-05-18T02:43:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2711","created_at":"2026-05-18T02:43:09Z"},{"alias_kind":"pith_short_12","alias_value":"FXE6UQPLXOZM","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FXE6UQPLXOZMY2RJ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FXE6UQPL","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:FXE6UQPLXOZMY2RJQ7WZQBJY5G","target":"record","payload":{"canonical_record":{"source":{"id":"1409.2711","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-09T12:25:15Z","cross_cats_sorted":[],"title_canon_sha256":"e642c02e5f33703a57c6c1471e3358398d653863c8141b3e9997c03a6b7bd65d","abstract_canon_sha256":"846bc56e5a11c76f1d18c016d4e4201ffb4336f370352c3a8e599fa386587052"},"schema_version":"1.0"},"canonical_sha256":"2dc9ea41ebbbb2cc6a2987ed980538e99e7b2a62cbd5db83fcf5ad50f906c897","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:09.927359Z","signature_b64":"xuWQR5asqQXQ81UUVfLQwNxBKIWvjubqArJCPMkaD24duqMuifqAHidbsPzB1V+PM2lGw/qm1mEdRuM+TobcDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2dc9ea41ebbbb2cc6a2987ed980538e99e7b2a62cbd5db83fcf5ad50f906c897","last_reissued_at":"2026-05-18T02:43:09.926850Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:09.926850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.2711","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-18T02:43:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2og366RjU+sSUs8sgZYC7WT4/jOKtTfrh0bzkmkp2vlXKXEppqvKovccr1CE+Tu6ix8y09uXtZYjwBugVLYzAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T13:04:31.648722Z"},"content_sha256":"f3b74d36351e9d2a4c289dceec4019ab3a43fcbdc2576e9997e25b4da7566551","schema_version":"1.0","event_id":"sha256:f3b74d36351e9d2a4c289dceec4019ab3a43fcbdc2576e9997e25b4da7566551"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:FXE6UQPLXOZMY2RJQ7WZQBJY5G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unifying Hyper and Epistemic Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bastien Maubert, Laura Bozzelli, Sophie Pinchinat","submitted_at":"2014-09-09T12:25:15Z","abstract_excerpt":"In the literature, two powerful temporal logic formalisms have been proposed for expressing information flow security requirements, that in general, go beyond regular properties. One is classic, based on the knowledge modalities of epistemic logic. The other one, the so called hyper logic, is more recent and subsumes many proposals from the literature; it is based on explicit and simultaneous quantification over multiple paths. In an attempt to better understand how these logics compare with each other, we consider the logic KCTL* (the extension of CTL* with knowledge modalities and synchronou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2711","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-18T02:43:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O6bqjKFZMWlPvHl0p11wUMIdpvSfbocIGUBPg0+QGIX01kIDcxQ98L1d4qqh6zLVtbnzuoJjIW1rdNfdAtA+Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T13:04:31.649052Z"},"content_sha256":"a184b466ee35d28bdd58a148774d78d7698a5d3cc48077740ba5cd86c046f8de","schema_version":"1.0","event_id":"sha256:a184b466ee35d28bdd58a148774d78d7698a5d3cc48077740ba5cd86c046f8de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FXE6UQPLXOZMY2RJQ7WZQBJY5G/bundle.json","state_url":"https://pith.science/pith/FXE6UQPLXOZMY2RJQ7WZQBJY5G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FXE6UQPLXOZMY2RJQ7WZQBJY5G/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-06-23T13:04:31Z","links":{"resolver":"https://pith.science/pith/FXE6UQPLXOZMY2RJQ7WZQBJY5G","bundle":"https://pith.science/pith/FXE6UQPLXOZMY2RJQ7WZQBJY5G/bundle.json","state":"https://pith.science/pith/FXE6UQPLXOZMY2RJQ7WZQBJY5G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FXE6UQPLXOZMY2RJQ7WZQBJY5G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FXE6UQPLXOZMY2RJQ7WZQBJY5G","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":"846bc56e5a11c76f1d18c016d4e4201ffb4336f370352c3a8e599fa386587052","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-09T12:25:15Z","title_canon_sha256":"e642c02e5f33703a57c6c1471e3358398d653863c8141b3e9997c03a6b7bd65d"},"schema_version":"1.0","source":{"id":"1409.2711","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2711","created_at":"2026-05-18T02:43:09Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2711v1","created_at":"2026-05-18T02:43:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2711","created_at":"2026-05-18T02:43:09Z"},{"alias_kind":"pith_short_12","alias_value":"FXE6UQPLXOZM","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FXE6UQPLXOZMY2RJ","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FXE6UQPL","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:a184b466ee35d28bdd58a148774d78d7698a5d3cc48077740ba5cd86c046f8de","target":"graph","created_at":"2026-05-18T02:43:09Z","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":"In the literature, two powerful temporal logic formalisms have been proposed for expressing information flow security requirements, that in general, go beyond regular properties. One is classic, based on the knowledge modalities of epistemic logic. The other one, the so called hyper logic, is more recent and subsumes many proposals from the literature; it is based on explicit and simultaneous quantification over multiple paths. In an attempt to better understand how these logics compare with each other, we consider the logic KCTL* (the extension of CTL* with knowledge modalities and synchronou","authors_text":"Bastien Maubert, Laura Bozzelli, Sophie Pinchinat","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-09T12:25:15Z","title":"Unifying Hyper and Epistemic Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2711","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:f3b74d36351e9d2a4c289dceec4019ab3a43fcbdc2576e9997e25b4da7566551","target":"record","created_at":"2026-05-18T02:43:09Z","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":"846bc56e5a11c76f1d18c016d4e4201ffb4336f370352c3a8e599fa386587052","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-09-09T12:25:15Z","title_canon_sha256":"e642c02e5f33703a57c6c1471e3358398d653863c8141b3e9997c03a6b7bd65d"},"schema_version":"1.0","source":{"id":"1409.2711","kind":"arxiv","version":1}},"canonical_sha256":"2dc9ea41ebbbb2cc6a2987ed980538e99e7b2a62cbd5db83fcf5ad50f906c897","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2dc9ea41ebbbb2cc6a2987ed980538e99e7b2a62cbd5db83fcf5ad50f906c897","first_computed_at":"2026-05-18T02:43:09.926850Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:09.926850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xuWQR5asqQXQ81UUVfLQwNxBKIWvjubqArJCPMkaD24duqMuifqAHidbsPzB1V+PM2lGw/qm1mEdRuM+TobcDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:09.927359Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.2711","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3b74d36351e9d2a4c289dceec4019ab3a43fcbdc2576e9997e25b4da7566551","sha256:a184b466ee35d28bdd58a148774d78d7698a5d3cc48077740ba5cd86c046f8de"],"state_sha256":"a1dfdd72d55cb5fe81cb52291a9eb597f7911d9de99225ebb06e06d9aa29260d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kAln77Eo64TbgyaCMZzCOTn3MfrQp6KPQLXjUwaD4KZRAwIDaThbIrymyQ+ZgSXROPuUnhgnNszjCKDy9iJVCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T13:04:31.650886Z","bundle_sha256":"7651eab69f0bf4d2c117dc7773d9b64eb539046b32c1793bf38827efecab40af"}}