{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000659932,0.0003293393,0.0003827047,0.0003766944,0.0002557964,0.0002913999,0.001508922,0.0001726756,0.00000947984],"category_scores_gemma":[0.0000389345,0.0003254467,0.0002195072,0.0006565767,0.00006519864,0.0008869984,0.0008721784,0.0004552276,0.000007730002],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000167111,"about_ca_system_score_gemma":0.00016217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001032409,"about_ca_topic_score_gemma":0.00008580538,"domain_scores_codex":[0.9976604,0.00009565349,0.000592274,0.0005763295,0.0003299713,0.0007453692],"domain_scores_gemma":[0.998669,0.0001414803,0.0001482106,0.0007726519,0.0001344231,0.0001342877],"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.00013019,0.0010901,0.003014055,0.001621376,0.0001507313,0.00001936084,0.05497447,0.007365507,0.000006726362,0.5304729,0.02292202,0.3782326],"study_design_scores_gemma":[0.003536739,0.0001661654,0.001840545,0.0001413018,0.00001601826,0.00002054389,0.0002500863,0.8562168,0.0003307242,0.08481194,0.05190114,0.0007680327],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006725279,0.0001233458,0.9858183,0.0007040296,0.0007700523,0.001018425,0.00002505996,0.0003196867,0.004495883],"genre_scores_gemma":[0.9375796,0.000008033375,0.05818919,0.003838162,0.00007915923,0.0001708697,0.00009165087,0.000009812498,0.00003354466],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9308543,"threshold_uncertainty_score":0.9999198,"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."}}