{"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":1750307712401,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"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.1413155","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":1,"title":["A rigorous methodology for security architecture modeling and verification"],"prefix":"10.1145","author":[{"given":"Yomna","family":"Ali","sequence":"first","affiliation":[{"name":"American University in Cairo, Egypt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sherif","family":"El-Kassas","sequence":"additional","affiliation":[{"name":"American University in 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","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.40"},{"key":"e_1_3_2_2_2_1","unstructured":"Guido Wimmel \"Model-Based Development of Security-Critical Systems \" PhD thesis TU M\u00fcnchen 2005.  Guido Wimmel \"Model-Based Development of Security-Critical Systems \" PhD thesis TU M\u00fcnchen 2005."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1232267"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145581.1145626"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00087-0"},{"key":"e_1_3_2_2_6_1","unstructured":"Suvda Myagmar Adam J. Lee and William Yurcik \"Threat Modeling as a Basis for Security Requirements \" Symposium on Requirements Engineering for Information Security (SREIS) in conjunction with 13th IEEE International Requirements Engineering Conference (RE) Paris France August 29th 2005.  Suvda Myagmar Adam J. Lee and William Yurcik \"Threat Modeling as a Basis for Security Requirements \" Symposium on Requirements Engineering for Information Security (SREIS) in conjunction with 13th IEEE International Requirements Engineering Conference (RE) Paris France August 29th 2005."}],"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.1413155","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1413140.1413155","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.1413155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,12]]},"references-count":6,"alternative-id":["10.1145\/1413140.1413155","10.1145\/1413140"],"URL":"https:\/\/doi.org\/10.1145\/1413140.1413155","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"}}]}}