A Standard Methodology for Embedding Security Functionality Within Formal Specifications of Requirements

Authors

Chidambaram Velayudham, University of Detroit Mercy
Dan Shoemaker, University of Detroit Mercy
Antonio Drommi, University of Detroit Mercy

Recommended Citation

Velayudham, Chidambaram; Shoemaker, Dan; and Drommi, Antonio, "A Standard Methodology for Embedding Security Functionality Within Formal Specifications of Requirements" (2004). AMCIS 2004 Proceedings. 180.
https://aisel.aisnet.org/amcis2004/180