L Lin,
B Nuseibeh, D Ince, M Jackson… - … 11th IEEE International …, 2003 - ieeexplore.ieee.org
We are developing an approach using Jackson's Problem Frames to analyse security
problems in order to determine security vulnerabilities. We introduce the notion of an anti …