{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:SI62LS6SWELE5SUGPSPC33E6GD","short_pith_number":"pith:SI62LS6S","schema_version":"1.0","canonical_sha256":"923da5cbd2b1164eca867c9e2dec9e30dc86383eee14cb746a1188f117eae8b0","source":{"kind":"arxiv","id":"2606.08119","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.08119","created_at":"2026-06-09T01:05:27.153120+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.08119v1","created_at":"2026-06-09T01:05:27.153120+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.08119","created_at":"2026-06-09T01:05:27.153120+00:00"},{"alias_kind":"pith_short_12","alias_value":"SI62LS6SWELE","created_at":"2026-06-09T01:05:27.153120+00:00"},{"alias_kind":"pith_short_16","alias_value":"SI62LS6SWELE5SUG","created_at":"2026-06-09T01:05:27.153120+00:00"},{"alias_kind":"pith_short_8","alias_value":"SI62LS6S","created_at":"2026-06-09T01:05:27.153120+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD","json":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD.json","graph_json":"https://pith.science/api/pith-number/SI62LS6SWELE5SUGPSPC33E6GD/graph.json","events_json":"https://pith.science/api/pith-number/SI62LS6SWELE5SUGPSPC33E6GD/events.json","paper":"https://pith.science/paper/SI62LS6S"},"agent_actions":{"view_html":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD","download_json":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD.json","view_paper":"https://pith.science/paper/SI62LS6S","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.08119&json=true","fetch_graph":"https://pith.science/api/pith-number/SI62LS6SWELE5SUGPSPC33E6GD/graph.json","fetch_events":"https://pith.science/api/pith-number/SI62LS6SWELE5SUGPSPC33E6GD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/action/storage_attestation","attest_author":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/action/author_attestation","sign_citation":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/action/citation_signature","submit_replication":"https://pith.science/pith/SI62LS6SWELE5SUGPSPC33E6GD/action/replication_record"}},"created_at":"2026-06-09T01:05:27.153120+00:00","updated_at":"2026-06-09T01:05:27.153120+00:00"}