%0 Journal Article %1 journals/iee/HassanEBE10 %A Hassan, Riham %A Eltoweissy, Mohamed %A Bohner, Shawn A. %A El-Kassas, Sherif %D 2010 %J IET Softw. %K dblp %N 2 %P 149-160 %T Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements. %U http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#HassanEBE10 %V 4

@article{journals/iee/HassanEBE10, added-at = {2022-08-16T00:00:00.000+0200}, author = {Hassan, Riham and Eltoweissy, Mohamed and Bohner, Shawn A. and El-Kassas, Sherif}, biburl = {https://www.bibsonomy.org/bibtex/23cc09fe84a08e4dc4e9932a8d7df0728/dblp}, ee = {https://www.wikidata.org/entity/Q113438808}, interhash = {a2c8d57e7868914c8ec3c9bca3428a06}, intrahash = {3cc09fe84a08e4dc4e9932a8d7df0728}, journal = {IET Softw.}, keywords = {dblp}, number = 2, pages = {149-160}, timestamp = {2024-04-08T11:01:39.000+0200}, title = {Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements.}, url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen4.html#HassanEBE10}, volume = 4, year = 2010 }