An IDE for the Design, Verification and Implementation of Security Protocols

Remi Garcia, Paolo Modesti

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    152 Downloads (Pure)

    Abstract

    Security protocols are critical components for the construction of secure and dependable distributed applications, but their implementation is challenging and error prone. Therefore, tools for formal modelling and analysis of security protocols can be potentially very useful to support software engineers. However, despite such tools have been available for a long time, their adoption outside the research community has been very limited. In fact, most practitioners find such applications too complex and hardly usable for their daily work. In this paper, we present an Integrated Development Environment for the design, verification and implementation of security protocols, aimed at lowering the adoption barrier of formal methods tools for security. In the spirit of Model Driven Development, the environment supports the user in the specification of the model using the simple and intuitive language AnB (and its extension AnBx). Moreover, it provides a push-button solution for the formal verification of the abstract and concrete models, and for the automatic generation of Java implementation. This Eclipse-based IDE leverages on existing languages and tools for modelling and verification of security protocols, such as the AnBx Compiler and Code Generator, the model checker OFMC and the protocol verifier ProVerif.
    Original languageEnglish
    Title of host publicationIEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017
    PublisherIEEE Computer Society
    Pages157-163
    Number of pages7
    ISBN (Electronic)9781538623886
    ISBN (Print)9781538623879
    DOIs
    Publication statusPublished - 16 Nov 2017
    Event2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Toulouse, France
    Duration: 23 Oct 201726 Oct 2017

    Conference

    Conference2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
    Abbreviated titleISSREW
    CountryFrance
    City Toulouse
    Period23/10/1726/10/17

    Fingerprint Dive into the research topics of 'An IDE for the Design, Verification and Implementation of Security Protocols'. Together they form a unique fingerprint.

  • Cite this

    Garcia, R., & Modesti, P. (2017). An IDE for the Design, Verification and Implementation of Security Protocols. In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017 (pp. 157-163). IEEE Computer Society. https://doi.org/10.1109/ISSREW.2017.69