{"id":"W4391527010","doi":"10.1145/3628034.3628044","title":"Formal model-based argument patterns for security cases","year":2023,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Argument (complex analysis); Computer security model; Software security assurance; Security testing; Notation; Software deployment; Formal methods; Security service; Computer security; Security information and event management; Security engineering; Formal specification; Formal system; Formal verification; Software engineering; Cloud computing security; Information security; Programming language; Mathematics","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.007958986,0.001773128,0.0006220399,0.003663503,0.001538037,0.006177924,0.002324282,0.003020421,0.009659897],"category_scores_gemma":[0.023716,0.001685638,0.003368037,0.002573531,0.005151257,0.007390778,0.003199857,0.004666963,0.002372644],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002599934,"about_ca_system_score_gemma":0.002846449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002605648,"about_ca_topic_score_gemma":0.003464416,"domain_scores_codex":[0.9918848,0.002980331,0.001657356,0.0009707279,0.002043468,0.0004632346],"domain_scores_gemma":[0.983848,0.009716163,0.001753265,0.002806011,0.001620885,0.0002556257],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003505586,0.0001033102,0.0007503549,0.0002458413,0.00002642882,0.0006253974,0.001368725,0.01299379,0.002905944,0.9514517,0.001768962,0.02772445],"study_design_scores_gemma":[0.0001151507,0.0001032917,0.0003632485,0.0004402102,0.00006582258,0.0009297785,0.0006673568,0.1126122,0.008648136,0.8081352,0.06784655,0.00007304046],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00304959,0.00004005368,0.9910188,0.0003460635,0.00002801087,0.0004034009,0.0002258048,0.0005288934,0.004359413],"genre_scores_gemma":[0.04351511,0.0001246407,0.9516917,0.00009595784,0.00002000215,0.001186232,0.0006159875,0.0001904717,0.002559794],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009659897,"threshold_uncertainty_score":0.04209167,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01800557999286843,"score_gpt":0.2297935665295465,"score_spread":0.2117879865366781,"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."}}