{"id":"W270596444","doi":"10.1007/978-3-319-17040-4_14","title":"A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Security policy; Automaton; Firewall (physics); Completeness (order theory); Computer security model; Computer security; Formalism (music); Formal methods; Theoretical computer science; Software engineering; Spacetime","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.009960968,0.002152554,0.001552401,0.002995676,0.002151732,0.004467971,0.005604009,0.003065303,0.00585617],"category_scores_gemma":[0.02915643,0.003445,0.005560823,0.001543591,0.008916153,0.0126631,0.006888776,0.007834659,0.001536901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002690404,"about_ca_system_score_gemma":0.00594241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005216467,"about_ca_topic_score_gemma":0.006301617,"domain_scores_codex":[0.986816,0.003619051,0.001565146,0.001637776,0.00515407,0.001207894],"domain_scores_gemma":[0.9597415,0.02483108,0.001772758,0.00805378,0.0049948,0.0006060634],"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.0001814513,0.0004790991,0.001486046,0.0007153654,0.0002019852,0.0005436756,0.00110122,0.07691816,0.0150791,0.792514,0.005365042,0.1054148],"study_design_scores_gemma":[0.0001362941,0.0001418563,0.0002452974,0.0002080081,0.0002085253,0.0003748159,0.0001984884,0.362492,0.02261771,0.6014644,0.01180604,0.0001065496],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001823086,0.00004245626,0.9956393,0.0002091314,0.00003935867,0.0001210603,0.00005762867,0.001112764,0.0009550928],"genre_scores_gemma":[0.1099469,0.0001697207,0.884823,0.0003637428,0.0001311034,0.0004525064,0.000299085,0.000553071,0.003260921],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009960968,"threshold_uncertainty_score":0.05267924,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03820750955614092,"score_gpt":0.2683644736260233,"score_spread":0.2301569640698824,"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."}}