{"id":"W2396737989","doi":"10.1007/978-3-319-30303-1_22","title":"Security Enforcement by Rewriting: An Algebraic Approach","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Rewriting; Computer science; Process calculus; Security policy; Enforcement; Path (computing); Algebraic number; Polynomial; Theoretical computer science; Programming language; Algebra over a field; Computer security; 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":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.00243019,0.0006124551,0.0005197456,0.0005979543,0.0003262656,0.0006129572,0.005422981,0.0004309599,0.00003587248],"category_scores_gemma":[0.0001395822,0.0005143294,0.0001197427,0.0005079361,0.0008378833,0.001609098,0.001421419,0.0007914921,0.00004970876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004906609,"about_ca_system_score_gemma":0.0003756888,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001403952,"about_ca_topic_score_gemma":0.000004898237,"domain_scores_codex":[0.994831,0.00009614828,0.0007009992,0.002134556,0.001377255,0.0008599875],"domain_scores_gemma":[0.9962693,0.0002365589,0.0004496152,0.002489193,0.0002576422,0.0002976205],"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.000004449965,0.0000452584,0.000007374923,0.00003873568,0.000006757847,0.000007315208,0.0007024356,0.000737427,0.0002822628,0.4837164,0.00005077283,0.5144008],"study_design_scores_gemma":[0.0003271697,0.0003252076,0.0000139693,0.0002477223,0.000007087339,0.00007360791,4.056401e-7,0.5891926,0.005699982,0.3956352,0.007425293,0.001051735],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003519788,0.0002544831,0.9640434,0.0002152468,0.001176023,0.0005113308,0.00001117693,0.0002790068,0.03347409],"genre_scores_gemma":[0.04862629,0.00004103043,0.9491776,0.001169933,0.0004831081,0.00002781287,0.00001502181,0.00004408852,0.0004151181],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5884551,"threshold_uncertainty_score":0.9999582,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02308563087970249,"score_gpt":0.2730735932959605,"score_spread":0.249987962416258,"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."}}