Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/csiirw/HassanBE08
AU - Hassan, Riham
AU - Bohner, Shawn A.
AU - El-Kassas, Sherif
TI - Formal derivation of security design specifications from security requirements.
BT - Proceedings of the 4th annual workshop on Cyber security and information intelligence research - developing strategies to meet the cyber security and information intelligence challenges ahead, CSIIRW '08, Oak Ridge, Tennessee, USA, May 12-14, 2008
SP - 10:1
EP - 10:3
PY - 2008//
DO - 10.1145/1413140.1413152
UR - https://doi.org/10.1145/1413140.1413152
ER -