Yu, Yijun; Tun, Thein Than; Tedeschi, Alessandra; Nuseibeh, Bashar
(IEEE Computer Society, 2011)
When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software ...