{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:12Z","timestamp":1750307712023,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,12]],"date-time":"2008-05-12T00:00:00Z","timestamp":1210550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,12]]},"DOI":"10.1145\/1413140.1413152","type":"proceedings-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T13:03:19Z","timestamp":1222779799000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Formal derivation of security design specifications from security requirements"],"prefix":"10.1145","author":[{"given":"Riham","family":"Hassan","sequence":"first","affiliation":[{"name":"Virginia Tech, Blacksburg, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shawn","family":"Bohner","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sherif","family":"El-Kassas","sequence":"additional","affiliation":[{"name":"The American university in Cairo, Cairo, Egypt"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,12]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Proceedings of ICSE'04:  26th Intl. Conf. on Software Engineering","author":"van Lamsweerde A.","year":"2004","unstructured":"A. van Lamsweerde , \"Elaborating Security Requirements by Construction of Intentional Anti-Models\" , In Proceedings of ICSE'04: 26th Intl. Conf. on Software Engineering , May 2004 . A. van Lamsweerde, \"Elaborating Security Requirements by Construction of Intentional Anti-Models\", In Proceedings of ICSE'04: 26th Intl. Conf. on Software Engineering, May 2004."},{"key":"e_1_3_2_2_2_1","volume-title":"Symposium on Requirement Engineering for Information Security (SREIS' 2005","author":"Gustavsson J.","year":"2005","unstructured":"Wilander, J. & Gustavsson , J., \"Security requirements -- A field study of current practice \", Symposium on Requirement Engineering for Information Security (SREIS' 2005 ), Paris, France , 2005 . Wilander, J. & Gustavsson, J., \"Security requirements -- A field study of current practice\", Symposium on Requirement Engineering for Information Security (SREIS' 2005), Paris, France, 2005."},{"key":"e_1_3_2_2_3_1","unstructured":"CERT http:\/\/www.cert.org\/stats\/cert_stats.html.  CERT http:\/\/www.cert.org\/stats\/cert_stats.html."},{"key":"e_1_3_2_2_4_1","volume-title":"Building Secure Software: How to Avoid Security Problems the Right Way","author":"Viega J.","year":"2001","unstructured":"J. Viega and G. McGraw , Building Secure Software: How to Avoid Security Problems the Right Way , Addison-Wesley , 2001 . J. Viega and G. McGraw, Building Secure Software: How to Avoid Security Problems the Right Way, Addison-Wesley, 2001."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"key":"e_1_3_2_2_7_1","first-page":"1","article-title":"Foundations of the B Method","volume":"22","year":"2003","unstructured":"Cansell, Dominique and M\u00e9ry, Dominique , \" Foundations of the B Method \", In Proceedings of Computing and Informatics , vol. 22 , pg. 1 -- 31 , 2003 . Cansell, Dominique and M\u00e9ry, Dominique, \"Foundations of the B Method\", In Proceedings of Computing and Informatics, vol. 22, pg. 1--31, 2003.","journal-title":"Proceedings of Computing and Informatics"}],"event":{"name":"CSIIRW '08: Cyber Security and Information Intelligence Research Workshop","acronym":"CSIIRW '08","location":"Oak Ridge Tennessee USA"},"container-title":["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"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1413140.1413152","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1413140.1413152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:12Z","timestamp":1750253412000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1413140.1413152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,12]]},"references-count":7,"alternative-id":["10.1145\/1413140.1413152","10.1145\/1413140"],"URL":"https:\/\/doi.org\/10.1145\/1413140.1413152","relation":{},"subject":[],"published":{"date-parts":[[2008,5,12]]},"assertion":[{"value":"2008-05-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}