{"id":"W3172737624","doi":"10.1016/j.jss.2021.111016","title":"ARTINALI++: Multi-dimensional Specification Mining for Complex Cyber-Physical System Security","year":2021,"lang":"en","type":"article","venue":"Journal of Systems and Software","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Cyber-physical system; Key (lock); Computer science; Software deployment; Property (philosophy); Intrusion detection system; Computer security; Computer security model; Distributed computing; Software engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001006758,0.00178454,0.0007846903,0.00200869,0.0007943072,0.001641222,0.001929533,0.0008050369,0.007029796],"category_scores_gemma":[0.00450556,0.0007834828,0.002264542,0.001250121,0.0004871018,0.001582639,0.002177098,0.001506292,0.00220938],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004509348,"about_ca_system_score_gemma":0.001349172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004146512,"about_ca_topic_score_gemma":0.01019116,"domain_scores_codex":[0.9992513,0.0001794896,0.0000828285,0.0001578211,0.0002691905,0.00005934119],"domain_scores_gemma":[0.9983416,0.0008881706,0.000132861,0.0004189256,0.0001681785,0.00005039152],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0005079936,0.0003844694,0.01125924,0.001787913,0.0005665559,0.0006330263,0.0005470852,0.187713,0.01868494,0.03654021,0.06218006,0.6791955],"study_design_scores_gemma":[0.00005335824,0.00007992035,0.0009767317,0.00003959488,0.00004975039,0.0001936866,0.00007422406,0.9566466,0.006636606,0.01805491,0.01716398,0.00003081319],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01492407,0.0003955464,0.9193391,0.0001804201,0.00007306383,0.0002574448,0.005419902,0.05698445,0.002426061],"genre_scores_gemma":[0.1161058,0.0002770447,0.8674003,0.0001369569,0.00002583026,0.0004683394,0.01131112,0.002033253,0.002241253],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007029796,"threshold_uncertainty_score":0.02351701,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03822537806345373,"score_gpt":0.2896736918379046,"score_spread":0.2514483137744509,"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."}}