A Standard Methodology for Embedding Security Functionality Within Formal Specifications of Requirements. - Chidambaram Velayudham; Daniel Shoemaker 001; Antonio Drommi (AMCIS, 2004)