Designing Secure Systems - Michael Melone (Taylor and Francis, 2021)