{"id":"W1996846884","doi":"10.1504/ijguc.2013.056257","title":"FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test","year":2013,"lang":"en","type":"article","venue":"International Journal of Grid and Utility Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Rewriting; Computer science; Process calculus; Enforcement; Security policy; Computer security model; Process (computing); Theoretical computer science; Computer security; Programming language; Algebra over a field; Mathematics; 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.003482827,0.0006979692,0.0009237274,0.001234887,0.0007868726,0.001911381,0.001845853,0.001033616,0.004525471],"category_scores_gemma":[0.007418166,0.0005325945,0.002943129,0.0009838049,0.00378887,0.002922504,0.001964892,0.002715721,0.00186785],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001004016,"about_ca_system_score_gemma":0.001924426,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002886077,"about_ca_topic_score_gemma":0.001429668,"domain_scores_codex":[0.9934397,0.002019084,0.0005084312,0.001069889,0.002477907,0.0004850213],"domain_scores_gemma":[0.9955179,0.002122944,0.0004136381,0.0009117459,0.0008479175,0.0001858882],"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.0002184643,0.0001537911,0.0008106434,0.0003914618,0.0001144497,0.0008424898,0.0005940137,0.07002414,0.01550798,0.8250031,0.003026874,0.08331268],"study_design_scores_gemma":[0.0001164762,0.000186972,0.0002246274,0.00008086002,0.0001212152,0.0005768655,0.00008196968,0.3005307,0.02528112,0.6480874,0.02461143,0.0001003616],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007718243,0.0001687901,0.985009,0.0002566014,0.00009696442,0.0001156177,0.0001770426,0.00220231,0.00425541],"genre_scores_gemma":[0.3545472,0.000519103,0.6325975,0.0005139816,0.0003104943,0.0004576328,0.000676189,0.00100247,0.009375446],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004525471,"threshold_uncertainty_score":0.01841921,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007587784069551583,"score_gpt":0.2514395864404241,"score_spread":0.2438518023708725,"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."}}