{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XWAZR3WPRS6IMEUW7SJLWWXWG7","short_pith_number":"pith:XWAZR3WP","canonical_record":{"source":{"id":"1601.05187","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-01-20T07:04:28Z","cross_cats_sorted":[],"title_canon_sha256":"a7440d36ab2bef23f8b4e8a72be15d13ccee327623a166f3e741be7ec7213453","abstract_canon_sha256":"8422c68136f0e4bc4e7c3db02711d27c2598d9876637dc95628d86dd573506f3"},"schema_version":"1.0"},"canonical_sha256":"bd8198eecf8cbc861296fc92bb5af637c8861f934139debbb2a61080b2e60e9c","source":{"kind":"arxiv","id":"1601.05187","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.05187","created_at":"2026-05-18T01:22:15Z"},{"alias_kind":"arxiv_version","alias_value":"1601.05187v1","created_at":"2026-05-18T01:22:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.05187","created_at":"2026-05-18T01:22:15Z"},{"alias_kind":"pith_short_12","alias_value":"XWAZR3WPRS6I","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XWAZR3WPRS6IMEUW","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XWAZR3WP","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XWAZR3WPRS6IMEUW7SJLWWXWG7","target":"record","payload":{"canonical_record":{"source":{"id":"1601.05187","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-01-20T07:04:28Z","cross_cats_sorted":[],"title_canon_sha256":"a7440d36ab2bef23f8b4e8a72be15d13ccee327623a166f3e741be7ec7213453","abstract_canon_sha256":"8422c68136f0e4bc4e7c3db02711d27c2598d9876637dc95628d86dd573506f3"},"schema_version":"1.0"},"canonical_sha256":"bd8198eecf8cbc861296fc92bb5af637c8861f934139debbb2a61080b2e60e9c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:22:15.914381Z","signature_b64":"Vo7QuuxIUp9fWKr4ACzLf7rnoSg0dtTST5yhh7gJYpbTPmp0OOHL4X/AMowbuIUIocG+am73m/vkqvCNQ/hdDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd8198eecf8cbc861296fc92bb5af637c8861f934139debbb2a61080b2e60e9c","last_reissued_at":"2026-05-18T01:22:15.913736Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:22:15.913736Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.05187","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-18T01:22:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p8KuTsWdcTmcRJNTybGKMTulwniGwJQec54IBkmEKqsnu4n7+ezwhuNwpJOkhsTrdzdiBOOdmoHstlkg+4snBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T15:25:50.533161Z"},"content_sha256":"bbb1772daed8ed6691399125e4cd33674a77be48f48a2508a872f49faecca72c","schema_version":"1.0","event_id":"sha256:bbb1772daed8ed6691399125e4cd33674a77be48f48a2508a872f49faecca72c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XWAZR3WPRS6IMEUW7SJLWWXWG7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dynamic Intransitive Noninterference Revisited","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Ron van der Meyden, Sebastian Eggert","submitted_at":"2016-01-20T07:04:28Z","abstract_excerpt":"The paper studies dynamic information flow security policies in an automaton-based model. Two semantic interpretations of such policies are developed, both of which generalize the notion of TA-security [van der Meyden ESORICS 2007] for static intransitive noninterference policies. One of the interpretations focuses on information flows permitted by policy edges, the other focuses on prohibitions implied by absence of policy edges. In general, the two interpretations differ, but necessary and sufficient conditions are identified for the two interpretations to be equivalent. Sound and complete p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.05187","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-18T01:22:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EfQvNsi/lEg+OtIkyvkrtFPHvbnXI/hxdfQyUCNkgC9yP293e0s2c08VBk4xfQgpUzxNCtRkG52JuRHP1ZQFBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T15:25:50.533897Z"},"content_sha256":"7211fa14bd3173ef6ca30604838017ac4244005cac7ba9ceeb7a61228b48509f","schema_version":"1.0","event_id":"sha256:7211fa14bd3173ef6ca30604838017ac4244005cac7ba9ceeb7a61228b48509f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XWAZR3WPRS6IMEUW7SJLWWXWG7/bundle.json","state_url":"https://pith.science/pith/XWAZR3WPRS6IMEUW7SJLWWXWG7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XWAZR3WPRS6IMEUW7SJLWWXWG7/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-25T15:25:50Z","links":{"resolver":"https://pith.science/pith/XWAZR3WPRS6IMEUW7SJLWWXWG7","bundle":"https://pith.science/pith/XWAZR3WPRS6IMEUW7SJLWWXWG7/bundle.json","state":"https://pith.science/pith/XWAZR3WPRS6IMEUW7SJLWWXWG7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XWAZR3WPRS6IMEUW7SJLWWXWG7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XWAZR3WPRS6IMEUW7SJLWWXWG7","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":"8422c68136f0e4bc4e7c3db02711d27c2598d9876637dc95628d86dd573506f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-01-20T07:04:28Z","title_canon_sha256":"a7440d36ab2bef23f8b4e8a72be15d13ccee327623a166f3e741be7ec7213453"},"schema_version":"1.0","source":{"id":"1601.05187","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.05187","created_at":"2026-05-18T01:22:15Z"},{"alias_kind":"arxiv_version","alias_value":"1601.05187v1","created_at":"2026-05-18T01:22:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.05187","created_at":"2026-05-18T01:22:15Z"},{"alias_kind":"pith_short_12","alias_value":"XWAZR3WPRS6I","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XWAZR3WPRS6IMEUW","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XWAZR3WP","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:7211fa14bd3173ef6ca30604838017ac4244005cac7ba9ceeb7a61228b48509f","target":"graph","created_at":"2026-05-18T01:22:15Z","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 studies dynamic information flow security policies in an automaton-based model. Two semantic interpretations of such policies are developed, both of which generalize the notion of TA-security [van der Meyden ESORICS 2007] for static intransitive noninterference policies. One of the interpretations focuses on information flows permitted by policy edges, the other focuses on prohibitions implied by absence of policy edges. In general, the two interpretations differ, but necessary and sufficient conditions are identified for the two interpretations to be equivalent. Sound and complete p","authors_text":"Ron van der Meyden, Sebastian Eggert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-01-20T07:04:28Z","title":"Dynamic Intransitive Noninterference Revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.05187","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:bbb1772daed8ed6691399125e4cd33674a77be48f48a2508a872f49faecca72c","target":"record","created_at":"2026-05-18T01:22:15Z","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":"8422c68136f0e4bc4e7c3db02711d27c2598d9876637dc95628d86dd573506f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-01-20T07:04:28Z","title_canon_sha256":"a7440d36ab2bef23f8b4e8a72be15d13ccee327623a166f3e741be7ec7213453"},"schema_version":"1.0","source":{"id":"1601.05187","kind":"arxiv","version":1}},"canonical_sha256":"bd8198eecf8cbc861296fc92bb5af637c8861f934139debbb2a61080b2e60e9c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd8198eecf8cbc861296fc92bb5af637c8861f934139debbb2a61080b2e60e9c","first_computed_at":"2026-05-18T01:22:15.913736Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:22:15.913736Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Vo7QuuxIUp9fWKr4ACzLf7rnoSg0dtTST5yhh7gJYpbTPmp0OOHL4X/AMowbuIUIocG+am73m/vkqvCNQ/hdDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:22:15.914381Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.05187","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbb1772daed8ed6691399125e4cd33674a77be48f48a2508a872f49faecca72c","sha256:7211fa14bd3173ef6ca30604838017ac4244005cac7ba9ceeb7a61228b48509f"],"state_sha256":"93999bd6c2401ebea7766f5fd57e1ec745a38b1b00e882fa3c483ed6d3275cf6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G+AWQ/UnObRU5aX/U/WycXXTXeK41UsK3V++lNuk8qmRtR/ZuVuoGriaKBkso2PnVzVxepgafb9miVLZ9V8kBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T15:25:50.537745Z","bundle_sha256":"df7ffb45670ff02c952553a320aba16120b02de086ed41ae8e9b17505de8096a"}}