Title | Formality of the Security Specification Process: Benefits Beyond Requirements |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Romero-Mariona, J., H. Ziv, and D. J. Richardson |
Conference Name | Proceedings of the 2010 43rd Hawaii International Conference on System Sciences |
Pagination | 1-6 |
Publisher | IEEE Computer Society |