{"id":"W4315631988","doi":"10.3233/atde221263","title":"Cyber Physical Systems (CPS) Security Verification Using Model Checking","year":2023,"lang":"en","type":"book-chapter","venue":"Advances in transdisciplinary engineering","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Horizon College and Seminary","funders":"","keywords":"Computer security; Computer science; Construct (python library); Cyber-physical system; Physical security; Security testing; Computer security model; Threat model; Model checking; Cloud computing security; Security information and event management; Theoretical computer science; Computer network","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.002153551,0.001428785,0.000594604,0.001212941,0.0005920877,0.003125752,0.001935362,0.001024202,0.005965665],"category_scores_gemma":[0.00531873,0.0008880753,0.002129278,0.001102051,0.002053616,0.003501114,0.001879782,0.002666734,0.001802298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001498154,"about_ca_system_score_gemma":0.00263847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003068249,"about_ca_topic_score_gemma":0.002828077,"domain_scores_codex":[0.9974257,0.0006951313,0.0001559013,0.0003308321,0.001270933,0.0001213907],"domain_scores_gemma":[0.996234,0.002349463,0.0001561074,0.0008864697,0.0003356682,0.00003842824],"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.0001102201,0.000164148,0.001009389,0.001277182,0.0001255145,0.0004271905,0.0004994863,0.2058009,0.017689,0.5221542,0.01226527,0.2384775],"study_design_scores_gemma":[0.00004082574,0.0001260646,0.0003804154,0.0005952579,0.0001029453,0.0004833803,0.00008283729,0.5405605,0.03381336,0.3186728,0.1050697,0.0000719289],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003259151,0.0006597164,0.9777255,0.0003445606,0.0000921094,0.00009907308,0.0001905865,0.002267842,0.01536149],"genre_scores_gemma":[0.1750418,0.003736794,0.7993525,0.0003316138,0.0001228844,0.0004526933,0.0009750279,0.001461257,0.01852546],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005965665,"threshold_uncertainty_score":0.01995718,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01831888179547016,"score_gpt":0.24488186221141,"score_spread":0.2265629804159399,"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."}}