{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005744342,0.001786934,0.0008455226,0.002256651,0.001016614,0.005590596,0.004281852,0.002446169,0.008381412],"category_scores_gemma":[0.01769977,0.001690417,0.002050622,0.001480438,0.002571246,0.00652178,0.002548997,0.003643782,0.002965222],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002675452,"about_ca_system_score_gemma":0.004887117,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00639788,"about_ca_topic_score_gemma":0.008786282,"domain_scores_codex":[0.9945716,0.002081471,0.0006710512,0.0005489065,0.001812377,0.0003145897],"domain_scores_gemma":[0.9867605,0.006235604,0.001067118,0.004448195,0.001252771,0.0002357644],"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.00004628718,0.0001152359,0.0003467223,0.0002477873,0.00004389878,0.0001427254,0.0005059696,0.04460844,0.002169331,0.8817102,0.006893791,0.06316974],"study_design_scores_gemma":[0.00005600616,0.00007094665,0.0001665685,0.0003960552,0.0001088655,0.000249316,0.0001729349,0.2431873,0.006280824,0.6651379,0.08409931,0.00007395436],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001500756,0.0002823282,0.9900649,0.0005527543,0.00005662202,0.0001634899,0.0002717007,0.001812538,0.005294886],"genre_scores_gemma":[0.08683558,0.001004212,0.8941823,0.0003362102,0.0001301171,0.0007969124,0.001647839,0.001009002,0.01405788],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008381412,"threshold_uncertainty_score":0.03037935,"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."}}