Improving the Usability of Security Requirements by Software Developers through Empirical Studies and Analysis Improving the Usability of Security Requirements by Software Developers through Empirical Studies and Analysis Usable Formal Methods for the Design and Composition of Security and Privacy Policies