{"id":"W4408591548","doi":"10.1007/s11424-025-4263-8","title":"A Two-Pronged Approach to Security of Discrete-Event Systems","year":2025,"lang":"en","type":"article","venue":"Journal of Systems Science and Complexity","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Event (particle physics); Computer security; Physics","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.004655911,0.0001269988,0.0004197889,0.0004472034,0.0003514683,0.0004451451,0.001689713,0.00003724066,4.044033e-7],"category_scores_gemma":[0.0002022418,0.0001017003,0.0000701933,0.001687384,0.0003860439,0.000666258,0.0004142778,0.0001951135,0.000001175842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001403421,"about_ca_system_score_gemma":0.0005246468,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002388379,"about_ca_topic_score_gemma":0.000002470834,"domain_scores_codex":[0.9974489,0.0001734259,0.0008254308,0.000332348,0.0009476717,0.000272242],"domain_scores_gemma":[0.9975798,0.0001070077,0.0005955623,0.0004714731,0.001047479,0.0001986528],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001680345,0.0001565848,0.00127591,0.0002999758,0.00002658768,0.00000232586,0.002760473,0.002584553,0.001795555,0.9898583,0.0005206685,0.0007022733],"study_design_scores_gemma":[0.000993036,0.0003518416,0.01197512,0.001048946,0.00002773486,0.0003919114,0.00512133,0.9644887,0.001274139,0.01084345,0.00312268,0.0003610388],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2891601,0.001194367,0.6998401,0.000596324,0.00212424,0.0004341183,0.000003731256,0.00002953154,0.006617563],"genre_scores_gemma":[0.9934198,0.000007823462,0.006374136,0.00007173565,0.0000933325,0.000005753504,1.327827e-7,0.000002278184,0.00002503868],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9790148,"threshold_uncertainty_score":0.4292544,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05195687794860957,"score_gpt":0.3136148233265912,"score_spread":0.2616579453779816,"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."}}