Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

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

This is the latest version of this item.

Garcia, Rémi and Modesti, Paolo (2017) An IDE for the Design, Verification and Implementation of Security Protocols. In: The 28th International Symposium on Software Reliability Engineering Workshops (ISSREW), 23-26 Oct 2017, Toulouse, France.

Item Type: Conference or Workshop Item (Paper)

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 having 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 the modelling and verification of security protocols, such as the AnBx Compiler and Code Generator, the model checker OFMC and the cryptographic protocol verifier ProVerif.

[img]
Preview
PDF
main.pdf - Accepted Version

Download (217kB) | Preview

More Information

Additional Information: 10.1109/ISSREW.2017.69
Related URLs:
Depositing User: Paolo Modesti

Identifiers

Item ID: 8485
URI: http://sure.sunderland.ac.uk/id/eprint/8485
Official URL: http://issre.net/

Users with ORCIDS

Catalogue record

Date Deposited: 18 Dec 2017 11:44
Last Modified: 20 May 2019 12:01

Contributors

Author: Rémi Garcia
Author: Paolo Modesti

University Divisions

Faculty of Technology

Subjects

Computing > Cybersecurity
Computing > Software Engineering
Computing

Actions (login required)

View Item (Repository Staff Only) View Item (Repository Staff Only)

Available Versions of this Item