{"id":"W1985317073","doi":"10.1007/s10207-007-0023-0","title":"Integrating software specifications into intrusion detection","year":2007,"lang":"en","type":"article","venue":"International Journal of Information Security","topic":"Network Security and Intrusion Detection","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Unified Modeling Language; Intrusion detection system; Finite-state machine; Programming language; Software; Context (archaeology); State (computer science); Specification language; Software engineering; Computer security","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.001764941,0.0001339237,0.0001504395,0.0007950481,0.0001963361,0.0003874507,0.001085674,0.0001183914,0.00005650174],"category_scores_gemma":[0.0007000482,0.0001220942,0.000148458,0.0005214422,0.00004318594,0.006063376,0.0001933853,0.0004736661,0.00007421809],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003255671,"about_ca_system_score_gemma":0.00008839778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004429638,"about_ca_topic_score_gemma":0.00007974815,"domain_scores_codex":[0.9976024,0.00005600638,0.001139124,0.0001083692,0.0009186055,0.0001754736],"domain_scores_gemma":[0.9963967,0.000181237,0.001068163,0.0002175399,0.002008156,0.0001282678],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001500388,0.00009966602,0.0002987158,0.00001260557,0.00006686209,0.00001546669,0.009312822,0.0002044035,0.001720061,0.07104371,0.001020312,0.9160553],"study_design_scores_gemma":[0.003383641,0.0009314726,0.0171646,0.0004347551,0.00003802598,0.002477164,0.003234221,0.06108265,0.1511554,0.2114618,0.5475838,0.001052498],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0585669,0.00004881834,0.9349132,0.0009299463,0.003905704,0.00008767228,0.000001963882,0.00008512705,0.001460661],"genre_scores_gemma":[0.9487526,0.00007795193,0.05003049,0.0005010297,0.0006187055,0.000001676909,0.000007556993,0.00000436188,0.000005659571],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9150028,"threshold_uncertainty_score":0.4978857,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01196021126481714,"score_gpt":0.2549680585818327,"score_spread":0.2430078473170156,"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."}}