For-LySa: UML for Authentication Analysis

Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    172 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationProceedings of the second workshop on Global Computing
    Publication date2005
    Publication statusPublished - 2005

    Fingerprint Dive into the research topics of 'For-LySa: UML for Authentication Analysis'. Together they form a unique fingerprint.

    Cite this