iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/IEEEares/HassanBEE08.xml
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 https://doi.org/10.1109/ARES.2008.77 https://doi.ieeecomputersociety.org/10.1109/ARES.2008.77 conf/IEEEares/2008 db/conf/IEEEares/ares2008.html#HassanBEE08