{"id":"W2099864444","doi":"10.1109/ares.2008.70","title":"Towards Incorporating Discrete-Event Systems in Secure Software Development","year":2008,"lang":"en","type":"article","venue":"","topic":"Network Security and Intrusion Detection","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Finite-state machine; Intrusion detection system; Anomaly detection; Automaton; Attack patterns; Event (particle physics); Software; Construct (python library); Set (abstract data type); Decomposition; Software development; State (computer science); Software system; Distributed computing; Computer security; Software engineering; Theoretical computer science; Data mining; Programming language","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.0002905276,0.0001195682,0.0001464386,0.0001111992,0.0002108036,0.00007058728,0.0003799655,0.00007419253,0.00001625982],"category_scores_gemma":[0.00002555088,0.0001017249,0.00003117598,0.0004784254,0.00002208145,0.0004325628,0.0002598369,0.0001659674,0.00004798586],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001146629,"about_ca_system_score_gemma":0.0001601206,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002097361,"about_ca_topic_score_gemma":0.0001793166,"domain_scores_codex":[0.9987708,0.00006661107,0.000336065,0.0002948107,0.0003093873,0.00022227],"domain_scores_gemma":[0.9995198,0.0000251028,0.00008807773,0.0002416421,0.0000507231,0.00007461452],"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.00006429061,0.0007475208,0.03503198,0.0003724402,0.00009596384,0.0009663762,0.03684117,0.04898209,0.0007201619,0.2635572,0.01356421,0.5990566],"study_design_scores_gemma":[0.001601094,0.0003927065,0.04378885,0.0005364948,0.000004323242,0.0006918859,0.0004952367,0.8637304,0.008359932,0.006648416,0.07209707,0.00165356],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1597063,0.0001803215,0.8374186,0.000181973,0.0006682721,0.0001917472,3.157589e-7,0.0002536273,0.001398851],"genre_scores_gemma":[0.9312964,0.00001557096,0.06819687,0.0001251256,0.00007325665,0.00002916515,0.000002314889,0.000005701804,0.0002555852],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8147483,"threshold_uncertainty_score":0.414822,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01803807527691614,"score_gpt":0.2295691391642063,"score_spread":0.2115310638872902,"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."}}