{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007122683,0.0008308016,0.0009007835,0.001256929,0.001380058,0.003088739,0.002712263,0.001559683,0.003092597],"category_scores_gemma":[0.04245144,0.0008361186,0.0006629779,0.0009782973,0.001894561,0.004816392,0.003485164,0.002701034,0.0004628621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001168874,"about_ca_system_score_gemma":0.003497391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003293689,"about_ca_topic_score_gemma":0.003302984,"domain_scores_codex":[0.9898477,0.002885895,0.0009799547,0.001402725,0.003314382,0.001569345],"domain_scores_gemma":[0.94716,0.02474601,0.005494354,0.01654851,0.005014335,0.001036732],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.004133313,0.0006497593,0.02371126,0.001093533,0.0003708951,0.002691787,0.002451352,0.1776271,0.060545,0.3505012,0.02434002,0.3518848],"study_design_scores_gemma":[0.0002057021,0.0001561504,0.001980647,0.0001908137,0.0001851261,0.0004411994,0.000214932,0.7836702,0.08446483,0.1174459,0.0109768,0.00006754924],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.234959,0.0008480658,0.7258976,0.003083916,0.0004247624,0.0002856893,0.0004786041,0.01500136,0.01902091],"genre_scores_gemma":[0.9525049,0.0001220527,0.04432438,0.0003143108,0.00008940141,0.00007829166,0.0001467221,0.000389326,0.002030732],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007122683,"threshold_uncertainty_score":0.03766876,"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."}}