{"id":"W3110418800","doi":"10.1007/978-3-030-64694-3_4","title":"Reusable Formal Models for Threat Specification, Detection, and Treatment","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Software engineering; Software security assurance; Formal specification; Formal methods; Security engineering; Component (thermodynamics); Component-based software engineering; Software development; Computer security; Software; Information security; Security service; Programming language","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"],"consensus_categories":[],"category_scores_codex":[0.0004422208,0.0004193841,0.0004440678,0.0003178725,0.0002578097,0.0002498991,0.001206409,0.0001969758,0.000001192586],"category_scores_gemma":[0.0001964102,0.0003705398,0.00008473676,0.0002939311,0.0002826019,0.001000627,0.0005399249,0.0002584297,0.000003935843],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003555713,"about_ca_system_score_gemma":0.0001733316,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005006311,"about_ca_topic_score_gemma":0.0000184463,"domain_scores_codex":[0.9976131,0.00001761354,0.0003478939,0.001235076,0.0003228177,0.0004635281],"domain_scores_gemma":[0.9976684,0.0009793956,0.0001580896,0.0008807339,0.0001801472,0.0001331771],"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.000007538076,0.000005554693,0.000001682115,0.00001971322,0.000007697296,0.000005338525,0.000351817,0.3567046,0.0001217196,0.0265551,0.000002176415,0.6162171],"study_design_scores_gemma":[0.0001973202,0.0003359396,0.00001071992,0.00004108787,0.000005676189,0.00002594453,1.334437e-7,0.5052983,0.002953973,0.489991,0.0008380161,0.0003018775],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000009342301,0.0006103013,0.9968922,0.0004456925,0.000815763,0.0005989615,0.000006717853,0.0003512759,0.0002697868],"genre_scores_gemma":[0.01535672,0.0001751171,0.9837297,0.0001984799,0.0003018314,0.00004721116,0.000002838805,0.00003069552,0.0001573567],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6159152,"threshold_uncertainty_score":0.9998747,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06394911561408247,"score_gpt":0.2752144986183782,"score_spread":0.2112653830042958,"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."}}