{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:WNL6B3S2VV7TRR6VCDC32MJHDD","short_pith_number":"pith:WNL6B3S2","schema_version":"1.0","canonical_sha256":"b357e0ee5aad7f38c7d510c5bd312718d551b586cc80ee25e97962f395da67a4","source":{"kind":"arxiv","id":"1706.07205","version":1},"attestation_state":"computed","paper":{"title":"A Survey on Workflow Satisfiability, Resiliency, and Related Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Daniel Ricardo dos Santos, Silvio Ranise","submitted_at":"2017-06-22T08:19:54Z","abstract_excerpt":"Workflows specify collections of tasks that must be executed under the responsibility or supervision of human users. Workflow management systems and workflow-driven applications need to enforce security policies in the form of access control, specifying which users can execute which tasks, and authorization constraints, such as Separation of Duty, further restricting the execution of tasks at run-time. Enforcing these policies is crucial to avoid frauds and malicious use, but it may lead to situations where a workflow instance cannot be completed without the violation of the policy. The Workfl"},"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":"1706.07205","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-06-22T08:19:54Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"caf6383f33a98d1d2bc7480bbfeab0f24559c76fdff4278b79a0668ebe15fe5e","abstract_canon_sha256":"b3988ca593676fc0cfae299c968ea2e323ec5fc952de6902f0fa8daeefdc131c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:41:52.339812Z","signature_b64":"MPY9T54MfxPcPuYPZv3e2KFkXCaJ5bWAMVPMcgklpOhM2UHUP0qNIEaXOAdPTYWGIlfa/SuicSIqifJ3lEp+Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b357e0ee5aad7f38c7d510c5bd312718d551b586cc80ee25e97962f395da67a4","last_reissued_at":"2026-05-18T00:41:52.339272Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:41:52.339272Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Survey on Workflow Satisfiability, Resiliency, and Related Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Daniel Ricardo dos Santos, Silvio Ranise","submitted_at":"2017-06-22T08:19:54Z","abstract_excerpt":"Workflows specify collections of tasks that must be executed under the responsibility or supervision of human users. Workflow management systems and workflow-driven applications need to enforce security policies in the form of access control, specifying which users can execute which tasks, and authorization constraints, such as Separation of Duty, further restricting the execution of tasks at run-time. Enforcing these policies is crucial to avoid frauds and malicious use, but it may lead to situations where a workflow instance cannot be completed without the violation of the policy. The Workfl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.07205","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":"1706.07205","created_at":"2026-05-18T00:41:52.339356+00:00"},{"alias_kind":"arxiv_version","alias_value":"1706.07205v1","created_at":"2026-05-18T00:41:52.339356+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.07205","created_at":"2026-05-18T00:41:52.339356+00:00"},{"alias_kind":"pith_short_12","alias_value":"WNL6B3S2VV7T","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_16","alias_value":"WNL6B3S2VV7TRR6V","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_8","alias_value":"WNL6B3S2","created_at":"2026-05-18T12:31:53.515858+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/WNL6B3S2VV7TRR6VCDC32MJHDD","json":"https://pith.science/pith/WNL6B3S2VV7TRR6VCDC32MJHDD.json","graph_json":"https://pith.science/api/pith-number/WNL6B3S2VV7TRR6VCDC32MJHDD/graph.json","events_json":"https://pith.science/api/pith-number/WNL6B3S2VV7TRR6VCDC32MJHDD/events.json","paper":"https://pith.science/paper/WNL6B3S2"},"agent_actions":{"view_html":"https://pith.science/pith/WNL6B3S2VV7TRR6VCDC32MJHDD","download_json":"https://pith.science/pith/WNL6B3S2VV7TRR6VCDC32MJHDD.json","view_paper":"https://pith.science/paper/WNL6B3S2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1706.07205&json=true","fetch_graph":"https://pith.science/api/pith-number/WNL6B3S2VV7TRR6VCDC32MJHDD/graph.json","fetch_events":"https://pith.science/api/pith-number/WNL6B3S2VV7TRR6VCDC32MJHDD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WNL6B3S2VV7TRR6VCDC32MJHDD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WNL6B3S2VV7TRR6VCDC32MJHDD/action/storage_attestation","attest_author":"https://pith.science/pith/WNL6B3S2VV7TRR6VCDC32MJHDD/action/author_attestation","sign_citation":"https://pith.science/pith/WNL6B3S2VV7TRR6VCDC32MJHDD/action/citation_signature","submit_replication":"https://pith.science/pith/WNL6B3S2VV7TRR6VCDC32MJHDD/action/replication_record"}},"created_at":"2026-05-18T00:41:52.339356+00:00","updated_at":"2026-05-18T00:41:52.339356+00:00"}