Publications
Filters: First Letter Of Title is R  [Clear All Filters]
 
"Risk and argument: A risk-based argumentation method for practical security",  
19th IEEE International Requirements Engineering Conference, Trento, Italy, IEEE, pp. 239-248, August 29  2011.
 Abstract
 
"Requirement Evolution: Towards a Methodology and Framework",  
The CaiSE’11 Doctoral Consortium, London, 2011.
 
"Risk analysis of changing and evolving systems using CORAS",  
Foundations of security analysis and design VI, vol. 6858: Springer, pp. 231-274, 2011.
 
"Run-time Security Traceability for Evolving Systems",  
The Computer Journal: Oxford Univ. Press, 2010.
 
"Run-time Verification of Cryptographic Protocols",  
Journal for Computers & Security, vol. 29, 2010.
          
] 



