{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:OCNWHIRQRIOCUF75YNZVB2ZTWF","short_pith_number":"pith:OCNWHIRQ","schema_version":"1.0","canonical_sha256":"709b63a2308a1c2a17fdc37350eb33b17c13c2422d02d8d517a0a051b2da8411","source":{"kind":"arxiv","id":"1301.3402","version":2},"attestation_state":"computed","paper":{"title":"Constraint Expressions and Workflow Satisfiability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.DS","authors_text":"Gregory Gutin, Jason Crampton","submitted_at":"2013-01-13T13:56:40Z","abstract_excerpt":"A workflow specification defines a set of steps and the order in which those steps must be executed. Security requirements and business rules may impose constraints on which users are permitted to perform those steps. A workflow specification is said to be satisfiable if there exists an assignment of authorized users to workflow steps that satisfies all the constraints. An algorithm for determining whether such an assignment exists is important, both as a static analysis tool for workflow specifications, and for the construction of run-time reference monitors for workflow management systems. W"},"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":"1301.3402","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-01-13T13:56:40Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"2306f36684d411d5938ae25609264aff4c9167bc6f6b2baa3207b7d43ba69204","abstract_canon_sha256":"64515825bf11f45ee085973d249e4ad156f45605a9a496bfdf4f1b6e870ef5a1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:06.272939Z","signature_b64":"XFPK2DJu/B15kusIGbWxhz/iT1tJrxl/k83Zf62w5U3h2A9dLQxFmkCoVMrjdVxvzhzIfLC2WgDPJopfQIi1Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"709b63a2308a1c2a17fdc37350eb33b17c13c2422d02d8d517a0a051b2da8411","last_reissued_at":"2026-05-18T03:31:06.272124Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:06.272124Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Constraint Expressions and Workflow Satisfiability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.DS","authors_text":"Gregory Gutin, Jason Crampton","submitted_at":"2013-01-13T13:56:40Z","abstract_excerpt":"A workflow specification defines a set of steps and the order in which those steps must be executed. Security requirements and business rules may impose constraints on which users are permitted to perform those steps. A workflow specification is said to be satisfiable if there exists an assignment of authorized users to workflow steps that satisfies all the constraints. An algorithm for determining whether such an assignment exists is important, both as a static analysis tool for workflow specifications, and for the construction of run-time reference monitors for workflow management systems. W"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.3402","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":"1301.3402","created_at":"2026-05-18T03:31:06.272251+00:00"},{"alias_kind":"arxiv_version","alias_value":"1301.3402v2","created_at":"2026-05-18T03:31:06.272251+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.3402","created_at":"2026-05-18T03:31:06.272251+00:00"},{"alias_kind":"pith_short_12","alias_value":"OCNWHIRQRIOC","created_at":"2026-05-18T12:27:54.935989+00:00"},{"alias_kind":"pith_short_16","alias_value":"OCNWHIRQRIOCUF75","created_at":"2026-05-18T12:27:54.935989+00:00"},{"alias_kind":"pith_short_8","alias_value":"OCNWHIRQ","created_at":"2026-05-18T12:27:54.935989+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/OCNWHIRQRIOCUF75YNZVB2ZTWF","json":"https://pith.science/pith/OCNWHIRQRIOCUF75YNZVB2ZTWF.json","graph_json":"https://pith.science/api/pith-number/OCNWHIRQRIOCUF75YNZVB2ZTWF/graph.json","events_json":"https://pith.science/api/pith-number/OCNWHIRQRIOCUF75YNZVB2ZTWF/events.json","paper":"https://pith.science/paper/OCNWHIRQ"},"agent_actions":{"view_html":"https://pith.science/pith/OCNWHIRQRIOCUF75YNZVB2ZTWF","download_json":"https://pith.science/pith/OCNWHIRQRIOCUF75YNZVB2ZTWF.json","view_paper":"https://pith.science/paper/OCNWHIRQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1301.3402&json=true","fetch_graph":"https://pith.science/api/pith-number/OCNWHIRQRIOCUF75YNZVB2ZTWF/graph.json","fetch_events":"https://pith.science/api/pith-number/OCNWHIRQRIOCUF75YNZVB2ZTWF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OCNWHIRQRIOCUF75YNZVB2ZTWF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OCNWHIRQRIOCUF75YNZVB2ZTWF/action/storage_attestation","attest_author":"https://pith.science/pith/OCNWHIRQRIOCUF75YNZVB2ZTWF/action/author_attestation","sign_citation":"https://pith.science/pith/OCNWHIRQRIOCUF75YNZVB2ZTWF/action/citation_signature","submit_replication":"https://pith.science/pith/OCNWHIRQRIOCUF75YNZVB2ZTWF/action/replication_record"}},"created_at":"2026-05-18T03:31:06.272251+00:00","updated_at":"2026-05-18T03:31:06.272251+00:00"}