Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson. Formality of the Security Specification Process: Benefits Beyond Requirements. In 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), Proceedings, 5-8 January 2010, Koloa, Kauai, HI, USA. pages 1-6, IEEE Computer Society, 2010. [doi]
Abstract is missing.