{"id":"W4416399167","doi":"10.1016/j.cose.2025.104749","title":"A formal approach for security pattern enforcement in software architecture","year":2025,"lang":"en","type":"article","venue":"Computers & Security","topic":"Information and Cyber Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Université du Québec en Outaouais","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Software security assurance; Security testing; Usability; Computer security model; Enforcement; Software; Security service; Software architecture; Security information and event management","routes":{"ca_aff":true,"ca_fund":true,"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.005801644,0.001374393,0.0006847715,0.003101585,0.002079374,0.004057422,0.00303472,0.002122332,0.003839436],"category_scores_gemma":[0.01095942,0.001698222,0.003314545,0.001653333,0.007301644,0.005788784,0.003433986,0.005776943,0.001133136],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002672392,"about_ca_system_score_gemma":0.005493532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007740396,"about_ca_topic_score_gemma":0.009777775,"domain_scores_codex":[0.9949337,0.001643649,0.0005889186,0.0006043725,0.001859359,0.0003700501],"domain_scores_gemma":[0.9938711,0.003146833,0.0004661817,0.001492681,0.0008778834,0.0001452595],"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.00002777128,0.00009385662,0.0004596926,0.0002227963,0.0000392213,0.0003256462,0.00079274,0.03150317,0.004587922,0.9237756,0.001721901,0.03644974],"study_design_scores_gemma":[0.00006560787,0.0001094701,0.0001913431,0.000338199,0.00009344147,0.000441664,0.0002057229,0.2081209,0.008146994,0.7320436,0.05015709,0.00008600395],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008174202,0.00006025529,0.9968262,0.0002652786,0.00002744641,0.00007446796,0.00003759527,0.000431603,0.001459887],"genre_scores_gemma":[0.04263709,0.0002796794,0.953964,0.0001942778,0.00005377291,0.0003335127,0.0001357502,0.0001985156,0.002203393],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007740396,"threshold_uncertainty_score":0.03068238,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007592628939522522,"score_gpt":0.2313591017741829,"score_spread":0.2237664728346604,"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."}}