{"id":"W2099064219","doi":"10.1016/j.cosrev.2012.01.001","title":"Which security policies are enforceable by runtime monitors? A survey","year":2012,"lang":"en","type":"article","venue":"Computer Science Review","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Enforcement; Set (abstract data type); Implementation; Computer security; Security policy; Programming language","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.00659574,0.001096699,0.002126249,0.003796882,0.0006821332,0.003561076,0.00256119,0.002186271,0.002742572],"category_scores_gemma":[0.02082027,0.001167502,0.001189696,0.004615424,0.002118424,0.008924731,0.001343308,0.002966877,0.001138866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001812042,"about_ca_system_score_gemma":0.003642934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00175093,"about_ca_topic_score_gemma":0.001205687,"domain_scores_codex":[0.9937735,0.001169461,0.0007119759,0.001382312,0.002457272,0.0005054511],"domain_scores_gemma":[0.9715546,0.02042832,0.002340529,0.002853477,0.002475696,0.0003473294],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001760939,0.0001303237,0.004716588,0.004798958,0.0001005473,0.0001077936,0.0003057059,0.003196937,0.00282311,0.07496863,0.008949665,0.8997257],"study_design_scores_gemma":[0.0001405871,0.000516796,0.01255493,0.01099008,0.0006359401,0.002445447,0.001081276,0.02839955,0.02504824,0.1357579,0.7822198,0.0002094227],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.01440344,0.8634014,0.09535441,0.006593206,0.0005745473,0.0001073938,0.0002521096,0.0008895813,0.01842398],"genre_scores_gemma":[0.1298997,0.806908,0.05586787,0.001827375,0.001268474,0.0001365851,0.0004576779,0.0002456265,0.003388726],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.00659574,"threshold_uncertainty_score":0.03488207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04141110148793092,"score_gpt":0.3150902523665228,"score_spread":0.2736791508785918,"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."}}