Data for: Formal Analysis of a Security Protocol for e-Passports based on Rewrite Theory Specifications

Published: 13 Sep 2018 | Version 1 | DOI: 10.17632/8fwb4w9pm2.1

Description of this data

npw.maude --- Maude specification of the naive login protocol, including model checking code
otpw.maude --- Maude specification of the one-time login protocol, including model cgecking code
pace6-1.maude --- Maude speicification of the original PACE protocol, inclusindg model cgecking code for T-Corr
pace6-2.maude --- Maude speicification of the original PACE protocol, inclusindg model cgecking code for C-Corr
revpace0-1.maude --- Maude speicification of the revised PACE protocol, inclusindg model cgecking code for T-Corr
revpace1-1.maude --- Maude speicification of the revised PACE protocol, inclusindg model cgecking code for C-Corr

Experiment data files

This data is associated with the following publication:

Formal analysis of a security protocol for e-passports based on rewrite theory specifications

Published in: Journal of Information Security and Applications

Latest version

  • Version 1

    2018-09-13

    Published: 2018-09-13

    DOI: 10.17632/8fwb4w9pm2.1

    Cite this dataset

    Ogata, Kazuhiro; Mandadi, Varuneshwar Reddy; Mandadi, Manjukeshwar Reddy (2018), “Data for: Formal Analysis of a Security Protocol for e-Passports based on Rewrite Theory Specifications”, Mendeley Data, v1 http://dx.doi.org/10.17632/8fwb4w9pm2.1

Statistics

Views: 169
Downloads: 37

Categories

Formal Specification

Licence

CC BY NC 3.0 Learn more

The files associated with this dataset are licensed under a Attribution-NonCommercial 3.0 Unported licence.

What does this mean?

You are free to adapt, copy or redistribute the material, providing you attribute appropriately and do not use the material for commercial purposes.

Report