{"id":"W17764271","doi":"10.1063/1.2759489","title":"Enforcing Security Policies on Programs","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais; Université Laval","funders":"","keywords":"Computer science; Automaton; Rewriting; Property (philosophy); Symbolic execution; Security policy; Programming language; Enforcement; Program analysis; Embedding; Theoretical computer science; Operator (biology); Computer security; Software","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.03197404,0.0008782838,0.001151576,0.002324969,0.002669444,0.007614614,0.003551031,0.003967249,0.005575218],"category_scores_gemma":[0.09663372,0.001168612,0.0008566676,0.001471999,0.006270651,0.01252682,0.007890621,0.005209494,0.001899129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003709462,"about_ca_system_score_gemma":0.01060444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003688778,"about_ca_topic_score_gemma":0.002533681,"domain_scores_codex":[0.970233,0.01131063,0.002951724,0.003652786,0.008503675,0.003348168],"domain_scores_gemma":[0.8697612,0.05503166,0.00940793,0.05232957,0.01060162,0.002867896],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005017547,0.0002400595,0.007146283,0.0002840749,0.00008347208,0.0003844675,0.002094456,0.02171776,0.007670136,0.8530461,0.01284033,0.09399108],"study_design_scores_gemma":[0.0002143321,0.0002565581,0.002843155,0.0008958227,0.00012561,0.000332618,0.001177064,0.1345283,0.03778829,0.6403045,0.1813697,0.0001640824],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2034736,0.001223656,0.6525859,0.01471835,0.0007359775,0.001371749,0.001025794,0.02152909,0.1033359],"genre_scores_gemma":[0.8759864,0.0008292145,0.1027608,0.004015276,0.0004815435,0.001080771,0.000683354,0.001463928,0.01269864],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03197404,"threshold_uncertainty_score":0.1690969,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.144033306414023,"score_gpt":0.3692185812553757,"score_spread":0.2251852748413527,"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."}}