Sciweavers

Share
GC
2004
Springer

For-LySa: UML for Authentication Analysis

10 years 2 months ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses with minimal overhead. In this paper, we present For-LySa, an instantiation of the DEGAS approach for authentication analysis, which exploits an existing analysis tool developed for the process calculus LySa. We discuss what information is needed for the analysis, and how to build the UML model of an authentication protocol in such a way that the needed information can be extracted from the model. We then present our prototype implementation and report on some promising results of its use.
Mikael Buchholtz, Carlo Montangero, Lara Perrone,
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where GC
Authors Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
Comments (0)
books