{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:49Z","timestamp":1725566869567},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_11","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T03:43:26Z","timestamp":1130903006000},"page":"142-155","source":"Crossref","is-referenced-by-count":7,"title":["Dynamic Secure Aspect Modeling with UML: From Models to Code"],"prefix":"10.1007","author":[{"given":"Jan","family":"J\u00fcrjens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siv Hilde","family":"Houmb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"AbsInt. aicall (2004), \n                    \n                      http:\/\/www.aicall.de\/"},{"key":"11_CR2","unstructured":"Broy, M., J\u00fcrjens, J., Cengarle, V., Rumpe, B.: Towards a system model for UML. Technical report, TU Munich (2005)"},{"key":"11_CR3","unstructured":"Braun, P., Marschall, F.: The BOTL tool (2003), \n                    \n                      http:\/\/www4.in.tum.de\/~marschal\/botl\/index.htm"},{"issue":"2","key":"11_CR4","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"IT-29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a0IT-29(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-45821-2_12","volume-title":"Generative Programming and Component Engineering","author":"T. Elrad","year":"2002","unstructured":"Elrad, T., Aldawud, O., Bader, A.: Aspect-oriented modeling: Bridging the gap between implementation and design. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.\u00a02487, pp. 189\u2013201. Springer, Heidelberg (2002)"},{"issue":"10","key":"11_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/383845.383854","volume":"44","author":"T. Elrad","year":"2001","unstructured":"Elrad, T., Aksit, M., Kiczales, G., Lieberherr, K.J., Ossher, H.: Discussing aspects of AOP. Commun. ACM\u00a044(10), 33\u201338 (2001)","journal-title":"Commun. ACM"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"30","author":"R.B. France","year":"2004","unstructured":"France, R.B., Kim, D., Ghosh, S., Song, E.: A UML-based pattern specification technique. IEEE Trans. Software Eng.\u00a030(3), 193\u2013206 (2004)","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1049\/ip-sen:20040920","volume":"151","author":"R.B. France","year":"2004","unstructured":"France, R.B., Ray, I., Georg, G., Ghosh, S.: Aspect-oriented approach to early design modelling. IEE Proceedings - Software\u00a0151(4), 173\u2013186 (2004)","journal-title":"IEE Proceedings - Software"},{"key":"11_CR9","first-page":"19","volume-title":"ICECCS","author":"H. Gomaa","year":"2004","unstructured":"Gomaa, H., Shin, M.E.: Modeling complex systems by separating application and security concerns. In: ICECCS, pp. 19\u201328. IEEE Computer Society, Los Alamitos (2004)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1007\/3-540-45800-X_32","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"J. J\u00fcrjens","year":"2002","unstructured":"J\u00fcrjens, J.: UMLsec: Extending UML for secure systems development. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 412\u2013425. Springer, Heidelberg (2002)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-540-45221-8_31","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J. J\u00fcrjens","year":"2003","unstructured":"J\u00fcrjens, J.: Developing safety-critical systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 360\u2013372. Springer, Heidelberg (2003)"},{"key":"11_CR12","volume-title":"Secure Systems Development with UML","author":"J. J\u00fcrjens","year":"2004","unstructured":"J\u00fcrjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2004)"},{"key":"11_CR13","unstructured":"J\u00fcrjens, J.: Security analysis tool (webinterface and download) (2004), \n                    \n                      http:\/\/www4.in.tum.de\/csduml\/interface"},{"key":"11_CR14","volume-title":"27th International Conference on Software Engineering (ICSE 2005)","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J.: Sound methods and effective tools for model-based security engineering with UML. In: 27th International Conference on Software Engineering (ICSE 2005), IEEE Computer Society, Los Alamitos (2005)"},{"issue":"2","key":"11_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0950-5849(03)00111-3","volume":"46","author":"J.-S. Lee","year":"2004","unstructured":"Lee, J.-S., Bae, D.-H.: An aspect-oriented framework for developing component-based software with the collaboration-based architectural style. Information & Software Technology\u00a046(2), 81\u201397 (2004)","journal-title":"Information & Software Technology"},{"key":"11_CR16","first-page":"214","volume-title":"WCRE","author":"A. Marcus","year":"2004","unstructured":"Marcus, A., Sergeyev, A., Rajlich, V., Maletic, J.I.: An information retrieval approach to concept location in source code. In: WCRE, pp. 214\u2013223. IEEE Computer Society, Los Alamitos (2004)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Schumann, J., Fischer, B., Whalen, M.W., Whittle, J.: Certification support for automatically generated programs. In: HICSS, p. 337 (2003)","DOI":"10.1109\/HICSS.2003.1174914"},{"key":"11_CR18","unstructured":"Sutcliffe, G., Suttner, C.: The TPTP problem library for automated theorem proving (2001), Available at \n                    \n                      http:\/\/www.tptp.org"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/10722086_34","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"G. Stenz","year":"2000","unstructured":"Stenz, G., Wolf, A.: E-SETHEO: An automated3 theorem prover. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol.\u00a01847, pp. 436\u2013440. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:09:05Z","timestamp":1619492945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11557432_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}