{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:05:26Z","timestamp":1725559526133},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278825"},{"type":"electronic","value":"9783540317142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11526841_20","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T16:51:58Z","timestamp":1279471918000},"page":"286-301","source":"Crossref","is-referenced-by-count":6,"title":["End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform"],"prefix":"10.1007","author":[{"given":"Mikael","family":"Buchholtz","sequence":"first","affiliation":[]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[]},{"given":"Valentin","family":"Haenel","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Montangero","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Gentleware\u00a0AG systems. Poseidon for UML web site (November 2004), \n                    \n                      http:\/\/www.gentleware.com\/"},{"key":"20_CR2","unstructured":"Buchholtz, M.: LySa \u2014 a process calculus. Web site hosted by Informatics and Mathematical Modelling at the Technical University of Denmark (April 2004), \n                    \n                      http:\/\/www.imm.dtu.dk\/cs_LySa\/"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Computer Performance Evaluation","author":"S. Gilmore","year":"1994","unstructured":"Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol.\u00a0794, pp. 353\u2013368. Springer, Heidelberg (1994)"},{"key":"20_CR4","unstructured":"Haenel, N.V.: User Guide for the Java Edition of the PEPA Workbench\u2014Tabasco release. LFCS, Edinburgh (October 2003)"},{"key":"20_CR5","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":"20_CR6","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":"20_CR7","volume-title":"Probabilistic Modelling","author":"I. Mitrani","year":"1998","unstructured":"Mitrani, I.: Probabilistic Modelling. Cambridge University Press, Cambridge (1998)"},{"key":"20_CR8","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)"},{"issue":"2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1049\/ip-cdt:20030084","volume":"150","author":"C. Canevet","year":"2003","unstructured":"Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques\u00a0150(2), 107\u2013120 (2003)","journal-title":"IEE Proceedings: Computers and Digital Techniques"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Programming\u00a08, 231\u2013274 (1987)","journal-title":"Sci. Comput. Programming"},{"issue":"1","key":"20_CR11","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Transactions on Computing Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computing Systems"},{"key":"20_CR12","unstructured":"Parker, D.: PRISM 1.3 User\u2019s Guide. University of Birmingham (February 2003), \n                    \n                      http:\/\/www.cs.bham.ac.uk\/~dxp\/prism"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-39878-3_15","volume-title":"Computer Safety, Reliability, and Security","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Kloul, L.: A unified tool for performance modelling and prediction. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 179\u2013192. Springer, Heidelberg (2003)"},{"key":"20_CR14","volume-title":"Secure Systems Development with UML","author":"J. J\u00fcrjens","year":"2001","unstructured":"J\u00fcrjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2001)"},{"key":"20_CR15","unstructured":"J\u00fcrjens, J.: Umlsec webpage. Accessible 2002\u201304, at \n                    \n                      http:\/\/www.umlsec.org"},{"key":"20_CR16","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., et al. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 159\u2013177. Springer, Heidelberg (2002)"},{"key":"20_CR17","unstructured":"Selic, B., Moore, A., Woodside, M., Watson, B., Bjorkander, M., Gerhardt, M., Petriu, D.: Response to the OMG RFP for Schedulability, Performance, and Time, revised, OMG document number: ad\/2001-06-14 (June 2001)"},{"key":"20_CR18","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":"20_CR19","doi-asserted-by":"crossref","unstructured":"Donatelli, S., Hillston, J., Ribaudo, M.: A comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets. In: Proc. 6th International Workshop on Petri Nets and Performance Models, Durham, North Carolina (1995)","DOI":"10.1109\/PNPM.1995.524326"}],"container-title":["Lecture Notes in Computer Science","FM 2005: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11526841_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:47:53Z","timestamp":1619506073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11526841_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278825","9783540317142"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11526841_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}