{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003299327,0.0007475312,0.0008893302,0.001366709,0.00146182,0.004029712,0.002490171,0.001432821,0.006689305],"category_scores_gemma":[0.006121746,0.001041468,0.002637209,0.001455654,0.004488689,0.005923158,0.00294165,0.003559802,0.00206107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001295562,"about_ca_system_score_gemma":0.00134551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001002146,"about_ca_topic_score_gemma":0.001101325,"domain_scores_codex":[0.9961521,0.001165946,0.0003904781,0.0006569147,0.001400446,0.0002341659],"domain_scores_gemma":[0.9965004,0.001719837,0.0002378183,0.0009135252,0.000548698,0.00007971887],"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.00001301114,0.00002661565,0.00004981624,0.00007365615,0.00001474334,0.00008185527,0.0001751608,0.002904987,0.001262518,0.9795076,0.001216235,0.01467381],"study_design_scores_gemma":[0.00002203295,0.00002634106,0.00004973614,0.00003846806,0.00004232823,0.0001721151,0.00005492525,0.02488488,0.002558135,0.9519477,0.02017996,0.00002325446],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003748981,0.0004586432,0.9572635,0.0007712044,0.0001717951,0.00008296702,0.00006480559,0.0005460145,0.03689211],"genre_scores_gemma":[0.2484569,0.001923696,0.7196211,0.0005520207,0.0006766216,0.0002568714,0.0002664827,0.0006816162,0.02756478],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006689305,"threshold_uncertainty_score":0.02237797,"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."}}