{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002456325,0.0002335084,0.000310794,0.0001690273,0.0002240074,0.000174683,0.0008671659,0.0002829311,0.00004409723],"category_scores_gemma":[0.0003468371,0.0002459266,0.00009797399,0.0003065766,0.0001279517,0.0002697513,0.0006700964,0.0004257092,0.00002425096],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005967347,"about_ca_system_score_gemma":0.001021694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008415748,"about_ca_topic_score_gemma":0.00001830507,"domain_scores_codex":[0.9980057,0.0001050027,0.0006208554,0.0006959666,0.0003710257,0.0002014662],"domain_scores_gemma":[0.9969322,0.0004811022,0.0004671531,0.001186051,0.0008571905,0.00007630968],"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.000009715859,0.0009764204,0.0005379226,0.001425872,0.0001809995,0.000008488933,0.01891026,0.04819863,0.0003365737,0.9095812,0.01067956,0.009154394],"study_design_scores_gemma":[0.0003797631,0.00003039388,0.00298034,0.0003279693,0.00002230152,0.00004656828,0.0001240538,0.5791061,0.01757783,0.3973642,0.001299537,0.0007410062],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009457038,0.0003622563,0.9835187,0.001266684,0.0007546914,0.0003998776,0.00001612515,0.0003707068,0.003853946],"genre_scores_gemma":[0.8333555,0.0002740214,0.1658972,0.0002526378,0.00009020551,0.00004382785,0.00002604209,0.000009821,0.00005070211],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8238984,"threshold_uncertainty_score":0.9999993,"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."}}