{"id":"W2149894469","doi":"10.1109/crisis.2008.4757466","title":"Verification of Workflow processes under multilevel security considerations","year":2008,"lang":"en","type":"preprint","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Workflow; Computer science; Soundness; Correctness; Workflow management system; Workflow technology; Workflow engine; XPDL; Security policy; Software engineering; Computer security model; Mandatory access control; Consistency (knowledge bases); Access control; Database; Programming language; Computer security; Role-based access control","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.007721335,0.0007039594,0.0009035351,0.001298059,0.001540906,0.003417956,0.001675642,0.001745516,0.001517639],"category_scores_gemma":[0.02497565,0.0009230825,0.003320946,0.0009041043,0.003786015,0.003961258,0.003726696,0.002536197,0.00033804],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002148313,"about_ca_system_score_gemma":0.004995302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007097913,"about_ca_topic_score_gemma":0.004898346,"domain_scores_codex":[0.9904516,0.002536716,0.001004202,0.001565776,0.003409162,0.001032551],"domain_scores_gemma":[0.9845278,0.0079661,0.001512549,0.003897187,0.001850934,0.0002453769],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005773702,0.0001757742,0.007017869,0.0004645569,0.000252541,0.001731299,0.001256998,0.3757775,0.07130022,0.4844863,0.0007796739,0.05617985],"study_design_scores_gemma":[0.0001088244,0.000111332,0.001020231,0.0001163765,0.0001339446,0.0002533663,0.0001531209,0.7527218,0.06002032,0.1805387,0.004765951,0.00005598187],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08407281,0.0001120192,0.9117211,0.0003430264,0.00004531451,0.000133843,0.0001480717,0.001450208,0.001973767],"genre_scores_gemma":[0.6963922,0.0002311439,0.3012265,0.0001410594,0.00003900494,0.0002284464,0.0003070604,0.0002031746,0.001231362],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007721335,"threshold_uncertainty_score":0.04083478,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07158515262087427,"score_gpt":0.2969437066298748,"score_spread":0.2253585540090006,"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."}}