| 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 |