{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:00:26Z","timestamp":1729630826173,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/modre.2013.6597265","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T12:20:11Z","timestamp":1379593211000},"page":"65-73","source":"Crossref","is-referenced-by-count":4,"title":["Security requirements formalized with OCL in a model-driven approach"],"prefix":"10.1109","author":[{"given":"Marian","family":"Borek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Moebius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Stenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19811-3_17"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/IWSESS.2009.5068461"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11747-3_13"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317437"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7"},{"key":"13","first-page":"21","article-title":"Attack trees","volume":"24","author":"schneier","year":"1999","journal-title":"Dr Dobbs Journal"},{"key":"14","first-page":"249","article-title":"Goal-oriented requirements engineering: A guided tour","author":"van lamsweerde","year":"2001","journal-title":"Requirements Engineering 2001 Proceedings Fifth IEEE International Symposium On IEEE"},{"journal-title":"Java Card Technology for Smart Cards Architecture and Programmer's Guide","year":"2000","author":"chen","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.32"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025190"},{"key":"20","doi-asserted-by":"crossref","first-page":"353","DOI":"10.4156\/aiss.vol4.issue1.45","article-title":"A domain-specific language for modelling security objectives in a business process models of soa applications","volume":"4","author":"saleem","year":"2012","journal-title":"AISS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035185"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29749-6_7"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70754"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2012.12.005"},{"journal-title":"Identifying Conflicts in Security Requirements with Sts-ml","year":"2012","author":"paja","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/STAST.2011.6059249"},{"journal-title":"Verification of Object-oriented Software The KeY Approach Berlin","year":"2007","author":"beckert","key":"28"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2012.13"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2009.22"},{"journal-title":"Sun Microsystems Inc","year":"2002","key":"10"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46428-X_25","article-title":"Formal system development with KIV","author":"balser","year":"2000","journal-title":"Fundamental Approaches to Software Engineering Springer LNCS1783"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2010.63"},{"journal-title":"Secure Systems Development with UML","year":"2005","author":"jurjens","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125810"},{"year":"0","key":"9"},{"key":"8","article-title":"Modeling security-critical applications with uml in the securemdd approach","volume":"1","author":"moebius","year":"2008","journal-title":"International Journal On Advances in Software"}],"event":{"name":"2013 International Model-Driven Requirements Engineering Workshop (MoDRE)","start":{"date-parts":[[2013,7,15]]},"location":"Rio de Janeiro, Brazil","end":{"date-parts":[[2013,7,15]]}},"container-title":["2013 3rd International Workshop on Model-Driven Requirements Engineering (MoDRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589046\/6597254\/06597265.pdf?arnumber=6597265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T18:11:52Z","timestamp":1498068712000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6597265\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/modre.2013.6597265","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}