{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001175208,0.0005623713,0.0004747497,0.0005091625,0.0006900787,0.0006007788,0.001032801,0.0006883873,0.006221272],"category_scores_gemma":[0.001538346,0.0002227576,0.0002633704,0.0002744492,0.0007370724,0.001105457,0.001236704,0.001068644,0.0009618061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006696003,"about_ca_system_score_gemma":0.0007219661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008080054,"about_ca_topic_score_gemma":0.0006345692,"domain_scores_codex":[0.9986488,0.0005229327,0.00009908581,0.0001796089,0.0003840564,0.0001656013],"domain_scores_gemma":[0.9989657,0.000277675,0.00009283816,0.0002883037,0.0002032354,0.000172155],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002749545,0.002083005,0.007659654,0.001101856,0.0001948655,0.002084306,0.0009576845,0.3069493,0.4032976,0.1427699,0.01452833,0.1156239],"study_design_scores_gemma":[0.0004504324,0.003500024,0.003767834,0.0001075408,0.00006812995,0.0005778142,0.0002911971,0.6790332,0.2471148,0.01171493,0.05326906,0.0001049699],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4131325,0.0003368037,0.5491237,0.0007340329,0.0005873489,0.001285078,0.001110825,0.01297182,0.02071788],"genre_scores_gemma":[0.8724381,0.000130679,0.1204451,0.00008001833,0.00003132738,0.0006075014,0.0007232806,0.000178124,0.005365966],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006221272,"threshold_uncertainty_score":0.02081221,"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."}}