Formality of the Security Specification Process: Benefits Beyond Requirements

TitleFormality of the Security Specification Process: Benefits Beyond Requirements
Publication TypeConference Paper
Year of Publication2010
AuthorsRomero-Mariona, J., H. Ziv, and D. J. Richardson
Conference NameProceedings of the 2010 43rd Hawaii International Conference on System Sciences
Pagination1-6
PublisherIEEE Computer Society