{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:15Z","timestamp":1725549975588},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_15","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"200-214","source":"Crossref","is-referenced-by-count":10,"title":["Choreographing Security and Performance Analysis for Web Services"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Gilmore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Haenel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Le\u00efla","family":"Kloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Maidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Gentleware\u00a0AG systems. Poseidon for UML web site (November 2004), \n                    \n                      http:\/\/www.gentleware.com\/"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/CSFW.2003.1212709","volume-title":"Proc. of the 16th Computer Security Foundations Workshop (CSFW 2003)","author":"C. Bodei","year":"2003","unstructured":"Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.R.: Automatic validation of protocol narration. In: Proc. of the 16th Computer Security Foundations Workshop (CSFW 2003), pp. 126\u2013140. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"15_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-31794-4_6","volume-title":"Global Computing","author":"M. Buchholtz","year":"2005","unstructured":"Buchholtz, M., Montangero, C., Perrone, L., Semprini, S.: For-LySa: UML for authentication analysis. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 92\u2013105. Springer, Heidelberg (2005)"},{"key":"15_CR5","volume-title":"Computer Security","author":"D. Gollmann","year":"1999","unstructured":"Gollmann, D.: Computer Security. Wiley, Chichester (1999)"},{"issue":"6","key":"15_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"22","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a022(6), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-24730-2_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Nielson","year":"2004","unstructured":"Nielson, F., Nielson, H.R., Sun, H., Buchholtz, M., Hansen, R.R., Pilegaard, H., Seidl, H.: The Succinct Solver suite. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 251\u2013265. Springer, Heidelberg (2004)"},{"key":"15_CR8","first-page":"405","volume-title":"Proceedings of the Seventeenth International Symposium on Computer and Information Sciences","author":"J.P. L\u00f3pez-Grao","year":"2002","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML activity diagrams to stochastic Petri nets: Application to software performance analysis. In: Proceedings of the Seventeenth International Symposium on Computer and Information Sciences, Orlando, Florida, October 2002, pp. 405\u2013409. CRC Press, Boca Raton (2002)"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/974044.974048","volume-title":"Proceedings of the fourth international Workshop on Software and Performance","author":"J.P. L\u00f3pez-Grao","year":"2004","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. In: Proceedings of the fourth international Workshop on Software and Performance, pp. 25\u201336. ACM Press, New York (2004)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-46029-2_10","volume-title":"Computer Performance Evaluation","author":"D.C. Petriu","year":"2002","unstructured":"Petriu, D.C., Shen, H.: Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 159\u2013177. Springer, Heidelberg (2002)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Lindemann, C., Th\u00fcmmler, A., Klemm, A., Lohmann, M., Waldhorst, O.P.: Performance analysis of time-enhanced UML diagrams based on stochastic processes. In: Tucci [15], pp. 25\u201334","DOI":"10.1145\/584369.584375"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri net models. In: Tucci [15], pp. 35\u201345","DOI":"10.1145\/584369.584376"},{"key":"15_CR13","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, p. 412. Springer, Heidelberg (2002)"},{"key":"15_CR14","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)"},{"volume-title":"Proceedings of the Third International Workshop on Software and Performance (WOSP 2002)","year":"2002","key":"15_CR15","unstructured":"Tucci, S. (ed.): Proceedings of the Third International Workshop on Software and Performance (WOSP 2002), July 2002. ACM Press, Rome (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:58:47Z","timestamp":1619506727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11549970_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}