{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00665459,0.00117788,0.001165444,0.002179522,0.001534518,0.006568813,0.003314911,0.003527368,0.01233584],"category_scores_gemma":[0.01938216,0.0009572046,0.002243972,0.0008513198,0.007115797,0.01585309,0.007922587,0.008089019,0.002279412],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001671796,"about_ca_system_score_gemma":0.002266038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004257683,"about_ca_topic_score_gemma":0.0004768587,"domain_scores_codex":[0.9901389,0.003958672,0.0007905748,0.001269227,0.00328233,0.0005604082],"domain_scores_gemma":[0.9861309,0.007122518,0.0004920387,0.004326895,0.001411843,0.0005157985],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003296001,0.00002957843,0.0001484659,0.00004224624,0.00002208991,0.00009331168,0.0001668675,0.004474528,0.0005551663,0.9843103,0.0005626559,0.009561885],"study_design_scores_gemma":[0.00002309622,0.0000413265,0.00005174219,0.00003148212,0.00001945348,0.0001155378,0.00004548486,0.05119285,0.0009271367,0.9414453,0.006086495,0.00002019757],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002279496,0.0001540161,0.9840626,0.0024987,0.0001914297,0.00007230227,0.00004531038,0.0001291519,0.01056702],"genre_scores_gemma":[0.4351393,0.0006994156,0.5319682,0.002142982,0.0009348756,0.0004967451,0.0001811411,0.000209558,0.02822777],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01233584,"threshold_uncertainty_score":0.04126751,"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."}}