{"id":"W785500667","doi":"10.1007/978-3-319-18681-8_11","title":"Formal Enforcement of Security Policies on Parallel Systems with Risk Integration","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Enforcement; Process calculus; Security policy; Android (operating system); Computer security; Communicating sequential processes; Computer security model; Programming language; Process (computing); Syntax; Security controls; Theoretical computer science; Control (management); Semantics (computer science); Operating system; Artificial intelligence; Operational semantics; Political science","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.0009233496,0.0004561587,0.0005110928,0.0008401164,0.0001638374,0.0002119741,0.001788562,0.0002315346,0.000004353789],"category_scores_gemma":[0.00007694183,0.0003477279,0.00007670519,0.0004814128,0.0005055684,0.0008935624,0.0006289697,0.0007125113,0.000005916125],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004724089,"about_ca_system_score_gemma":0.0003567548,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002326581,"about_ca_topic_score_gemma":0.0001503842,"domain_scores_codex":[0.9968335,0.00004319183,0.0005433963,0.0008728665,0.001235558,0.0004715041],"domain_scores_gemma":[0.9972053,0.0002057286,0.0006950626,0.001194818,0.0005676346,0.0001314335],"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.00005797963,0.00004330129,0.00002428778,0.00006421904,0.0000183756,0.00001793689,0.002430812,0.3995816,0.000027274,0.2486201,0.00003724454,0.3490769],"study_design_scores_gemma":[0.0005739323,0.00305764,0.00002736242,0.001129593,0.00001622009,0.00009939835,0.000003597173,0.7059929,0.007284002,0.2778228,0.00301929,0.0009733139],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00007395003,0.0001696189,0.9940715,0.00006057183,0.0006110007,0.0006410807,0.00001426035,0.0002695246,0.004088484],"genre_scores_gemma":[0.6972799,0.00005151869,0.302192,0.0001526927,0.0001627718,0.00003110379,0.00000541126,0.00002451081,0.0001001311],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6972059,"threshold_uncertainty_score":0.9998975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0177942914000929,"score_gpt":0.2609933547854505,"score_spread":0.2431990633853577,"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."}}