{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T03:10:28Z","timestamp":1741230628288,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214547"},{"type":"electronic","value":"9783642214554"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21455-4_15","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T14:00:01Z","timestamp":1307714401000},"page":"504-526","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications"],"prefix":"10.1007","author":[{"given":"Jan","family":"J\u00fcrjens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"Ochoa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Marchal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siv Hilde","family":"Houmb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shareeful","family":"Islam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","volume":"34","author":"M. Andries","year":"1999","unstructured":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Sch\u00fcrr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming\u00a034(1), 1\u201354 (1999)","journal-title":"Science of Computer Programming"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/11880240_31","volume-title":"Model Driven Engineering Languages and Systems","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., B\u00fcttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? Transformation models! In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 440\u2013453. Springer, Heidelberg (2006)"},{"key":"15_CR3","unstructured":"Chaki, S., Sharygina, N., Sinha, N.: Verification of evolving software (2004)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, E., Long, D., McMillan, K.: Compositional model checking. In: Proceedings of the Annual Symposium on Logic in Computer Science (LICS), pp. 353\u2013362 (June 1989)","DOI":"10.1109\/LICS.1989.39190"},{"key":"15_CR5","unstructured":"ISO 15408:2007 Common Criteria for Information Technology Security Evaluation, Version 3.1, Revision 2: Part 2; Security Functional Components, CCMB-2007-09-002 (September 2007)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-39878-3_10","volume-title":"Computer Safety, Reliability, and Security","author":"J. Gr\u00fcnbauer","year":"2003","unstructured":"Gr\u00fcnbauer, J., Hollmann, H., J\u00fcrjens, J., Wimmel, G.: Modelling and verification of layered security protocols: A bank application. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 116\u2013129. Springer, Heidelberg (2003)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BFb0053588","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"1998","unstructured":"Heckel, R.: Compositional verification of reactive systems specified by graph transformation. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 138\u2013153. Springer, Heidelberg (1998)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"H\u00f6hn, S., J\u00fcrjens, J.: Rubacon: automated support for model-based compliance engineering. In: Robby [26], pp. 875\u2013878","DOI":"10.1145\/1368088.1368228"},{"key":"15_CR9","series-title":"International Federation for Information Processing (IFIP)","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-0-387-35496-5_4","volume-title":"Proceedings of the International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)","author":"J. J\u00fcrjens","year":"2002","unstructured":"J\u00fcrjens, J.: Formal Semantics for Interacting UML subsystems. In: Proceedings of the International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). International Federation for Information Processing (IFIP), pp. 29\u201344. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"15_CR10","unstructured":"J\u00fcrjens, J.: Principles for Secure Systems Design. PhD thesis, Oxford University Computing Laboratory (2002)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/11554578_2","volume-title":"Foundations of Security Analysis and Design III","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J.: Model-based security engineering with UML. In: Aldini, A., Gorrieri, R., Martinelli, F. (eds.) FOSAD 2005. LNCS, vol.\u00a03655, pp. 42\u201377. Springer, Heidelberg (2005)"},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1109\/CSAC.2005.15","volume-title":"Proceedings of the Annual Computer Security Applications Conference (ACSAC)","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J.: Code security analysis of a biometric authentication system using automated theorem provers. In: Proceedings of the Annual Computer Security Applications Conference (ACSAC), pp. 138\u2013149. IEEE Computer Society, Los Alamitos (2005)"},{"key":"15_CR13","volume-title":"Secure Systems Development with UML","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2005)"},{"key":"15_CR14","first-page":"322","volume-title":"Proceedings of the International Conference on Software Engineering (ICSE)","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J.: Sound methods and effective tools for model-based security engineering with UML. In: Roman, G.-C., Griswold, W.G., Nuseibeh, B. (eds.) Proceedings of the International Conference on Software Engineering (ICSE), pp. 322\u2013331. ACM Press, New York (2005)"},{"key":"15_CR15","first-page":"89","volume-title":"MEMOCODE","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J.: Verification of low-level crypto-protocol implementations using automated theorem proving. In: MEMOCODE, pp. 89\u201398. IEEE, Los Alamitos (2005)"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/ASE.2006.60","volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"J. J\u00fcrjens","year":"2006","unstructured":"J\u00fcrjens, J.: Security analysis of crypto-based Java programs using automated theorem provers. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 167\u2013176. IEEE Computer Society, Los Alamitos (2006)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J., Schreck, J., Bartmann, P.: Model-based security analysis for mobile communications. In: Robby [26], pp. 683\u2013692","DOI":"10.1145\/1368088.1368186"},{"issue":"5-6","key":"15_CR18","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s10009-007-0048-8","volume":"9","author":"J. J\u00fcrjens","year":"2007","unstructured":"J\u00fcrjens, J., Shabalin, P.: Tools for secure systems development with UML. Intern. Journal on Software Tools for Technology Transfer\u00a09(5-6), 527\u2013544 (2007); Invited submission to the special issue for FASE 2004\/05","journal-title":"Intern. Journal on Software Tools for Technology Transfer"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1109\/ASE.2001.989840","volume-title":"16th International Conference on Automated Software Engineering (ASE 2001)","author":"J. J\u00fcrjens","year":"2001","unstructured":"J\u00fcrjens, J., Wimmel, G.: Formally testing fail-safety of electronic purse protocols. In: 16th International Conference on Automated Software Engineering (ASE 2001), pp. 408\u2013411. IEEE Computer Society, Los Alamitos (2001)"},{"issue":"9","key":"15_CR20","doi-asserted-by":"publisher","first-page":"53","DOI":"10.5381\/jot.2007.6.9.a3","volume":"6","author":"D.S. Kolovos","year":"2007","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the small with the epsilon wizard language. Journal of Object Technology\u00a06(9), 53\u201369 (2007)","journal-title":"Journal of Object Technology"},{"issue":"1","key":"15_CR21","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MS.1998.646878","volume":"15","author":"M. Lehman","year":"1998","unstructured":"Lehman, M.: Software\u2019s future: Managing evolution. IEEE Software\u00a015(1), 40\u201344 (1998)","journal-title":"IEEE Software"},{"key":"15_CR22","unstructured":"Lipson, H.: Evolutionary systems design: Recognizing changes in security and survivability risks. Technical Report CMU\/SEI-2006-TN-027, Carnegie Mellon Software Engineering Institute (September 2006)"},{"key":"15_CR23","first-page":"88","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy","author":"H. Mantel","year":"2002","unstructured":"Mantel, H.: On the composition of secure systems. In: Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, USA, pp. 88\u2013101. IEEE Computer Society, Los Alamitos (2002)"},{"key":"15_CR24","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/1216993.1217010","volume-title":"WOSP","author":"D.C. Petriu","year":"2007","unstructured":"Petriu, D.C., Woodside, C.M., Petriu, D.B., Xu, J., Israr, T., Georg, G., France, R.B., Bieman, J.M., Houmb, S.H., J\u00fcrjens, J.: Performance analysis of security aspects in UML models. In: Cortellessa, V., Uchitel, S., Yankelevich, D. (eds.) WOSP, pp. 91\u2013102. ACM, New York (2007)"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-30203-2_17","volume-title":"Graph Transformations","author":"A. Rensink","year":"2004","unstructured":"Rensink, A., Schmidt, \u00c1., Varr\u00f3, D.: Model checking graph transformations: A comparison of two approaches. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 226\u2013241. Springer, Heidelberg (2004)"},{"volume-title":"30th International Conference on Software Engineering (ICSE 2008)","year":"2008","key":"15_CR26","unstructured":"Robby (ed.): 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18. ACM, New York (2008)"},{"key":"15_CR27","unstructured":"Secure Change Project. Deliverable 4.2., http:\/\/www-jj.cs.tu-dortmund.de\/jj\/deliverable_4_2.pdf"},{"key":"15_CR28","unstructured":"UML Revision Task Force. OMG Unified Modeling Language: Specification. Object Management Group (OMG) (September 2001), http:\/\/www.omg.org\/spec\/UML\/1.4\/PDF\/index.htm"},{"key":"15_CR29","unstructured":"UMLsec group. UMLsec Tool Suite (2001-2011), http:\/\/www.umlsec.de"},{"key":"15_CR30","unstructured":"Watson, B.: Non-functional analysis for UML models. In: Real-Time and Embedded Distributed Object Computing Workshop, Object Management Group (OMG), July 15-18 (2002)"},{"issue":"1","key":"15_CR31","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.jss.2008.03.067","volume":"82","author":"C.M. Woodside","year":"2009","unstructured":"Woodside, C.M., Petriu, D.C., Petriu, D.B., Xu, J., Israr, T.A., Georg, G., France, R.B., Bieman, J.M., Houmb, S.H., J\u00fcrjens, J.: Performance analysis of security aspects by weaving scenarios extracted from UML models. Journal of Systems and Software\u00a082(1), 56\u201374 (2009)","journal-title":"Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Eternal Networked Software Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21455-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T02:52:45Z","timestamp":1741229565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21455-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214547","9783642214554"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21455-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}