Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements.

Riham Hassan Shawn A. Bohner Sherif El-Kassas Mohamed Eltoweissy Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements. 1443-1450 2008 ARES http://doi.ieeecomputersociety.org/10.1109/ARES.2008.77 conf/IEEEares/2008 db/conf/IEEEares/ares2008.html#HassanBEE08