End-to-end integrated security and performance analysis on the DEGAS Choreographer platform

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 286-301

  Buchholtz, Mikael ^a   Gilmore, Stephen ^b   Haenel, Valentin ^b   Montangero, Carlo ^c  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF PISA   (Italy)

Author keywords

Performance analysis; Process calculi; Security analysis; UML

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; NETWORK PROTOCOLS; PERFORMANCE; SECURITY OF DATA;

PERFORMANCE ANALYSIS; PROCESS CALCULI; SECURITY ANALYSIS; UML;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 26444451066     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_20     Document Type: Conference Paper

References (19)

1. Gentleware AG systems. Poseidon for UML web site, November 2004. http://www.gentleware.com/.
2. Mikael Buchholtz. LySa - a process calculus. Web site hosted by Informatics and Mathematical Modelling at the Technical University of Denmark, April 2004. http://www.imm.dtu.dk/cs_LySa/.
3. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353-368, Vienna, May 1994. Springer-Verlag.
4. N.V. Haenel. User Guide for the Java Edition of the PEPA Workbench - Tabasco release. LFCS, Edinburgh, October 2003.
5. 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.
6. 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. Springer Verlag, 2004.
7. Isi Mitrani. Probabilistic Modelling. Cambridge University Press, 1998.
8. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
9. C. Canevet, S. Gilmore, J. Hillston, M. Prowse, and P. Stevens. Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques, 150(2):107-120, March 2003.
10. D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comput. Programming, 8:231-274, 1987.
11. M. Burrows, M. Abadi, and R.M. Needham. A logic of authentication. ACM Transactions on Computing Systems, 8(1):18-36, February 1990.
12. D. Parker. PRISM 1.3 User's Guide. University of Birmingham, February 2003. http://www.cs.bham.ac.uk/~dxp/prism.
13. S. Gilmore and L. Kloul. A unified tool for performance modelling and prediction. In B. Littlewood S. Anderson and M. Felici, editors, Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003), volume 2788 of LNCS, pages 179-192. Springer-Verlag, 2003.
14. Jan Jürjens. Secure Systems Development with UML. Springer, 2004.
15. Jan Jürjens. Umlsec webpage. Accessible at http://www.umlsec.org, 2002-04.
16. D.C. Petriu and H. Shen. Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In A.J. Field and P.G. Harrison, editors, Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, number 2324 in Lecture Notes in Computer Science, pages 159-177, London, UK, April 2002. Springer-Verlag.
17. B. Selic, A. Moore, M. Woodside, B. Watson, M. Bjorkander, M. Gerhardt, and D. Petriu. Response to the OMG RFP for Schedulability, Performance, and Time, revised, June 2001. OMG document number: ad/2001-06-14.
18. 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.
19. S. Donatelli, J. Hillston, and M. Ribaudo. 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.