{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:09:30Z","timestamp":1742404170400},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icse.2003.1201286","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"787-788","source":"Crossref","is-referenced-by-count":0,"title":["ICSE 2003 workshop on software engineering for high assurance systems: synergies between process, product, and profiling (SEHAS 2003)"],"prefix":"10.1109","author":[{"given":"M.S.","family":"Feather","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.P.","family":"Nikora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.L.","family":"Heitmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.R.","family":"Mead","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1010058"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1997.630888"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972723"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.21236\/ADA387544","article-title":"Attack modeling for information security and survivability","author":"moore","year":"2001"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1998.730895"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1998.731226"},{"key":"12","article-title":"High assurance computer systems: A research agenda","author":"mclean","year":"0","journal-title":"Proc America in the Age of Information National Science and Technology Council Committee on Information and Communications Forum Bethesda MD 1995"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2002.1173214"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2001.992656"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919090"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018929719710"},{"journal-title":"RHAS '02 Internat Workshop on Requirements for High Assurance Systems Essen Germany Sept 2002 Software Engineering Inst Pittsburgh PA","year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.730543"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671115"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.21236\/ADA407793","article-title":"Life-cycle models for survivable systems","author":"linger","year":"2002"},{"journal-title":"Safeware System Safety and Computers","year":"1995","author":"leveson","key":"8"}],"event":{"name":"25th International Conference on Software Engineering, 2003. Proceedings.","start":{"date-parts":[[2003,5,10]]},"location":"Portland, OR, USA","end":{"date-parts":[[2003,5,10]]}},"container-title":["25th International Conference on Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8548\/27042\/01201286.pdf?arnumber=1201286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,3]],"date-time":"2018-06-03T23:32:59Z","timestamp":1528068779000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201286\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icse.2003.1201286","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}