{"id":"W1781272967","doi":"10.3233/978-1-60750-049-0-284","title":"Formal Specification and Analysis of Firewalls","year":2009,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais; Université Laval","funders":"","keywords":"Computer science","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.0001860043,0.0001449476,0.0003056761,0.0005176807,0.0001032445,0.0000868016,0.0002674576,0.0001488744,0.000006433343],"category_scores_gemma":[0.000005223573,0.0001550375,0.00005495028,0.0004551724,0.0001323768,0.0002241548,0.00005485023,0.0001354037,0.000002629518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002482833,"about_ca_system_score_gemma":0.00003003142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003869934,"about_ca_topic_score_gemma":0.00001572741,"domain_scores_codex":[0.9988884,0.000008863523,0.0004489031,0.0003848721,0.0001307384,0.0001382182],"domain_scores_gemma":[0.9992576,0.00003437147,0.0002461575,0.0003275771,0.00008240068,0.00005184498],"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.000002604936,0.00001436093,0.00004891928,0.000008011456,0.00003250327,2.002666e-7,0.0001642163,0.001130986,0.000002635284,0.3525073,0.00007809849,0.6460102],"study_design_scores_gemma":[0.00001644624,0.00003764555,0.0002752528,0.0000606044,0.0002120719,0.000001044575,0.0000567427,0.4201784,0.000210664,0.5635428,0.01512752,0.0002807358],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001639126,0.001618951,0.975763,0.0001788026,0.00005141287,0.0002235354,0.00000942363,0.00002845451,0.02211007],"genre_scores_gemma":[0.1659692,0.03594917,0.7391003,0.0005347154,0.0006672026,0.0002635848,0.0006663498,0.00008333656,0.05676613],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6457294,"threshold_uncertainty_score":0.6322247,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02876223249810599,"score_gpt":0.2576080885729131,"score_spread":0.2288458560748071,"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."}}