Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/hicss/HassanBEH09
AU - Hassan, Riham
AU - Bohner, Shawn A.
AU - El-Kassas, Sherif
AU - Hinchey, Michael G.
TI - Integrating Formal Analysis and Design to Preserve Security Properties.
BT - 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), Proceedings (CD-ROM and online), 5-8 January 2009, Waikoloa, Big Island, HI, USA
SP - 1
EP - 10
PY - 2009//
DO - 10.1109/HICSS.2009.267
UR - https://doi.org/10.1109/HICSS.2009.267
UR - https://doi.ieeecomputersociety.org/10.1109/HICSS.2009.782
ER -
