Riham Hassan, Mohamed Eltoweissy, Shawn A. Bohner, Sherif El-Kassas. Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements. IEE Proceedings - Software, 4(2):149-160, 2010. [doi]
Abstract is missing.