{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:JISYY5CHBFDHUPMYGQHAOIFI3M","short_pith_number":"pith:JISYY5CH","schema_version":"1.0","canonical_sha256":"4a258c744709467a3d98340e0720a8db26b26c93d25af10d204d9d597c140c72","source":{"kind":"arxiv","id":"1504.07948","version":2},"attestation_state":"computed","paper":{"title":"Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Adam J. Lee, William C. Garrison III","submitted_at":"2015-04-29T18:16:35Z","abstract_excerpt":"Access control is fundamental to computer security, and has thus been the subject of extensive formal study. In particular, *relative expressiveness analysis* techniques have used formal mappings called *simulations* to explore whether one access control system is capable of emulating another, thereby comparing the expressive power of these systems. Unfortunately, the notions of expressiveness simulation that have been explored vary widely, which makes it difficult to compare results in the literature, and even leads to apparent contradictions between results. Furthermore, some notions of expr"},"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":"1504.07948","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2015-04-29T18:16:35Z","cross_cats_sorted":[],"title_canon_sha256":"f22ef42e9fdde6160260af58011cfaf422a163c08721ac19b619ce78730f4393","abstract_canon_sha256":"fdd1dac3b752244df19b69c867f98b7ab18ea7d26a7c627b8dbdc80e345f6af8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:17:10.718024Z","signature_b64":"wuZUmrZaHFpk6bq9mt5ia09h6ncbow0AUGHpRCUZxwVMqz0aKsS+uWN4Z43qPJsGv3woQLs0C80C5f+HEaYqDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a258c744709467a3d98340e0720a8db26b26c93d25af10d204d9d597c140c72","last_reissued_at":"2026-05-18T02:17:10.717370Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:17:10.717370Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Adam J. Lee, William C. Garrison III","submitted_at":"2015-04-29T18:16:35Z","abstract_excerpt":"Access control is fundamental to computer security, and has thus been the subject of extensive formal study. In particular, *relative expressiveness analysis* techniques have used formal mappings called *simulations* to explore whether one access control system is capable of emulating another, thereby comparing the expressive power of these systems. Unfortunately, the notions of expressiveness simulation that have been explored vary widely, which makes it difficult to compare results in the literature, and even leads to apparent contradictions between results. Furthermore, some notions of expr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07948","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1504.07948","created_at":"2026-05-18T02:17:10.717471+00:00"},{"alias_kind":"arxiv_version","alias_value":"1504.07948v2","created_at":"2026-05-18T02:17:10.717471+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07948","created_at":"2026-05-18T02:17:10.717471+00:00"},{"alias_kind":"pith_short_12","alias_value":"JISYY5CHBFDH","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_16","alias_value":"JISYY5CHBFDHUPMY","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_8","alias_value":"JISYY5CH","created_at":"2026-05-18T12:29:27.538025+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/JISYY5CHBFDHUPMYGQHAOIFI3M","json":"https://pith.science/pith/JISYY5CHBFDHUPMYGQHAOIFI3M.json","graph_json":"https://pith.science/api/pith-number/JISYY5CHBFDHUPMYGQHAOIFI3M/graph.json","events_json":"https://pith.science/api/pith-number/JISYY5CHBFDHUPMYGQHAOIFI3M/events.json","paper":"https://pith.science/paper/JISYY5CH"},"agent_actions":{"view_html":"https://pith.science/pith/JISYY5CHBFDHUPMYGQHAOIFI3M","download_json":"https://pith.science/pith/JISYY5CHBFDHUPMYGQHAOIFI3M.json","view_paper":"https://pith.science/paper/JISYY5CH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1504.07948&json=true","fetch_graph":"https://pith.science/api/pith-number/JISYY5CHBFDHUPMYGQHAOIFI3M/graph.json","fetch_events":"https://pith.science/api/pith-number/JISYY5CHBFDHUPMYGQHAOIFI3M/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JISYY5CHBFDHUPMYGQHAOIFI3M/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JISYY5CHBFDHUPMYGQHAOIFI3M/action/storage_attestation","attest_author":"https://pith.science/pith/JISYY5CHBFDHUPMYGQHAOIFI3M/action/author_attestation","sign_citation":"https://pith.science/pith/JISYY5CHBFDHUPMYGQHAOIFI3M/action/citation_signature","submit_replication":"https://pith.science/pith/JISYY5CHBFDHUPMYGQHAOIFI3M/action/replication_record"}},"created_at":"2026-05-18T02:17:10.717471+00:00","updated_at":"2026-05-18T02:17:10.717471+00:00"}