Integrating Formal Analysis and Design to Preserve Security Properties,

Authors

Shawn Bohner, Rose-Hulman Institute of TechnologyFollow
R. Hassan
S.A. El-Kassas
M. Hinchey

Document Type

Conference Proceeding

Publication Date

2009

External Access URL

http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4755412&isnumber=4755314

Recommended Citation

Hassan, R., Bohner, S., El-Kassas, S., & Hinchey, M. (2009, January). Integrating formal analysis and design to preserve security properties [Conference presentation]. 42nd Hawaii International Conference in System Sciences, Big Island, HI. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4755412&isnumber=4755314