{"id":"W1976635413","doi":"10.1016/j.ic.2007.07.009","title":"Execution monitoring enforcement under memory-limitation constraints","year":2007,"lang":"en","type":"article","venue":"Information and Computation","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University; Université Laval","funders":"","keywords":"Computer science; Enforcement; Automaton; Class (philosophy); Security policy; Computer security; Bounded function; Theoretical computer science; Distributed computing; Artificial intelligence; Law","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.0006642051,0.00009561386,0.00007327103,0.0002125095,0.000246822,0.000293648,0.000132847,0.00006011889,0.00000530601],"category_scores_gemma":[0.00003019245,0.000104693,0.00002379257,0.0002769431,0.00004258663,0.002108762,0.00005190022,0.00008702208,0.0000581221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008076976,"about_ca_system_score_gemma":0.00003659328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000136896,"about_ca_topic_score_gemma":7.596322e-7,"domain_scores_codex":[0.998984,0.00002576512,0.0004221932,0.0001253645,0.0002766741,0.0001659371],"domain_scores_gemma":[0.9992904,0.0001161457,0.0002121364,0.0001113611,0.0001966514,0.00007332521],"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.000006971489,0.00001777502,0.0003582583,0.00002566877,0.0000100568,4.888337e-7,0.006500524,0.01104917,0.0001707064,0.2729898,0.0001119928,0.7087586],"study_design_scores_gemma":[0.001506841,0.0001126331,0.07207811,0.00008290101,0.00001117568,0.00006441893,0.006961862,0.8917657,0.006496154,0.0167454,0.003692776,0.0004820397],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0726741,0.0000238309,0.9209821,0.0002354407,0.00044095,0.000154303,5.121984e-7,0.0001906512,0.005298161],"genre_scores_gemma":[0.9665322,0.00001043107,0.03303794,0.0003137947,0.00005854759,0.000004659777,0.00002854031,0.000002353041,0.00001155217],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8938581,"threshold_uncertainty_score":0.4269256,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03018069831504839,"score_gpt":0.2908001041920741,"score_spread":0.2606194058770257,"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."}}