{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000631757,0.00008916431,0.0001042943,0.0001869998,0.000137215,0.00005899306,0.000358763,0.00003985463,3.190971e-7],"category_scores_gemma":[0.003651942,0.00006072449,0.00002687123,0.0007190563,0.00006773529,0.0001937472,0.0003709098,0.0002132698,0.000003541454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001755875,"about_ca_system_score_gemma":0.0000139879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004486707,"about_ca_topic_score_gemma":0.00003773823,"domain_scores_codex":[0.9992336,0.0001293732,0.000121375,0.0001770539,0.0001077151,0.0002308633],"domain_scores_gemma":[0.9918001,0.007881192,0.00002563406,0.0002546127,0.00001192319,0.00002654479],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.000001468058,0.00000252156,0.8879325,0.00002985986,0.00000804375,0.000003584437,0.01555318,0.02684424,0.00001032821,0.05582026,0.00005257612,0.01374142],"study_design_scores_gemma":[0.00004286895,0.00000869161,0.690042,0.000009212619,8.228967e-7,0.000002658815,0.0001828208,0.0005100199,0.0001021883,0.3089985,0.00003658554,0.00006363684],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.316748,0.00009923091,0.6817374,0.0005576686,0.00004432208,0.00007254592,0.000001036035,0.0006777135,0.0000620794],"genre_scores_gemma":[0.8356378,0.000005367719,0.1642287,0.00004531766,0.00002526419,0.00001316798,6.547668e-7,0.000005247874,0.00003845225],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5188898,"threshold_uncertainty_score":0.4371979,"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."}}