{"id":"W4399753093","doi":"10.1007/978-3-031-60391-4_3","title":"Combining Cryptography and Discrete-Event Systems to Study Sensor and Actuator Cyberattacks","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Cryptography; Event (particle physics); Actuator; Wireless sensor network; Computer security; Real-time computing; Embedded system; Computer network; Artificial intelligence","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001628119,0.0007463029,0.0008644681,0.001593337,0.0003739299,0.002481455,0.001957834,0.0002585695,0.000001952636],"category_scores_gemma":[0.00006212357,0.0006433643,0.00009569439,0.001028987,0.0003552855,0.0004826989,0.003126358,0.000840873,0.00002006486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001884539,"about_ca_system_score_gemma":0.0001748386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004603808,"about_ca_topic_score_gemma":0.00003386243,"domain_scores_codex":[0.9946024,0.00007779153,0.0007908445,0.002536506,0.001259293,0.0007331052],"domain_scores_gemma":[0.9971573,0.0005857035,0.000223147,0.001426386,0.0001919943,0.0004154655],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004734377,0.0002646853,0.002023596,0.001041158,0.0004655623,0.002176147,0.05399873,0.1347998,0.0009017181,0.1320473,0.00008885232,0.6721451],"study_design_scores_gemma":[0.0006433611,0.0009634576,0.0002273617,0.00251461,0.00005526421,0.0004935148,0.00001669233,0.9598967,0.0001363545,0.03231491,0.001053676,0.001684053],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007898347,0.002284706,0.9840748,0.0003895716,0.00312624,0.001286404,0.00001021497,0.0002553088,0.0006743997],"genre_scores_gemma":[0.859695,0.00003326813,0.139307,0.000379383,0.0003449639,0.00003819537,0.000001172684,0.0000578504,0.0001431956],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8517966,"threshold_uncertainty_score":0.9996018,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01795334002929285,"score_gpt":0.2711417716279541,"score_spread":0.2531884315986613,"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."}}