{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004659847,0.000113891,0.0003263339,0.00008302987,0.0001562917,0.0001334541,0.0001844061,0.00005435343,8.154216e-7],"category_scores_gemma":[0.0001963473,0.00009881711,0.0001125318,0.0001518412,0.00002440333,0.0003791757,0.0000735047,0.0001216987,0.000001128041],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000116098,"about_ca_system_score_gemma":0.00008555964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004485373,"about_ca_topic_score_gemma":0.000001971551,"domain_scores_codex":[0.9987358,0.00008328182,0.0004757651,0.0002101397,0.0003475951,0.000147352],"domain_scores_gemma":[0.9977976,0.0002271708,0.000509296,0.0002155761,0.001142288,0.0001080575],"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.0008634619,0.00397357,0.01496523,0.01348181,0.001569198,0.003511959,0.03181348,0.01410336,0.2604185,0.3358205,0.06152657,0.2579523],"study_design_scores_gemma":[0.007425762,0.002300393,0.01636766,0.004987501,0.000209789,0.02459731,0.008804411,0.7647394,0.0558598,0.008100469,0.1045326,0.002074911],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05699887,0.0005295746,0.9416129,0.0001046767,0.0004718662,0.0001484608,0.000008087929,0.0001119738,0.00001359253],"genre_scores_gemma":[0.727572,0.0000056575,0.2720628,0.00002461633,0.0002701349,0.00001058955,0.000001535959,0.000008695437,0.00004395015],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.750636,"threshold_uncertainty_score":0.4029645,"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."}}