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