{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:SI62LS6SWELE5SUGPSPC33E6GD","short_pith_number":"pith:SI62LS6S","canonical_record":{"source":{"id":"2606.08119","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-06T11:48:00Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"5e3c30fe46e3687359ddb2d125302804ddb0eff1fb2df242798dbbdf31985d4d","abstract_canon_sha256":"62902be8fc17543e004525ab2b5eae584d7a48b83b00c583fe4ac10b97c0bfe0"},"schema_version":"1.0"},"canonical_sha256":"923da5cbd2b1164eca867c9e2dec9e30dc86383eee14cb746a1188f117eae8b0","source":{"kind":"arxiv","id":"2606.08119","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.08119","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"arxiv_version","alias_value":"2606.08119v1","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.08119","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"pith_short_12","alias_value":"SI62LS6SWELE","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"pith_short_16","alias_value":"SI62LS6SWELE5SUG","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"pith_short_8","alias_value":"SI62LS6S","created_at":"2026-06-09T01:05:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:SI62LS6SWELE5SUGPSPC33E6GD","target":"record","payload":{"canonical_record":{"source":{"id":"2606.08119","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-06T11:48:00Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"5e3c30fe46e3687359ddb2d125302804ddb0eff1fb2df242798dbbdf31985d4d","abstract_canon_sha256":"62902be8fc17543e004525ab2b5eae584d7a48b83b00c583fe4ac10b97c0bfe0"},"schema_version":"1.0"},"canonical_sha256":"923da5cbd2b1164eca867c9e2dec9e30dc86383eee14cb746a1188f117eae8b0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T01:05:27.153492Z","signature_b64":"7rGes4Y8/qoFm15MMJ5WR5v2HARdARMyDB54SGFXYOduB4I0U+GoHZxZdlzgTWF3VUZ0XXog8dheEIR+8Qo4Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"923da5cbd2b1164eca867c9e2dec9e30dc86383eee14cb746a1188f117eae8b0","last_reissued_at":"2026-06-09T01:05:27.153053Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T01:05:27.153053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.08119","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-06-09T01:05:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z8NknSNZAk1eMCl3X+FE6d7QqIW2K+OPO61tZ3YxLtiie7BgFEU266CHSi5bPIHgNh+yw95PpjkS6n3HgIrOBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:25:58.419004Z"},"content_sha256":"2cc37f4039a56bbe08c6031a93f323e690d120d3b72335a1d8936cd131347ed1","schema_version":"1.0","event_id":"sha256:2cc37f4039a56bbe08c6031a93f323e690d120d3b72335a1d8936cd131347ed1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:SI62LS6SWELE5SUGPSPC33E6GD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Policy Description Language for Authorization using Logic-Based Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.OS"],"primary_cat":"cs.CR","authors_text":"Hidehiko Tanaka, Hidenori Tsuji, Masaki Hashimoto, Mira Kim","submitted_at":"2026-06-06T11:48:00Z","abstract_excerpt":"Recently, with the impossibility of eradicating the vulnerabilities of information systems, we must prepare for the occurrence of the security incident by the multi-layer defense called the Defense-in-Depth strategy. In the multi-layer defense, it is important to authorize accesses in fine-grained granularity to compose each layer effectively, and many access control models are proposed to follow them. However, policy description languages proposed so far cannot express the models appropriately in proper granularity. In this paper, we propose a policy description language which can designate m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.08119","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.08119/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-06-09T01:05:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Wg0+ZnBLgriXSsOutUJzIuraTGRgNpRvqMU61uoeCe8UGvEnKsXKbVyt6VMNeDjlq8A+5ns6Ud14jSv+Z40CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T19:25:58.419756Z"},"content_sha256":"f63699723022b89b08f19e027273977fc680b9ad3db74673b32b9f00511e0ca9","schema_version":"1.0","event_id":"sha256:f63699723022b89b08f19e027273977fc680b9ad3db74673b32b9f00511e0ca9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/bundle.json","state_url":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SI62LS6SWELE5SUGPSPC33E6GD/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-29T19:25:58Z","links":{"resolver":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD","bundle":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/bundle.json","state":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SI62LS6SWELE5SUGPSPC33E6GD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:SI62LS6SWELE5SUGPSPC33E6GD","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":"62902be8fc17543e004525ab2b5eae584d7a48b83b00c583fe4ac10b97c0bfe0","cross_cats_sorted":["cs.OS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-06T11:48:00Z","title_canon_sha256":"5e3c30fe46e3687359ddb2d125302804ddb0eff1fb2df242798dbbdf31985d4d"},"schema_version":"1.0","source":{"id":"2606.08119","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.08119","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"arxiv_version","alias_value":"2606.08119v1","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.08119","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"pith_short_12","alias_value":"SI62LS6SWELE","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"pith_short_16","alias_value":"SI62LS6SWELE5SUG","created_at":"2026-06-09T01:05:27Z"},{"alias_kind":"pith_short_8","alias_value":"SI62LS6S","created_at":"2026-06-09T01:05:27Z"}],"graph_snapshots":[{"event_id":"sha256:f63699723022b89b08f19e027273977fc680b9ad3db74673b32b9f00511e0ca9","target":"graph","created_at":"2026-06-09T01:05:27Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.08119/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recently, with the impossibility of eradicating the vulnerabilities of information systems, we must prepare for the occurrence of the security incident by the multi-layer defense called the Defense-in-Depth strategy. In the multi-layer defense, it is important to authorize accesses in fine-grained granularity to compose each layer effectively, and many access control models are proposed to follow them. However, policy description languages proposed so far cannot express the models appropriately in proper granularity. In this paper, we propose a policy description language which can designate m","authors_text":"Hidehiko Tanaka, Hidenori Tsuji, Masaki Hashimoto, Mira Kim","cross_cats":["cs.OS"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-06T11:48:00Z","title":"Policy Description Language for Authorization using Logic-Based Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.08119","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:2cc37f4039a56bbe08c6031a93f323e690d120d3b72335a1d8936cd131347ed1","target":"record","created_at":"2026-06-09T01:05:27Z","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":"62902be8fc17543e004525ab2b5eae584d7a48b83b00c583fe4ac10b97c0bfe0","cross_cats_sorted":["cs.OS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-06T11:48:00Z","title_canon_sha256":"5e3c30fe46e3687359ddb2d125302804ddb0eff1fb2df242798dbbdf31985d4d"},"schema_version":"1.0","source":{"id":"2606.08119","kind":"arxiv","version":1}},"canonical_sha256":"923da5cbd2b1164eca867c9e2dec9e30dc86383eee14cb746a1188f117eae8b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"923da5cbd2b1164eca867c9e2dec9e30dc86383eee14cb746a1188f117eae8b0","first_computed_at":"2026-06-09T01:05:27.153053Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T01:05:27.153053Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7rGes4Y8/qoFm15MMJ5WR5v2HARdARMyDB54SGFXYOduB4I0U+GoHZxZdlzgTWF3VUZ0XXog8dheEIR+8Qo4Bg==","signature_status":"signed_v1","signed_at":"2026-06-09T01:05:27.153492Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.08119","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2cc37f4039a56bbe08c6031a93f323e690d120d3b72335a1d8936cd131347ed1","sha256:f63699723022b89b08f19e027273977fc680b9ad3db74673b32b9f00511e0ca9"],"state_sha256":"b49e24799c3db7bb0533001f3df071753c545e4f5822e3fca6eb707df525dd23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CSJ3cJw5aZXq0f3Pt83Jpsqq2ZX6DlRxI5au+IwZmntJKaYCcYFt3+Nq7NsBkDTW5cTVEJcB8Dw881A+usouDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T19:25:58.421676Z","bundle_sha256":"0217e06cbf3b652a5469960f58697c6ae93b5b61cb735ca27cbe6f2891a0ff6a"}}