{"id":"W1536322440","doi":"","title":"Modeling and verification of firewall configurations using domain restriction method","year":2011,"lang":"en","type":"article","venue":"International Conference for Internet Technology and Secured Transactions","topic":"Network Packet Processing and Optimization","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Firewall (physics); Computer science; Application firewall; Distributed computing; Formal verification; Model checking; Computer security; Computer network; Stateful firewall; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0041619,0.00108885,0.0007519972,0.001489688,0.0006323026,0.002133609,0.003288914,0.001328265,0.001751046],"category_scores_gemma":[0.007165641,0.0009768965,0.002635686,0.0007833828,0.002342161,0.003200391,0.001768422,0.001751894,0.0005128596],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001038401,"about_ca_system_score_gemma":0.002313514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005692365,"about_ca_topic_score_gemma":0.003338776,"domain_scores_codex":[0.9950932,0.001550618,0.0005849608,0.0008867992,0.001501588,0.0003828244],"domain_scores_gemma":[0.9935761,0.003741169,0.0007219703,0.001338314,0.0005424241,0.00008001702],"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.0003875209,0.0002954583,0.004949036,0.0007086655,0.0002417758,0.0019084,0.0006757402,0.626258,0.04922927,0.2481212,0.001549421,0.06567558],"study_design_scores_gemma":[0.00008664308,0.00007320661,0.0002862593,0.00006286651,0.00007059736,0.0002160767,0.00004359455,0.9291069,0.02922133,0.03354043,0.007254139,0.00003787192],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008308477,0.00006649776,0.9890779,0.00004915205,0.00001476267,0.00009769385,0.0000803705,0.001313403,0.0009917271],"genre_scores_gemma":[0.2855125,0.0004151312,0.7109805,0.00009334526,0.0000295878,0.0004627296,0.0004951104,0.0003664899,0.001644594],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005692365,"threshold_uncertainty_score":0.02201045,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06023525701070293,"score_gpt":0.2947489383889734,"score_spread":0.2345136813782705,"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."}}