{"id":"W2029500714","doi":"10.3182/20090610-3-it-4004.00009","title":"Design and Verification of Time-Constrained Workflows With Multi-Level Security","year":2009,"lang":"en","type":"article","venue":"IFAC Proceedings Volumes","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Soundness; Workflow; Computer science; Computer security model; Security policy; Formalism (music); Workflow technology; Workflow management system; Workflow engine; Information flow; Security testing; Information security; Software engineering; Security information and event management; Database; Programming language; Computer security; Cloud computing security; Operating system","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.0004068076,0.0001438831,0.0001830065,0.00009927388,0.0001413611,0.0001553696,0.0004239992,0.00007650503,0.000005417674],"category_scores_gemma":[0.00006647988,0.0001349386,0.00002464638,0.0004077592,0.0001022982,0.0005774625,0.00004616216,0.0001197484,0.000008398831],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000211745,"about_ca_system_score_gemma":0.00005772339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005501158,"about_ca_topic_score_gemma":2.552601e-7,"domain_scores_codex":[0.9989262,0.00001546135,0.0002479653,0.0003927211,0.0002113744,0.0002062377],"domain_scores_gemma":[0.9992248,0.0000571997,0.0002071907,0.0001680346,0.0002645001,0.00007821095],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002902679,0.001233386,0.01189301,0.0003286359,0.0001598736,0.000008570521,0.05075353,0.0005550491,0.1030602,0.1600301,0.002546434,0.669141],"study_design_scores_gemma":[0.000928517,0.0003941996,0.022912,0.0001489192,0.00001713599,0.00005363344,0.0001839387,0.9446722,0.02437078,0.005623246,0.000299346,0.0003961154],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1903439,0.0001341546,0.8078104,0.0006153425,0.00004133621,0.0003174376,0.000001498021,0.0002187074,0.0005171854],"genre_scores_gemma":[0.6676329,0.00001164043,0.3322049,0.00007279582,0.0000204502,0.000005768753,8.874532e-7,0.000004185525,0.00004653255],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9441171,"threshold_uncertainty_score":0.5502636,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02878547500050859,"score_gpt":0.2414136283963554,"score_spread":0.2126281533958468,"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."}}