{"id":"W2113456791","doi":"","title":"Distributed firewall anomaly detection through LTL model checking","year":2013,"lang":"en","type":"article","venue":"Integrated Network Management","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal; Université du Québec à Chicoutimi","funders":"","keywords":"Firewall (physics); Computer science; Anomaly detection; Model checking; Anomaly (physics); Data mining; Distributed computing; Theoretical computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002291041,0.0002651807,0.0001977062,0.00007088763,0.0003232908,0.0006219121,0.000703204,0.0001043829,0.00003069741],"category_scores_gemma":[0.000008906629,0.0002358976,0.00007440266,0.001354064,0.0000357032,0.001035967,0.0002496051,0.0002209085,0.0001264623],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001492768,"about_ca_system_score_gemma":0.00002256065,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000863983,"about_ca_topic_score_gemma":0.00002814614,"domain_scores_codex":[0.9981688,0.00006938665,0.0003599309,0.0005566423,0.0002778557,0.0005674028],"domain_scores_gemma":[0.9989874,0.00002745885,0.0001751457,0.0005454434,0.0001830962,0.00008145321],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008935817,0.00006270961,0.00007924722,0.00002764889,0.00007935878,0.000009734058,0.0003097985,0.791803,0.00002309768,0.00584017,0.02354745,0.1782088],"study_design_scores_gemma":[0.0002419799,0.0000353523,0.000174736,0.0001034275,0.00002141341,0.000003287056,0.0000354153,0.9764569,0.0001574349,0.01786101,0.004638084,0.0002708905],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002998459,0.0002717086,0.9872285,0.000471885,0.0004921825,0.000407003,0.000001160365,0.0006983525,0.007430797],"genre_scores_gemma":[0.8609649,0.0001408402,0.1364647,0.0006655257,0.0001499859,0.0001470175,0.00005206413,0.00002445416,0.001390475],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8579664,"threshold_uncertainty_score":0.9619625,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01139360022212546,"score_gpt":0.2114622444318716,"score_spread":0.2000686442097461,"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."}}