Formalizing the Relationship between Security Policies and Objectives in Software Architectures | IEEE Conference Publication | IEEE Xplore