The Importance of Security Cases: Proof Is Good, But Not Enough | IEEE Journals & Magazine | IEEE Xplore