{"id":"W107363239","doi":"","title":"A Calculus for Distributed Firewall Specification and Verification","year":2006,"lang":"en","type":"article","venue":"New Trends in Software Methodologies, Tools and Techniques","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Firewall (physics); Computer science; Application firewall; Stateful firewall; Process calculus; Semantics (computer science); Predicate transformer semantics; Network topology; Formal specification; Network calculus; Programming language; Theoretical computer science; Operational semantics; Distributed computing; Mathematics; Computer security; Computer network; Quality of service","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.006423852,0.0008596805,0.001086434,0.001254501,0.002356433,0.004029683,0.002962947,0.002077637,0.003269627],"category_scores_gemma":[0.01014126,0.001139086,0.0027328,0.001286623,0.00439878,0.005174082,0.004037903,0.004146445,0.001054834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002308298,"about_ca_system_score_gemma":0.005114251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006185142,"about_ca_topic_score_gemma":0.003979281,"domain_scores_codex":[0.9943945,0.001145183,0.000585293,0.0005674018,0.00280985,0.0004976946],"domain_scores_gemma":[0.9954659,0.002284591,0.0002527979,0.0008147247,0.0009528091,0.0002291658],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000298894,0.00004113929,0.0001405244,0.00006737267,0.00002048636,0.000277199,0.0003032468,0.01251353,0.003401181,0.9681785,0.001524606,0.0135024],"study_design_scores_gemma":[0.00009755534,0.00003507634,0.0001008936,0.00008209,0.00005392169,0.0002252839,0.00006574532,0.1436039,0.006246276,0.8136432,0.03578402,0.00006211974],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001278907,0.00007735508,0.9951231,0.0001929788,0.00007794542,0.00005870727,0.00005591122,0.0006940419,0.002441161],"genre_scores_gemma":[0.1185498,0.0004653228,0.8735836,0.0003875791,0.0002102552,0.0004894271,0.0003311108,0.0004461127,0.005536706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006423852,"threshold_uncertainty_score":0.03397298,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09806598485889861,"score_gpt":0.3405121344173353,"score_spread":0.2424461495584367,"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."}}