{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:KZSFZ6UOMLX4UPNZULXONMP76Z","short_pith_number":"pith:KZSFZ6UO","schema_version":"1.0","canonical_sha256":"56645cfa8e62efca3db9a2eee6b1fff64af92f2cc5e2e45ebeb0f3004eb4052a","source":{"kind":"arxiv","id":"1206.3180","version":1},"attestation_state":"computed","paper":{"title":"Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Luca Vigan\\`o, Michele Barletta, Silvio Ranise","submitted_at":"2012-06-14T17:02:05Z","abstract_excerpt":"The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security challenges presented by the web services approach are formidable. In particular, access control solutions should be revised to address new challenges, such as the need of using certificates for the identification of users and their attributes, human intervention in the creation or selection of the certificates, and (chains of) certificates for trust management. With all these features, it is not surprising that analyzing"},"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":"1206.3180","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-06-14T17:02:05Z","cross_cats_sorted":[],"title_canon_sha256":"3097cca03cf5dc47ac00d543c9bf49d7002c784de423640d82aba495044e98e3","abstract_canon_sha256":"583e84dcc3dd3b2ac7f51dda93d82ca90ef1a890ebf2fddbfb713bf447dcd74a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:53:32.354164Z","signature_b64":"uEt9+/jnurr8dan2tMyNVknEk2h6PmK6x0nKxM1aMYN6SRHA8uv6dKvhljbZ88cgL3SM17asfps6tvOPAVVtCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56645cfa8e62efca3db9a2eee6b1fff64af92f2cc5e2e45ebeb0f3004eb4052a","last_reissued_at":"2026-05-18T03:53:32.353418Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:53:32.353418Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Luca Vigan\\`o, Michele Barletta, Silvio Ranise","submitted_at":"2012-06-14T17:02:05Z","abstract_excerpt":"The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security challenges presented by the web services approach are formidable. In particular, access control solutions should be revised to address new challenges, such as the need of using certificates for the identification of users and their attributes, human intervention in the creation or selection of the certificates, and (chains of) certificates for trust management. With all these features, it is not surprising that analyzing"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.3180","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1206.3180","created_at":"2026-05-18T03:53:32.353547+00:00"},{"alias_kind":"arxiv_version","alias_value":"1206.3180v1","created_at":"2026-05-18T03:53:32.353547+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.3180","created_at":"2026-05-18T03:53:32.353547+00:00"},{"alias_kind":"pith_short_12","alias_value":"KZSFZ6UOMLX4","created_at":"2026-05-18T12:27:11.947152+00:00"},{"alias_kind":"pith_short_16","alias_value":"KZSFZ6UOMLX4UPNZ","created_at":"2026-05-18T12:27:11.947152+00:00"},{"alias_kind":"pith_short_8","alias_value":"KZSFZ6UO","created_at":"2026-05-18T12:27:11.947152+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/KZSFZ6UOMLX4UPNZULXONMP76Z","json":"https://pith.science/pith/KZSFZ6UOMLX4UPNZULXONMP76Z.json","graph_json":"https://pith.science/api/pith-number/KZSFZ6UOMLX4UPNZULXONMP76Z/graph.json","events_json":"https://pith.science/api/pith-number/KZSFZ6UOMLX4UPNZULXONMP76Z/events.json","paper":"https://pith.science/paper/KZSFZ6UO"},"agent_actions":{"view_html":"https://pith.science/pith/KZSFZ6UOMLX4UPNZULXONMP76Z","download_json":"https://pith.science/pith/KZSFZ6UOMLX4UPNZULXONMP76Z.json","view_paper":"https://pith.science/paper/KZSFZ6UO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1206.3180&json=true","fetch_graph":"https://pith.science/api/pith-number/KZSFZ6UOMLX4UPNZULXONMP76Z/graph.json","fetch_events":"https://pith.science/api/pith-number/KZSFZ6UOMLX4UPNZULXONMP76Z/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KZSFZ6UOMLX4UPNZULXONMP76Z/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KZSFZ6UOMLX4UPNZULXONMP76Z/action/storage_attestation","attest_author":"https://pith.science/pith/KZSFZ6UOMLX4UPNZULXONMP76Z/action/author_attestation","sign_citation":"https://pith.science/pith/KZSFZ6UOMLX4UPNZULXONMP76Z/action/citation_signature","submit_replication":"https://pith.science/pith/KZSFZ6UOMLX4UPNZULXONMP76Z/action/replication_record"}},"created_at":"2026-05-18T03:53:32.353547+00:00","updated_at":"2026-05-18T03:53:32.353547+00:00"}