Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 3 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Charles B. Haley  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
Montrieux, L., J. Jürjens, C. B. Haley, Y. Yu, P. - Y. Schobbens, and H. Toussaint, "Tool support for code generation from a UMLsec property", Proceedings of the IEEE/ACM international conference on Automated software engineering, New York, NY, USA, ACM, pp. 357–358, 2010.
S
Nuseibeh, B., C. B. Haley, and C. Foster, "Securing the Skies: In Requirements We Trust.", IEEE Computer, vol. 42, no. 9, pp. 64-72, 2009.
M
Tun, T. T., Y. Yu, C. B. Haley, and B. Nuseibeh, "Model-Based Argument Analysis for Evolving Security Requirements", Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, IEEE Computer Society, pp. 88-97, 06/10, 2010.