{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002586353,0.0002303978,0.0003094662,0.0003435245,0.0004400547,0.0002064532,0.0004863004,0.0003904993,0.00003448155],"category_scores_gemma":[0.0007491317,0.000220639,0.00005125549,0.0004593413,0.001298844,0.0005363894,0.0001447216,0.0005634232,0.000004662583],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004973168,"about_ca_system_score_gemma":0.0007967641,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000333681,"about_ca_topic_score_gemma":0.006559501,"domain_scores_codex":[0.9976941,0.0001232502,0.0003576014,0.0007463733,0.0006366007,0.0004420976],"domain_scores_gemma":[0.9982955,0.0008563516,0.000161499,0.0003904867,0.0001367127,0.0001594752],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002345143,0.00005331411,0.2811339,0.00003717125,0.000002346354,0.000003290144,0.003859046,0.07511687,0.000004037036,0.09874646,0.000001565299,0.5410185],"study_design_scores_gemma":[0.0002731188,0.00001778839,0.06384978,0.0001152407,0.000008475438,3.576234e-7,7.353748e-7,0.4445504,0.000003742871,0.4908214,0.00006949018,0.0002894129],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003741608,0.0003955659,0.9894355,0.00115654,0.0003712605,0.0006436572,0.000007092498,0.00005904933,0.004189721],"genre_scores_gemma":[0.9562458,0.00001375443,0.0431999,0.0002215592,0.0002058424,0.000009800331,0.000004681377,0.00001139948,0.0000872938],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9525042,"threshold_uncertainty_score":0.8997397,"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."}}