{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:3KFKAYFDGVOECOXRNVVLURJQEU","short_pith_number":"pith:3KFKAYFD","canonical_record":{"source":{"id":"1110.3706","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-10-17T15:44:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b9cc816b0c9839fa4a9e18d469c1278c1cb5414ffd8257173bbbb7bbf8702062","abstract_canon_sha256":"f20f78d2038827a069ff830850ef94341bb88e2c950050024f4d1892a753b4a4"},"schema_version":"1.0"},"canonical_sha256":"da8aa060a3355c413af16d6aba45302539152b6c281c709264cbae14ce4a94ff","source":{"kind":"arxiv","id":"1110.3706","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.3706","created_at":"2026-05-18T04:10:48Z"},{"alias_kind":"arxiv_version","alias_value":"1110.3706v1","created_at":"2026-05-18T04:10:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.3706","created_at":"2026-05-18T04:10:48Z"},{"alias_kind":"pith_short_12","alias_value":"3KFKAYFDGVOE","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"3KFKAYFDGVOECOXR","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"3KFKAYFD","created_at":"2026-05-18T12:26:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:3KFKAYFDGVOECOXRNVVLURJQEU","target":"record","payload":{"canonical_record":{"source":{"id":"1110.3706","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-10-17T15:44:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b9cc816b0c9839fa4a9e18d469c1278c1cb5414ffd8257173bbbb7bbf8702062","abstract_canon_sha256":"f20f78d2038827a069ff830850ef94341bb88e2c950050024f4d1892a753b4a4"},"schema_version":"1.0"},"canonical_sha256":"da8aa060a3355c413af16d6aba45302539152b6c281c709264cbae14ce4a94ff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:10:48.663555Z","signature_b64":"bVNbMgkGdZQprT6iDw7Q8UlX3i26hfHY62ZZ21sQVfAqWjtKZdmyolw3gm47rkRdnoWyoClhYv1JVBoTnPYsCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da8aa060a3355c413af16d6aba45302539152b6c281c709264cbae14ce4a94ff","last_reissued_at":"2026-05-18T04:10:48.663059Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:10:48.663059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1110.3706","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-18T04:10:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h1eWxnSgP8iZvGyP3z1Mvyu7cdq9sEmGsEezKcOPDvOvY5QSAVvptXEZJr9viQlgq0yhsBRZjZnRpZ0Dxg9ACA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T08:36:56.729900Z"},"content_sha256":"b0592080f3a20d9b8918346798d14269de62e025de31f6d02945b101ed41a500","schema_version":"1.0","event_id":"sha256:b0592080f3a20d9b8918346798d14269de62e025de31f6d02945b101ed41a500"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:3KFKAYFDGVOECOXRNVVLURJQEU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Logic of XACML - Extended","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CR","authors_text":"Carroline Dewi Puspa Kencana Ramli, Flemming Nielson, Hanne Riis Nielson","submitted_at":"2011-10-17T15:44:42Z","abstract_excerpt":"We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML. To guard against modelling artefacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D-algebra."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.3706","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-18T04:10:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gwy/yyfd1nB/SKETHscXz35nmFqrNdgDW6YShyo4467nOGgRBSGBDL5MfZhs3D5oX67+ebIGO/UDOabHxJtLDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T08:36:56.730522Z"},"content_sha256":"faaf082875348e87c4a297cdf69aead0b68618342195830925cf21c37d91e58d","schema_version":"1.0","event_id":"sha256:faaf082875348e87c4a297cdf69aead0b68618342195830925cf21c37d91e58d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3KFKAYFDGVOECOXRNVVLURJQEU/bundle.json","state_url":"https://pith.science/pith/3KFKAYFDGVOECOXRNVVLURJQEU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3KFKAYFDGVOECOXRNVVLURJQEU/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-31T08:36:56Z","links":{"resolver":"https://pith.science/pith/3KFKAYFDGVOECOXRNVVLURJQEU","bundle":"https://pith.science/pith/3KFKAYFDGVOECOXRNVVLURJQEU/bundle.json","state":"https://pith.science/pith/3KFKAYFDGVOECOXRNVVLURJQEU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3KFKAYFDGVOECOXRNVVLURJQEU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:3KFKAYFDGVOECOXRNVVLURJQEU","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":"f20f78d2038827a069ff830850ef94341bb88e2c950050024f4d1892a753b4a4","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-10-17T15:44:42Z","title_canon_sha256":"b9cc816b0c9839fa4a9e18d469c1278c1cb5414ffd8257173bbbb7bbf8702062"},"schema_version":"1.0","source":{"id":"1110.3706","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.3706","created_at":"2026-05-18T04:10:48Z"},{"alias_kind":"arxiv_version","alias_value":"1110.3706v1","created_at":"2026-05-18T04:10:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.3706","created_at":"2026-05-18T04:10:48Z"},{"alias_kind":"pith_short_12","alias_value":"3KFKAYFDGVOE","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_16","alias_value":"3KFKAYFDGVOECOXR","created_at":"2026-05-18T12:26:18Z"},{"alias_kind":"pith_short_8","alias_value":"3KFKAYFD","created_at":"2026-05-18T12:26:18Z"}],"graph_snapshots":[{"event_id":"sha256:faaf082875348e87c4a297cdf69aead0b68618342195830925cf21c37d91e58d","target":"graph","created_at":"2026-05-18T04:10:48Z","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":"We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML. To guard against modelling artefacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D-algebra.","authors_text":"Carroline Dewi Puspa Kencana Ramli, Flemming Nielson, Hanne Riis Nielson","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-10-17T15:44:42Z","title":"The Logic of XACML - Extended"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.3706","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:b0592080f3a20d9b8918346798d14269de62e025de31f6d02945b101ed41a500","target":"record","created_at":"2026-05-18T04:10:48Z","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":"f20f78d2038827a069ff830850ef94341bb88e2c950050024f4d1892a753b4a4","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-10-17T15:44:42Z","title_canon_sha256":"b9cc816b0c9839fa4a9e18d469c1278c1cb5414ffd8257173bbbb7bbf8702062"},"schema_version":"1.0","source":{"id":"1110.3706","kind":"arxiv","version":1}},"canonical_sha256":"da8aa060a3355c413af16d6aba45302539152b6c281c709264cbae14ce4a94ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da8aa060a3355c413af16d6aba45302539152b6c281c709264cbae14ce4a94ff","first_computed_at":"2026-05-18T04:10:48.663059Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:10:48.663059Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bVNbMgkGdZQprT6iDw7Q8UlX3i26hfHY62ZZ21sQVfAqWjtKZdmyolw3gm47rkRdnoWyoClhYv1JVBoTnPYsCA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:10:48.663555Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.3706","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0592080f3a20d9b8918346798d14269de62e025de31f6d02945b101ed41a500","sha256:faaf082875348e87c4a297cdf69aead0b68618342195830925cf21c37d91e58d"],"state_sha256":"d283dcd9d4e3265f534012ed9ed1c94278c9d9ef70d175c63c2fc85d60b8c9c6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jLRfHdstvuvuW48JM8RjCFQH2MSX2QRqxW61IQgVfQLnNIh4fRTtQaT+aGzt+qZPwaJQ2ZjBHNkdllT4F/oiAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T08:36:56.733871Z","bundle_sha256":"a815bab620305caed8f4b301f2805324d6ef5c557d371695fb561fc7dba07130"}}