{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:OJ3DFHCMTAI2YSM2DCVDGQMFTV","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":"c4ee004ec301a18836460b97c84e89815d3b41511617ccbfac5eb5f412989889","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-06-19T17:35:43Z","title_canon_sha256":"8d8b40c04693ad871258663d42f70fbb8bb9cd5f78d4e7cfef7d6e17196ecdee"},"schema_version":"1.0","source":{"id":"1306.4624","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.4624","created_at":"2026-05-18T03:20:22Z"},{"alias_kind":"arxiv_version","alias_value":"1306.4624v2","created_at":"2026-05-18T03:20:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.4624","created_at":"2026-05-18T03:20:22Z"},{"alias_kind":"pith_short_12","alias_value":"OJ3DFHCMTAI2","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OJ3DFHCMTAI2YSM2","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OJ3DFHCM","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:b772bd4a6f7e28c53fdb59405bf12634a40d5057edca733381d0efc14cd19e6b","target":"graph","created_at":"2026-05-18T03:20:22Z","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":"Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security relevant information can be collected from different sources. However, ABAC enables attribute hiding attacks, allowing an attacker to gain some access by withholding information. In this paper, we first introduce the notion of policy resistance to attribute hiding attacks. We then propose the tool ATRAP (Automatic Term Rewriting for Authorisation Policies), b","authors_text":"Andreas Griesmayer, Charles Morisset","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-06-19T17:35:43Z","title":"Automated Certification of Authorisation Policy Resistance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.4624","kind":"arxiv","version":2},"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:5218516cfa0fbff2a1d04bbc6fe23fb6deb9c264f9dd2dc5cfb810869f94a4e0","target":"record","created_at":"2026-05-18T03:20:22Z","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":"c4ee004ec301a18836460b97c84e89815d3b41511617ccbfac5eb5f412989889","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-06-19T17:35:43Z","title_canon_sha256":"8d8b40c04693ad871258663d42f70fbb8bb9cd5f78d4e7cfef7d6e17196ecdee"},"schema_version":"1.0","source":{"id":"1306.4624","kind":"arxiv","version":2}},"canonical_sha256":"7276329c4c9811ac499a18aa3341859d7247217ac2d0014a98145012d6dd8577","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7276329c4c9811ac499a18aa3341859d7247217ac2d0014a98145012d6dd8577","first_computed_at":"2026-05-18T03:20:22.025117Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:20:22.025117Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5MPWz8q8dkdWWqXSk/gruXs7od9yv+zfaZyu0WLWkTH85p7OJv1UyTneZGm668LsIiXH8xLMwH3VwyZQ17avDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:20:22.025744Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.4624","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5218516cfa0fbff2a1d04bbc6fe23fb6deb9c264f9dd2dc5cfb810869f94a4e0","sha256:b772bd4a6f7e28c53fdb59405bf12634a40d5057edca733381d0efc14cd19e6b"],"state_sha256":"2dfbf0b95dee9e313d35dc43229fcdb7269bfbded2212c01e673774ea5bfbf42"}