Choreographing security and performance analysis for Web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3670 LNCS, Issue , 2005, Pages 200-214

  Gilmore, Stephen ^a   Haenel, Valentin ^a   Kloul, Leïla ^b   Maidl, Monika ^c  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF VERSAILLES   (France)

^c SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; TELECOMMUNICATION SERVICES;

OPERATIONAL DIFFICULTIES; PROCESS CALCULUS; SERVICE-ORIENTED ARCHITECTURES; UML MODEL; WEB SERVICES;

WORLD WIDE WEB;

EID: 33646135775     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11549970_15     Document Type: Conference Paper

References (15)

1. Gentleware AG systems. Poseidon for UML web site, November 2004. http: //www.gentleware.com/.
2. C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H.R. Nielson. Automatic validation of protocol narration. In Proc. of the 16th Computer Security Foundations Workshop (CSFW 2003), pages 126-140. IEEE Computer Security Press, 2003.
3. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
4. M. Buchholtz, C. Montangero, L. Perrone, and S. Semprini. For-LySa: UML for authentication analysis. In C. Priami and P. Quaglia, editors, Proceedings of the second workshop on Global Computing, volume 3267 of Lecture Notes in Computer Science, pages 92-105, Rovereto, Italy, 2004. Springer Verlag.
5. Dieter Gollmann. Computer Security. Wiley, 1999.
6. D. Dolev and A.C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 22(6): 198-208, 1983.
7. F. Nielson, H.R. Nielson, H. Sun, M. Buchholtz, R.R. Hansen, H. Pilegaard, and H. Seidl. The Succinct Solver suite. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), volume 2988 of LNCS, pages 251-265. Springer-Verlag, 2004.
8. J.P. López-Grao, J. Merseguer, and J. Campos. 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, pages 405-409, Orlando, Florida, October 2002. CRC Press.
9. Juan Pablo López-Grao, José Merseguer, and Javier Campos. From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. In Proceedings of the fourth international Workshop on Software and Performance, pages 25-36. ACM Press, 2004.
10. D.C. Petriu and H. Shen. Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In Proceedings of Tools'02, number 2324 in LNCS, pages 159-177. Springer-Verlag, April 2002.
11. C. Lindemann, A. Thümmler, A. Klemm, M. Lohmann, and O. P. Waldhorst. Performance analysis of time-enhanced UML diagrams based on stochastic processes. In Tucci [15], pages 25-34.
12. S. Bernardi, S. Donatelli, and J. Merseguer. From UML sequence diagrams and statecharts to analysable Petri net models. In Tucci [15], pages 35-45.
13. Jan Jürjens. UMLsec: Extending UML for secure systems development. In 5th Intl. Conference on the Unified Modeling Language (UML) 2000, LNCS 2460, 2002.
14. Jan Jürjens. Secure Systems Development with UML. Springer, 2004.
15. Salvatore Tucci, editor. Proceedings of the Third International Workshop on Software and Performance (WOSP 2002). ACM Press, Rome, Italy, July 2002.