{"id":"W2010588223","doi":"10.1109/iscc.2014.6912478","title":"A formal framework for verifying inter-firewalls consistency","year":2014,"lang":"en","type":"article","venue":"","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Firewall (physics); Computer science; Consistency (knowledge bases); Security policy; Formal verification; Application firewall; Distributed computing; Model checking; Consistency model; Formal methods; Theoretical computer science; Data consistency; Computer security; Stateful firewall; Software engineering; Entropy (arrow of time)","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.008058842,0.001790158,0.001411047,0.002292077,0.001407295,0.004604147,0.004765818,0.002235684,0.002924249],"category_scores_gemma":[0.01503912,0.001473826,0.005102817,0.001524436,0.005054034,0.005284947,0.003547338,0.004225091,0.0007178547],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002626932,"about_ca_system_score_gemma":0.005938684,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00794054,"about_ca_topic_score_gemma":0.004322929,"domain_scores_codex":[0.9913526,0.002468548,0.0009545011,0.001277518,0.003052241,0.0008945551],"domain_scores_gemma":[0.9885687,0.006314141,0.001084824,0.00244908,0.001309615,0.0002737559],"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.0001133243,0.0002327627,0.0008223993,0.000528881,0.0001667534,0.0006158657,0.0004447258,0.2663813,0.0142962,0.6734365,0.001413,0.04154837],"study_design_scores_gemma":[0.0001173721,0.0001451715,0.0002358277,0.0001936817,0.000176322,0.0002817786,0.0000844551,0.6469442,0.0122982,0.3277029,0.0117401,0.00007992778],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001510899,0.00007903511,0.9971024,0.000075331,0.00002458808,0.00005567999,0.00004770631,0.0005758737,0.0005284156],"genre_scores_gemma":[0.1576273,0.0004911366,0.8393061,0.0001518877,0.000120175,0.0004572898,0.0003467988,0.0002747143,0.001224561],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008058842,"threshold_uncertainty_score":0.04261976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01792257236024169,"score_gpt":0.2634014934726423,"score_spread":0.2454789211124006,"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."}}