{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001506287,0.0008465125,0.0008870026,0.0009611854,0.0004481926,0.002060812,0.0008614185,0.001325146,0.002448553],"category_scores_gemma":[0.004170825,0.0004186675,0.001050853,0.001119574,0.001991043,0.00436691,0.001211934,0.003452667,0.000419828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001030478,"about_ca_system_score_gemma":0.0006104818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005753562,"about_ca_topic_score_gemma":0.0004569394,"domain_scores_codex":[0.9992808,0.0002814744,0.00004455595,0.00008909205,0.0002286148,0.00007553619],"domain_scores_gemma":[0.9965462,0.002613718,0.0002650541,0.0003394019,0.0001580568,0.00007766935],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003474445,0.0000621556,0.0004612728,0.0001426939,0.00005023827,0.0001176243,0.00008155814,0.1003964,0.002502711,0.8787025,0.000938375,0.01650974],"study_design_scores_gemma":[0.00001723452,0.00004510102,0.0002172847,0.00003516882,0.00002717123,0.0001298303,0.00004331362,0.485392,0.001937042,0.5076225,0.004510915,0.00002248685],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01564324,0.003374278,0.9576716,0.001027948,0.0004184756,0.00006340764,0.00004374545,0.00007697154,0.02168034],"genre_scores_gemma":[0.7556682,0.006699262,0.211964,0.0005455975,0.0008718415,0.0001577222,0.0000947736,0.0001099351,0.02388868],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002448553,"threshold_uncertainty_score":0.008191228,"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."}}