{"id":"W4225775465","doi":"10.1109/qrs54544.2021.00106","title":"Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata","year":2021,"lang":"en","type":"article","venue":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)","topic":"Smart Grid Security and Resilience","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Exploit; Computer science; Industrial control system; Spoofing attack; Automaton; Computer security; Model checking; Critical infrastructure; Vulnerability (computing); Ransomware; Control (management); Malware; Theoretical computer science; Artificial intelligence","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.0009243843,0.000622299,0.0003194057,0.0007027874,0.0003396976,0.0009777867,0.0005982814,0.0004132105,0.001095598],"category_scores_gemma":[0.004260536,0.0002681071,0.0007328546,0.0003699016,0.001043568,0.0009933988,0.0005269593,0.0006373971,0.00008361707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001006112,"about_ca_system_score_gemma":0.001122882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01269426,"about_ca_topic_score_gemma":0.009024845,"domain_scores_codex":[0.9993559,0.0002105992,0.00004254189,0.00009088422,0.000219524,0.0000805294],"domain_scores_gemma":[0.9960921,0.00294659,0.0003878523,0.0002607558,0.0002540274,0.00005869129],"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.00004873653,0.00003617238,0.003908341,0.00003335093,0.00002769545,0.00009094108,0.00007450984,0.9697762,0.004707779,0.01550084,0.00006208046,0.005733426],"study_design_scores_gemma":[0.000002708513,0.00001944932,0.0002586964,0.000002432391,0.000007971907,0.000008638178,0.00001262515,0.9952374,0.001548005,0.002804113,0.0000951818,0.000002734102],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3806036,0.0001532438,0.6138385,0.0001256144,0.00002924701,0.00007904889,0.0001724204,0.0009298869,0.00406848],"genre_scores_gemma":[0.9701671,0.00008988773,0.02915015,0.00001156778,0.000005692886,0.00004582316,0.00005667596,0.00003041972,0.0004427107],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01269426,"threshold_uncertainty_score":0.02524078,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05798350338850682,"score_gpt":0.3354805870305076,"score_spread":0.2774970836420008,"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."}}