{"id":"W2166422904","doi":"10.1109/noms.2012.6211932","title":"Firewall anomaly detection with a model checker for visibility logic","year":2012,"lang":"en","type":"article","venue":"","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":15,"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; Modal logic; Anomaly detection; Model checking; Temporal logic; Modal; Visibility; Programming language; Algorithm; Theoretical computer science; Data mining; Mathematics; Physics","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.003130946,0.001257117,0.001071589,0.0017497,0.0008609228,0.003265776,0.003139224,0.001373192,0.003725965],"category_scores_gemma":[0.01341346,0.001292059,0.003227753,0.000970687,0.002131904,0.004644543,0.002913348,0.00289542,0.0005866709],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002111311,"about_ca_system_score_gemma":0.005811744,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0154509,"about_ca_topic_score_gemma":0.02261751,"domain_scores_codex":[0.9948865,0.001194608,0.0004406366,0.0008721677,0.002005905,0.0006003277],"domain_scores_gemma":[0.9912821,0.004760198,0.0006038966,0.002013912,0.001173877,0.0001660158],"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.001121046,0.0009254598,0.009384464,0.0008604084,0.0006690153,0.0009751048,0.0004598623,0.6125005,0.0440207,0.1635913,0.01196341,0.1535287],"study_design_scores_gemma":[0.0001332471,0.00006025942,0.0001830623,0.00003362627,0.0001032433,0.0000705495,0.00002080255,0.9574523,0.01596449,0.02347325,0.002478256,0.00002695353],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02924166,0.00007427746,0.9496883,0.000363536,0.00008441619,0.0001746047,0.0005677775,0.01748807,0.002317331],"genre_scores_gemma":[0.4240694,0.0001911363,0.5689967,0.0004443158,0.00007693833,0.0003263077,0.001208312,0.001252609,0.003434257],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0154509,"threshold_uncertainty_score":0.0307219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02561072321850174,"score_gpt":0.2539770676491669,"score_spread":0.2283663444306651,"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."}}