{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:36Z","timestamp":1725560436184},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540289555"},{"type":"electronic","value":"9783540319368"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11554578_2","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T12:51:11Z","timestamp":1127825471000},"page":"42-77","source":"Crossref","is-referenced-by-count":14,"title":["Model-Based Security Engineering with UML"],"prefix":"10.1007","author":[{"given":"Jan","family":"J\u00fcrjens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Abadi, M.: Security protocols and their properties. In: Bauer, F.L., Steinbr\u00fcggen, R. (eds.) Foundations of Secure Computation, pp. 39\u201360. IOS Press, Amsterdam (2000); 20th International Summer School, Marktoberdorf, Germany","key":"2_CR1"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-45500-0_4","volume-title":"Theoretical Aspects of Computer Software","author":"M. Abadi","year":"2001","unstructured":"Abadi, M., J\u00fcrjens, J.: Formal eavesdropping and its computational interpretation. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 82\u201394. Springer, Heidelberg (2001)"},{"key":"2_CR3","volume-title":"Security Engineering: A Guide to Building Dependable Distributed Systems","author":"R. Anderson","year":"2001","unstructured":"Anderson, R.: Security Engineering: A Guide to Building Dependable Distributed Systems. John Wiley & Sons, New York (2001)"},{"issue":"2","key":"2_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":"2_CR5","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":"2_CR6","first-page":"11","volume-title":"Symposium on Security and Privacy (S&P)","author":"J. Goguen","year":"1982","unstructured":"Goguen, J., Meseguer, J.: Security policies and security models. In: Symposium on Security and Privacy (S&P), pp. 11\u201320. IEEE Computer Society, Los Alamitos (1982)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-31797-5_9","volume-title":"UML Modeling Languages and Applications","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J., Fernandez, E.B., France, R.B., Rumpe, B., Heitmeyer, C.: Critical systems development using modelling languages (CSDUML 2004): Current development and future challenges (report on the third international workshop). In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds.) UML Satellite Activities 2004. LNCS, vol.\u00a03297, pp. 76\u201384. Springer, Heidelberg (2005)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11557432_11","volume-title":"Model Driven Engineering Languages and Systems","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J., Houmb, S.H.: Dynamic secure aspect modeling with UML: From models to code. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 142\u2013155. Springer, Heidelberg (2005)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","first-page":"412","volume-title":"UML 2004 \u2013 The Unified Modeling Language","author":"J. J\u00fcrjens","year":"2004","unstructured":"J\u00fcrjens, J., Shabalin, P.: Automated verification of UMLsec models for security requirements. In: J\u00e9z\u00e9quel, J.-M., Hu\u00dfmann, H., Cook, S. (eds.) UML 2004. LNCS, vol.\u00a02460, pp. 412\u2013425. Springer, Heidelberg (2004)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-31984-9_23","volume-title":"Fundamental Approaches to Software Engineering","author":"J. J\u00fcrjens","year":"2005","unstructured":"J\u00fcrjens, J., Shabalin, P.: Tools for secure systems development with UML: Security analysis with ATPs. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 305\u2013309. Springer, Heidelberg (2005)"},{"key":"2_CR11","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":"5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002)","author":"J. J\u00fcrjens","year":"2002","unstructured":"J\u00fcrjens, J.: Formal semantics for interacting UML subsystems. In: Jacobs, B., Rensink, A. (eds.) 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002). International Federation for Information Processing (IFIP), pp. 29\u201344. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"2_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)"},{"doi-asserted-by":"crossref","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)","key":"2_CR13","DOI":"10.1145\/1062455.1062519"},{"doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Understanding security goals provided by crypto-protocol implementations. In: 21st International Conference on Software Maintenance (ICSM 2005). IEEE Computer Society, Los Alamitos (2005)","key":"2_CR14","DOI":"10.1109\/ICSM.2005.97"},{"doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Verification of low-level crypto-protocol implementations using automated theorem proving. In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005). IEEE Computer Society, Los Alamitos (2005)","key":"2_CR15","DOI":"10.1109\/MEMCOD.2005.1487898"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1023\/A:1005808119103","volume":"18","author":"M. Moser","year":"1997","unstructured":"Moser, M., Ibens, O., Letz, R., Steinbach, J., Goller, C., Schumann, J., Mayr, K.: SETHEO and E-SETHEO \u2013 The CADE-13 Systems. Journal of Automated Reasoning (JAR)\u00a018(2), 237\u2013246 (1997)","journal-title":"Journal of Automated Reasoning (JAR)"},{"unstructured":"Netbeans project. Open source (2003), Available from, http:\/\/mdr.netbeans.org","key":"2_CR17"},{"unstructured":"Sutcliffe, G., Suttner, C.: The TPTP problem library for automated theorem proving (2001), Available at, http:\/\/www.tptp.org","key":"2_CR18"},{"key":"2_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)"},{"unstructured":"UMLsec tool (2002-2004), Open-source, Accessible at, http:\/\/www.umlsec.org","key":"2_CR20"},{"unstructured":"UML Revision Task Force. OMG UML Specification v. 1.4. OMG Document ad\/01-09-67 (September 2001), Available at, http:\/\/www.omg.org\/uml","key":"2_CR21"},{"unstructured":"Watson, B.: The Real-time UML standard. In: Real-Time and Embedded Distributed Object Computing Workshop, OMG, July 15-18 (2002)","key":"2_CR22"},{"unstructured":"Object Management Group. OMG XML Metadata Interchange (XMI) Specification (January 2002)","key":"2_CR23"}],"container-title":["Lecture Notes in Computer Science","Foundations of Security Analysis and Design III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11554578_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:46:48Z","timestamp":1605642408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11554578_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540289555","9783540319368"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11554578_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}