Title

Integrating Formal Analysis and Design to Preserve Security Properties,

Document Type

Article

Publication Date

2009

External Access URL

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