{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008641632,0.001169023,0.001221294,0.001258866,0.001289823,0.003762144,0.003516342,0.001680519,0.002771294],"category_scores_gemma":[0.01384692,0.001564588,0.003321758,0.0008992297,0.003644842,0.003977048,0.004103572,0.002633394,0.0005227659],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002384456,"about_ca_system_score_gemma":0.007013811,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008903024,"about_ca_topic_score_gemma":0.007998449,"domain_scores_codex":[0.9917754,0.002185321,0.0009932618,0.001273324,0.002655912,0.001116757],"domain_scores_gemma":[0.9870205,0.00582274,0.001626712,0.003102427,0.001871801,0.0005559277],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009446803,0.000213783,0.002553002,0.0007557773,0.0003172238,0.0009725205,0.0009095985,0.6364227,0.03428827,0.2600551,0.001347497,0.06121975],"study_design_scores_gemma":[0.0001469325,0.0001532169,0.0002521638,0.00009232952,0.0001240168,0.0001474673,0.00009804544,0.8770126,0.03048743,0.08737057,0.004061587,0.00005362747],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02352663,0.00009741474,0.9733713,0.0001944136,0.00003871544,0.0002260714,0.0001018426,0.001435361,0.001008323],"genre_scores_gemma":[0.4503245,0.0001795198,0.5469878,0.0001418654,0.00002560591,0.0003129174,0.0002190504,0.0002940378,0.001514708],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008903024,"threshold_uncertainty_score":0.04570186,"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."}}