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

Authors:
Mikael Buchholtz;Stephen Gilmore;Valentin Haenel;Carlo Montangero
Affiliations:
Informatics and Mathematical Modelling, The Technical University of Denmark, Lyngby, Denmark;Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland;Dipartimento di Informatica, Università di Pisa, Pisa, Italy
Venue:
FM'05 Proceedings of the 2005 international conference on Formal Methods
Year:
2005

Citing 9
Cited 7

Statecharts: A visual formalism for complex systems

Science of Computer Programming
A logic of authentication

ACM Transactions on Computer Systems (TOCS)
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling

Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
A compositional approach to performance modelling

A compositional approach to performance modelling
Probabilistic modelling

Probabilistic modelling
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A comparison of performance evaluation process algebra and generalized stochastic Petri nets

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Secure Systems Development with UML

Secure Systems Development with UML
For-LySa: UML for authentication analysis

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing

Barbed Model--Driven Software Development: A Case Study

Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling the CoCoME with the Java/A Component Model

The Common Component Modeling Example
Supporting user-oriented analysis for multi-view domain-specific visual languages

Information and Software Technology
XRound: A reversible template language and its application in model-based security analysis

Information and Software Technology
A design environment for mobile applications

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Stronger computational modelling of signalling pathways using both continuous and discrete-state methods

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Semantic-Based development of service-oriented systems

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.