{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:RRJPMCWP3ZXSXGEQBPJ5LHVPTX","short_pith_number":"pith:RRJPMCWP","canonical_record":{"source":{"id":"1612.09339","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-29T22:54:51Z","cross_cats_sorted":[],"title_canon_sha256":"6361d9eaf74156d54417a8b1b4bd31cb8563eb3bcffe73e03ac11fb8ffb45a18","abstract_canon_sha256":"7826e706fc785c72734e858a5787200cf543ed15bef3ef07a8f9785941d60683"},"schema_version":"1.0"},"canonical_sha256":"8c52f60acfde6f2b98900bd3d59eaf9df114edb0d3cd42a39a0e389a2a516776","source":{"kind":"arxiv","id":"1612.09339","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.09339","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"arxiv_version","alias_value":"1612.09339v1","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.09339","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"pith_short_12","alias_value":"RRJPMCWP3ZXS","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RRJPMCWP3ZXSXGEQ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RRJPMCWP","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:RRJPMCWP3ZXSXGEQBPJ5LHVPTX","target":"record","payload":{"canonical_record":{"source":{"id":"1612.09339","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-29T22:54:51Z","cross_cats_sorted":[],"title_canon_sha256":"6361d9eaf74156d54417a8b1b4bd31cb8563eb3bcffe73e03ac11fb8ffb45a18","abstract_canon_sha256":"7826e706fc785c72734e858a5787200cf543ed15bef3ef07a8f9785941d60683"},"schema_version":"1.0"},"canonical_sha256":"8c52f60acfde6f2b98900bd3d59eaf9df114edb0d3cd42a39a0e389a2a516776","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:41.746531Z","signature_b64":"bIRMOpZmDFkosb29D/O9sjfwfNUThnoIthdEZXa6BH5HD3+aoZDyHgOXywwWiDewOGi4R1eBbhaol+4kXUh+DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c52f60acfde6f2b98900bd3d59eaf9df114edb0d3cd42a39a0e389a2a516776","last_reissued_at":"2026-05-18T00:53:41.746081Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:41.746081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.09339","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-18T00:53:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jikKWwME8wru9URFC4VGYAJ3H0tjcR62aD+riz7+24oVPiboXws/xRGGYHxBZ2dmLInriUNyruvj9zJ0mevLCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T01:52:25.197897Z"},"content_sha256":"4d42512b4b8d045ef2040c39300fe0dd470f75dee65c5ce5e593e16123bfcf72","schema_version":"1.0","event_id":"sha256:4d42512b4b8d045ef2040c39300fe0dd470f75dee65c5ce5e593e16123bfcf72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:RRJPMCWP3ZXSXGEQBPJ5LHVPTX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andrea Margheri, Francesco Tiezzi, Massimiliano Masi, Rosario Pugliese","submitted_at":"2016-12-29T22:54:51Z","abstract_excerpt":"Access control systems are widely used means for the protection of computing systems. They are defined in terms of access control policies regulating the accesses to system resources. In this paper, we introduce a formally-defined, fully-implemented framework for specification, analysis and enforcement of attribute-based access control policies. The framework rests on FACPL, a language with a compact, yet expressive, syntax for specification of real-world access control policies and with a rigorously defined denotational semantics. The framework enables the automatic verification of properties"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.09339","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-18T00:53:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2wLIjdHmDVitynttStLLMpeeuGzLA0/A4dbY+pqP21uIz7B/ADOi1rpjwcWpHRP/aM79JcsLytO8fd7AEWhoCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T01:52:25.198246Z"},"content_sha256":"3e55c61df6d7b4fbf2decb95d1d6c22983546aca5692f71d02710064add88a97","schema_version":"1.0","event_id":"sha256:3e55c61df6d7b4fbf2decb95d1d6c22983546aca5692f71d02710064add88a97"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RRJPMCWP3ZXSXGEQBPJ5LHVPTX/bundle.json","state_url":"https://pith.science/pith/RRJPMCWP3ZXSXGEQBPJ5LHVPTX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RRJPMCWP3ZXSXGEQBPJ5LHVPTX/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-24T01:52:25Z","links":{"resolver":"https://pith.science/pith/RRJPMCWP3ZXSXGEQBPJ5LHVPTX","bundle":"https://pith.science/pith/RRJPMCWP3ZXSXGEQBPJ5LHVPTX/bundle.json","state":"https://pith.science/pith/RRJPMCWP3ZXSXGEQBPJ5LHVPTX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RRJPMCWP3ZXSXGEQBPJ5LHVPTX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RRJPMCWP3ZXSXGEQBPJ5LHVPTX","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":"7826e706fc785c72734e858a5787200cf543ed15bef3ef07a8f9785941d60683","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-29T22:54:51Z","title_canon_sha256":"6361d9eaf74156d54417a8b1b4bd31cb8563eb3bcffe73e03ac11fb8ffb45a18"},"schema_version":"1.0","source":{"id":"1612.09339","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.09339","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"arxiv_version","alias_value":"1612.09339v1","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.09339","created_at":"2026-05-18T00:53:41Z"},{"alias_kind":"pith_short_12","alias_value":"RRJPMCWP3ZXS","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"RRJPMCWP3ZXSXGEQ","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"RRJPMCWP","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:3e55c61df6d7b4fbf2decb95d1d6c22983546aca5692f71d02710064add88a97","target":"graph","created_at":"2026-05-18T00:53:41Z","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":"Access control systems are widely used means for the protection of computing systems. They are defined in terms of access control policies regulating the accesses to system resources. In this paper, we introduce a formally-defined, fully-implemented framework for specification, analysis and enforcement of attribute-based access control policies. The framework rests on FACPL, a language with a compact, yet expressive, syntax for specification of real-world access control policies and with a rigorously defined denotational semantics. The framework enables the automatic verification of properties","authors_text":"Andrea Margheri, Francesco Tiezzi, Massimiliano Masi, Rosario Pugliese","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-29T22:54:51Z","title":"A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.09339","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:4d42512b4b8d045ef2040c39300fe0dd470f75dee65c5ce5e593e16123bfcf72","target":"record","created_at":"2026-05-18T00:53:41Z","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":"7826e706fc785c72734e858a5787200cf543ed15bef3ef07a8f9785941d60683","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-29T22:54:51Z","title_canon_sha256":"6361d9eaf74156d54417a8b1b4bd31cb8563eb3bcffe73e03ac11fb8ffb45a18"},"schema_version":"1.0","source":{"id":"1612.09339","kind":"arxiv","version":1}},"canonical_sha256":"8c52f60acfde6f2b98900bd3d59eaf9df114edb0d3cd42a39a0e389a2a516776","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8c52f60acfde6f2b98900bd3d59eaf9df114edb0d3cd42a39a0e389a2a516776","first_computed_at":"2026-05-18T00:53:41.746081Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:41.746081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bIRMOpZmDFkosb29D/O9sjfwfNUThnoIthdEZXa6BH5HD3+aoZDyHgOXywwWiDewOGi4R1eBbhaol+4kXUh+DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:41.746531Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.09339","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d42512b4b8d045ef2040c39300fe0dd470f75dee65c5ce5e593e16123bfcf72","sha256:3e55c61df6d7b4fbf2decb95d1d6c22983546aca5692f71d02710064add88a97"],"state_sha256":"b913a581ddb07eea830bb0075a6c13d81022d77ed1b3cc638bf41a265a13957e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m/s5EeUPMNikceHSnrsPop7RzInYxi3OEGsqDgSmh1bnp7wZBgOg9vrv74/WQo5dGS365eggGFBC+6dUuDvBCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T01:52:25.200276Z","bundle_sha256":"166192926df8b886d7cd07aa3dabae1aa1ac7d8ac2166da9c5ce6f418127c988"}}