{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009443726,0.0001244533,0.0001688008,0.00007829798,0.0001222439,0.0003469663,0.0004962812,0.00003892519,0.00002450983],"category_scores_gemma":[0.0002112556,0.00009884679,0.00003226688,0.00008215797,0.00009136709,0.001248561,0.000248621,0.0002266088,0.000002210358],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004882431,"about_ca_system_score_gemma":0.00003932635,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005635407,"about_ca_topic_score_gemma":8.884633e-7,"domain_scores_codex":[0.99858,0.0000716673,0.0005074651,0.0001792132,0.0004696693,0.0001920041],"domain_scores_gemma":[0.998611,0.0002242886,0.0004418102,0.0001246427,0.0004786414,0.0001196603],"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.00005673122,0.0005291742,0.07072842,0.0001499295,0.0002869533,0.00002859582,0.004045918,0.00006972437,0.00303971,0.01607368,0.02528806,0.8797031],"study_design_scores_gemma":[0.001183112,0.0004452638,0.04619522,0.0002486265,0.00001478149,0.0006314377,0.0003029577,0.9399607,0.004650155,0.001921007,0.004178503,0.0002682174],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7282741,0.0001679074,0.2698847,0.0005702707,0.000587403,0.00009473853,0.000005760777,0.00002747007,0.00038768],"genre_scores_gemma":[0.9167109,0.00002292223,0.08275886,0.0002844265,0.0002035996,0.000001093855,0.000003421978,0.0000043941,0.00001036566],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.939891,"threshold_uncertainty_score":0.4030855,"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."}}