{"id":"W2106961328","doi":"10.1109/iri.2011.6009601","title":"Model based analysis of internet filtering systems","year":2011,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Correctness; Computer science; The Internet; Variety (cybernetics); Perspective (graphical); Set (abstract data type); Vulnerability (computing); Computer security; Attack patterns; Data mining; Software engineering; Intrusion detection system; Artificial intelligence; World Wide Web; Algorithm","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.001265784,0.0007515019,0.0006461315,0.001467256,0.0006010844,0.00189538,0.0009892192,0.001252559,0.003101837],"category_scores_gemma":[0.004276509,0.0004204882,0.001170814,0.0006456662,0.001066739,0.001290253,0.000822366,0.0008947568,0.0002808695],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002289344,"about_ca_system_score_gemma":0.001539895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01515481,"about_ca_topic_score_gemma":0.008113538,"domain_scores_codex":[0.9988436,0.0004131768,0.00006336525,0.0001257743,0.0004292026,0.0001248214],"domain_scores_gemma":[0.9978331,0.001444528,0.0002382476,0.0001452089,0.0002925411,0.00004637624],"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.00001860199,0.00002905802,0.0007160488,0.00003366124,0.00002382064,0.0001055425,0.0001135316,0.911962,0.001118805,0.08201193,0.0003235397,0.003543494],"study_design_scores_gemma":[0.000003654794,0.000004997989,0.00008618716,0.000003488527,0.000003852655,0.000007321647,0.00000944037,0.988074,0.0001599853,0.01127971,0.0003643491,0.000002988124],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06312659,0.000216034,0.9221126,0.000431029,0.0000233939,0.0001387323,0.0003031497,0.0006152939,0.01303316],"genre_scores_gemma":[0.8843865,0.0003621394,0.1081665,0.00007746494,0.00004173571,0.0004443081,0.0004232353,0.000134999,0.005963042],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01515481,"threshold_uncertainty_score":0.03013319,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08747088800441173,"score_gpt":0.2857716920213697,"score_spread":0.198300804016958,"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."}}