{"id":"W26697920","doi":"10.1007/978-3-642-33167-1_7","title":"Satisfiability and Feasibility in a Relationship-Based Workflow Authorization Model","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Access Control and Trust","field":"Social Sciences","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Decidability; Workflow; Satisfiability; Programming language; Fragment (logic); State (computer science); Theoretical computer science; Model checking; Specification language; Workflow technology; Database","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007804006,0.0009380079,0.001470206,0.001982883,0.002511509,0.006465263,0.003771584,0.003528753,0.006699346],"category_scores_gemma":[0.01978514,0.001916666,0.004001361,0.003168001,0.005134673,0.01562899,0.003994433,0.006665353,0.0009323801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003497456,"about_ca_system_score_gemma":0.004073028,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01125046,"about_ca_topic_score_gemma":0.009668587,"domain_scores_codex":[0.9899583,0.004748888,0.0009278725,0.001380219,0.002113181,0.0008715201],"domain_scores_gemma":[0.979931,0.01578515,0.001080333,0.001392934,0.001310972,0.0004997373],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001878171,0.0001574186,0.0004899781,0.0001856115,0.00007135583,0.0003060119,0.0004414856,0.09551913,0.001095009,0.8887385,0.001811514,0.01099627],"study_design_scores_gemma":[0.00007499799,0.00003509756,0.000110919,0.00003793083,0.00004404319,0.0001048141,0.0001128797,0.3118968,0.0005813804,0.6853862,0.00157839,0.00003645582],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06225476,0.0003300107,0.9155956,0.003385697,0.00008022835,0.0002843591,0.000773266,0.0004236407,0.0168724],"genre_scores_gemma":[0.6383006,0.000708467,0.3471667,0.0004854383,0.0003129513,0.0006474221,0.001509685,0.0001771509,0.0106915],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01125046,"threshold_uncertainty_score":0.04127204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04842877840263454,"score_gpt":0.3124823467643137,"score_spread":0.2640535683616792,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}