Improving the Usability of Security Requirements by Software Developers through Empirical Studies and Analysis |
|
Going Native - Relying on Pidgins and Creoles to Construct High Confidence Software |
|
Grounded Analysis to Discover Composable Security Models |
|
Usable Formal Methods for the Design and Composition of Security and Privacy Policies |
|
Improving the Usability of Security Requirements by Software Developers through Empirical Studies and Analysis |
|