{"id":"W4366818532","doi":"10.1109/icsa-c57050.2023.00042","title":"Formalizing the Relationship between Security Policies and Objectives in Software Architectures","year":2023,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University; University of Ottawa; Carleton University","funders":"","keywords":"Computer science; Software security assurance; Computer security model; Confidentiality; Software engineering; Computer security; Security testing; Software development; Application security; Security policy; Security service; Component (thermodynamics); Security information and event management; Software; Information security; Cloud computing security; Operating system","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.009686313,0.001124476,0.0004284969,0.002833392,0.001150231,0.004756931,0.001146197,0.001362961,0.001690055],"category_scores_gemma":[0.01746076,0.0009751456,0.001585216,0.001454128,0.003111687,0.006111541,0.001836187,0.003356633,0.0004169388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002644976,"about_ca_system_score_gemma":0.005628159,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006206869,"about_ca_topic_score_gemma":0.007931586,"domain_scores_codex":[0.992804,0.00312461,0.001090729,0.0006059976,0.00181546,0.0005591247],"domain_scores_gemma":[0.9868258,0.007887696,0.001853227,0.001741658,0.001515078,0.0001765134],"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.00005028717,0.0001267249,0.002775369,0.000341765,0.00004864726,0.0002223676,0.001724458,0.1169709,0.00802551,0.8240144,0.0005463905,0.04515314],"study_design_scores_gemma":[0.00004139173,0.0001554985,0.00131821,0.0006396107,0.0001490822,0.0003007402,0.0007392619,0.5369244,0.02139303,0.4057572,0.03248155,0.00009995076],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01519887,0.0001453327,0.9809729,0.000431157,0.00002243289,0.000116747,0.00007622073,0.000306667,0.002729693],"genre_scores_gemma":[0.2448022,0.0006167688,0.7514694,0.0001282971,0.00003994366,0.0004031192,0.0002469428,0.0001435787,0.002149679],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009686313,"threshold_uncertainty_score":0.05122668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07785788778087878,"score_gpt":0.3380761420838336,"score_spread":0.2602182543029548,"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."}}