Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols

Luca Arnaboldi, Roberto Metere

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

Abstract

We propose MetaCP, a Meta Cryptography Protocol verification tool, as an automated tool simplifying the design of security protocols through a graphical interface. The graphical interface can be seen as a modern editor of a non-relational database whose data are protocols. The information of protocols are stored in XML, enjoying a fixed format and syntax aiming to contain all required information to specify any kind of protocol. This XML can be seen as an almost semanticless language, where different plugins confer strict semantics modelling the protocol into a variety of back-end verification languages. In this paper, we showcase the effectiveness of this novel approach by demonstrating how easy MetaCP makes it to design and verify a protocol going from the graphical design to formally verified protocol using a Tamarin prover plugin. Whilst similar approaches have been proposed in the past, most famously the AVISPA Tool, no previous approach provides such as small learning curve and ease of use even for non security professionals, combined with the flexibility to integrate with the state of the art verification tools.
Original languageEnglish
Title of host publicationProceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
Place of PublicationNew York, NY, USA
PublisherACM Association for Computing Machinery
Pages2585–2587
Number of pages3
ISBN (Print)9781450367479
DOIs
Publication statusPublished - 6 Nov 2019
Event26th ACM SIGSAC Conference on Computer and Communications Security - London, United Kingdom
Duration: 11 Nov 201915 Nov 2019
https://ccs19.swenjacobs.com/

Publication series

NameCCS '19
PublisherAssociation for Computing Machinery

Conference

Conference26th ACM SIGSAC Conference on Computer and Communications Security
Abbreviated titleCCS 2019
Country/TerritoryUnited Kingdom
CityLondon
Period11/11/1915/11/19
Internet address

Keywords

  • security protocols
  • logic and verification
  • formal security models
  • cryptography
  • tamarin

Fingerprint

Dive into the research topics of 'Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols'. Together they form a unique fingerprint.

Cite this