{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000712132,0.0001444803,0.0002050945,0.0001498661,0.0001061172,0.0002332821,0.0002191965,0.0001497999,0.000001678532],"category_scores_gemma":[0.0003598124,0.0001322553,0.000029163,0.0004727848,0.0000620364,0.0004100959,0.00007937841,0.00009487351,1.328592e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005109411,"about_ca_system_score_gemma":0.00002988075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009463509,"about_ca_topic_score_gemma":0.00002781851,"domain_scores_codex":[0.9988797,0.0001214586,0.0002712519,0.0004354245,0.0000885352,0.0002036879],"domain_scores_gemma":[0.9989207,0.0005723494,0.0001341773,0.0002739201,0.00006021622,0.00003865464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001569119,0.00001603878,0.0008875616,0.00001531665,0.000002143736,7.667499e-7,0.00009048957,0.00002790821,0.0001757523,0.009966365,0.003239433,0.9855625],"study_design_scores_gemma":[0.002165007,0.0007623839,0.1598103,0.0002802125,0.00006397891,0.00006361953,0.00006053679,0.04374264,0.04948777,0.5842194,0.157778,0.001566125],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008347706,0.001007126,0.9962776,0.000776562,0.00006135503,0.0001652815,0.00002033067,0.0007222551,0.0001346916],"genre_scores_gemma":[0.01482711,0.0002566737,0.9842515,0.00005446611,0.00008771502,0.00008258547,0.0001822249,0.000009865829,0.0002478358],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9839964,"threshold_uncertainty_score":0.5393215,"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."}}