{"id":"W2060674139","doi":"10.1145/2240276.2240281","title":"Corrective Enforcement","year":2012,"lang":"en","type":"article","venue":"ACM Transactions on Information and System Security","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Enforcement; Flexibility (engineering); Set (abstract data type); Computer security; Property (philosophy); 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004592153,0.0001088221,0.0001085412,0.000147014,0.0003860283,0.0001659095,0.0003143408,0.00006773668,0.0000268737],"category_scores_gemma":[0.00002065769,0.000104043,0.00004578169,0.0002453948,0.00002073239,0.002444539,0.00001682947,0.0001496964,0.000174371],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000102212,"about_ca_system_score_gemma":0.00002512762,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004327142,"about_ca_topic_score_gemma":0.000001477498,"domain_scores_codex":[0.9990748,0.00006283254,0.0003254359,0.0001026736,0.0002283567,0.0002058788],"domain_scores_gemma":[0.9991148,0.0001101982,0.0001228742,0.0004327683,0.00008900622,0.0001303368],"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.00002198216,0.0001337918,0.0003667274,0.0002143144,0.00005024338,2.69834e-7,0.05282685,0.0004141458,0.000006551926,0.7972738,0.0004357903,0.1482556],"study_design_scores_gemma":[0.003220352,0.0004614873,0.007360934,0.0003827068,0.00006792981,0.0004728246,0.02972409,0.6846369,0.007107955,0.004178077,0.2607544,0.001632356],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007701006,0.00003814168,0.9811885,0.0002041408,0.001210593,0.0002163791,0.000007296268,0.0002831718,0.009150805],"genre_scores_gemma":[0.9957688,0.00001486292,0.003783494,0.0003383363,0.00003879817,0.0000354296,0.00000453363,0.00000237306,0.00001340992],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9880677,"threshold_uncertainty_score":0.4242751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01654451183667243,"score_gpt":0.2421122058852992,"score_spread":0.2255676940486267,"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."}}