{"id":"W4312366980","doi":"10.1016/j.ifacol.2022.10.334","title":"A Security Testbed for Networked DES Control Systems","year":2022,"lang":"en","type":"article","venue":"IFAC-PapersOnLine","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Conselho Nacional de Desenvolvimento Científico e Tecnológico; Natural Sciences and Engineering Research Council of Canada; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior","keywords":"Testbed; Computer science; Embedded system; Scheme (mathematics); Software; Control (management); Security controls; Control system; Control software; Computer security; Software security assurance; Operating system; Computer network; Information security; Engineering; Security service; Electrical engineering","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001344099,0.0002543715,0.0004406294,0.0001326314,0.0007203899,0.0001997185,0.001429911,0.0000691324,0.00001668271],"category_scores_gemma":[0.000119299,0.000250226,0.0001744155,0.0006573566,0.00005543973,0.0002974717,0.000363661,0.0002672373,0.00001226639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002878638,"about_ca_system_score_gemma":0.0001443366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00010187,"about_ca_topic_score_gemma":0.00002109468,"domain_scores_codex":[0.9973975,0.0002832812,0.0004967158,0.0006528409,0.0005506243,0.0006190652],"domain_scores_gemma":[0.9981573,0.0005400758,0.0002250606,0.0007507699,0.000164466,0.0001623759],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003529693,0.0007964388,0.002192829,0.0005426233,0.0004307473,0.00017487,0.005861274,0.9166209,0.005982231,0.03232836,0.0009009625,0.03381585],"study_design_scores_gemma":[0.001751784,0.0002233438,0.000025653,0.00003871804,0.00002056382,0.000111638,0.0003125314,0.9882867,0.00001778466,0.0008301318,0.008076255,0.000304863],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04518607,0.003556811,0.9448382,0.0008754406,0.00244029,0.001359282,0.0002228705,0.0006419896,0.0008791086],"genre_scores_gemma":[0.8242016,0.000007015371,0.1738645,0.0005000302,0.0005236708,0.0005186332,0.00002314698,0.00003066182,0.0003307954],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7790155,"threshold_uncertainty_score":0.999995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02349246409684417,"score_gpt":0.2525087436246081,"score_spread":0.2290162795277639,"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."}}