{"id":"W1966491770","doi":"10.1109/cec.2013.6557965","title":"How far an evolutionary approach can go for protocol state analysis and discovery","year":2013,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"National Institute for Materials Science; Dalhousie University","keywords":"Computer science; Protocol (science); Distributed computing; File Transfer Protocol; Implementation; Dynamic Host Configuration Protocol; A priori and a posteriori; Reverse Address Resolution Protocol; Protocol analysis; Neighbor Discovery Protocol; Two-phase commit protocol; State (computer science); Communications protocol; Computer network; Theoretical computer science; Internet protocol suite; Software engineering; Operating system; The Internet; Programming language; Ip address","routes":{"ca_aff":true,"ca_fund":true,"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.00008959649,0.0001239581,0.0001517965,0.0002092845,0.0001206239,0.0004328036,0.0003237945,0.00003673282,0.00000336433],"category_scores_gemma":[0.00001756721,0.00009945168,0.00006181281,0.0005171211,0.00004768491,0.002600945,0.0001454926,0.00005846769,8.054154e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004782938,"about_ca_system_score_gemma":0.00002849747,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001368473,"about_ca_topic_score_gemma":0.00003898434,"domain_scores_codex":[0.9990368,0.00003497197,0.0001300039,0.0004493764,0.0001389907,0.000209838],"domain_scores_gemma":[0.9992163,0.00002970334,0.00007653323,0.0004599,0.0001266128,0.00009098519],"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.00007359031,0.0009148029,0.01354649,0.0004489436,0.0007485754,0.000005121679,0.001100384,0.00223224,0.01144388,0.1141396,0.009947908,0.8453985],"study_design_scores_gemma":[0.0007930794,0.001009333,0.02388625,0.000007287795,0.00005743422,0.00001986886,0.0001790398,0.8361725,0.02723764,0.09251595,0.01724348,0.0008781586],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004997488,0.000003427788,0.9691626,0.0003754989,0.00001098633,0.02928999,0.000008725555,0.0004482442,0.0002008248],"genre_scores_gemma":[0.04084988,0.000001216821,0.8060808,0.0001203052,0.00001677477,0.1498708,0.000006871539,0.000008886547,0.003044494],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8445203,"threshold_uncertainty_score":0.4173535,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01305614119516811,"score_gpt":0.2612661622385419,"score_spread":0.2482100210433738,"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."}}