{"id":"W4239755158","doi":"10.22215/etd/2006-08385","title":"An automatic verification tool for firewall configurations","year":2006,"lang":"en","type":"dissertation","venue":"","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; Canadian Heritage","funders":"","keywords":"Firewall (physics); Computer science; Physics; Astronomy","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.003017489,0.002450687,0.001332716,0.002288473,0.0009256279,0.002739957,0.003333097,0.001503546,0.0151879],"category_scores_gemma":[0.01395298,0.001723209,0.001591871,0.0008914104,0.001114038,0.004512127,0.002643833,0.001642788,0.004878914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008534298,"about_ca_system_score_gemma":0.002761554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002635018,"about_ca_topic_score_gemma":0.003241386,"domain_scores_codex":[0.9957401,0.0009627619,0.0005271262,0.0006437597,0.001866381,0.0002599854],"domain_scores_gemma":[0.9913731,0.005160494,0.0005816071,0.001468322,0.001295652,0.000120965],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009793887,0.0004683942,0.004342175,0.001871566,0.000414161,0.001693247,0.0006054642,0.1039659,0.087938,0.05781222,0.06246509,0.6774444],"study_design_scores_gemma":[0.0003820122,0.0002823084,0.001035553,0.0004212261,0.0001772171,0.001111486,0.00009637508,0.7603132,0.1384194,0.03461017,0.06299012,0.0001609497],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006975634,0.0002088153,0.903488,0.000120332,0.0001479389,0.0002442627,0.0009193754,0.08518198,0.00271368],"genre_scores_gemma":[0.1999262,0.0004514746,0.7762863,0.0003199136,0.0001078826,0.0006935006,0.00443637,0.01019616,0.007582139],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.0151879,"threshold_uncertainty_score":0.05080855,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01000563562227704,"score_gpt":0.273620843982976,"score_spread":0.263615208360699,"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."}}