Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Michael G. Hinchey. Integrating Formal Analysis and Design to Preserve Security Properties. In 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), Proceedings (CD-ROM and online), 5-8 January 2009, Waikoloa, Big Island, HI, USA. pages 1-10, IEEE Computer Society, 2009. [doi]
Abstract is missing.