{"id":"W2109671077","doi":"10.1109/compsac.2005.69","title":"Detecting intrusions specified in a software specification language","year":2005,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Microsoft Research","keywords":"Computer science; Specification language; Intrusion detection system; Formal specification; Software requirements specification; Popularity; System requirements specification; Computer security; Software; Software security assurance; Language Of Temporal Ordering Specification; Programming language; Software engineering; Software development; Software design; Information security; Security service","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001729697,0.00009315113,0.00009219869,0.000232962,0.00006800916,0.0000561352,0.0004222173,0.00005087016,0.00009593223],"category_scores_gemma":[0.0001527267,0.00009172477,0.00003006971,0.0005642577,0.0000147775,0.0005987026,0.0001629168,0.0001662544,0.0001178904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001366505,"about_ca_system_score_gemma":0.00001655567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002923285,"about_ca_topic_score_gemma":0.0003096712,"domain_scores_codex":[0.999108,0.00003010481,0.0002215724,0.0003059515,0.0001382202,0.0001961853],"domain_scores_gemma":[0.999292,0.00008508943,0.00006245806,0.0004772715,0.00003654763,0.00004667947],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000004137896,0.0000386088,0.0001561465,0.000002782321,0.000001244344,0.000008520613,0.0009202907,0.0001433836,0.01299375,0.009798368,0.0002156446,0.9757171],"study_design_scores_gemma":[0.000597358,0.00009685352,0.01070424,0.00004741791,0.000002034614,0.00007856835,0.0006212888,0.02354692,0.9177372,0.009820153,0.03610982,0.0006381586],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02139439,0.00004090046,0.9724734,0.0006192209,0.00007336817,0.0001576132,3.862715e-7,0.001336907,0.003903774],"genre_scores_gemma":[0.496525,0.000009589996,0.5028738,0.000162303,0.00006874394,0.00002005251,4.767374e-7,0.000006122119,0.0003338702],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9750789,"threshold_uncertainty_score":0.3740428,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01287224496590445,"score_gpt":0.266563274194662,"score_spread":0.2536910292287576,"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."}}