Franqueira, Virginia N L; Tun, Thein Than; Yu, Yijun; Wieringa, Roel; Nuseibeh, Bashar
(IEEE Computer Society, 2011)
When showing that a software system meets certain security requirements, it is often necessary to work with formal and informal descriptions of the system behavior, vulnerabilities, and the threats from potential attackers. ...