Verifying Security‐Control Requirements and Validating their Effectiveness. Issue 2 (July 2013) - Hunter, Bruce