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

npw.maude --- Maude specification of the naive login protocol, including model checking codeotpw.maude --- Maude specification of the one-time login protocol, including model cgecking codepace6-1.maude --- Maude speicification of the original PACE protocol, inclusindg model cgecking code for T-Corrpace6-2.maude --- Maude speicification of the original PACE protocol, inclusindg model cgecking code for C-Corrrevpace0-1.maude --- Maude speicification of the revised PACE protocol, inclusindg model cgecking code for T-Corrrevpace1-1.maude --- Maude speicification of the revised PACE protocol, inclusindg model cgecking code for C-CorrTHIS DATASET IS ARCHIVED AT DANS/EASY, BUT NOT ACCESSIBLE HERE. TO VIEW A LIST OF FILES AND ACCESS THE FILES IN THIS DATASET CLICK ON THE DOI-LINK ABOV

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

npw.maude --- Maude specification of the naive login protocol, including model checking codeotpw.maude --- Maude specification of the one-time login protocol, including model cgecking codepace6-1.maude --- Maude speicification of the original PACE protocol, inclusindg model cgecking code for T-Corrpace6-2.maude --- Maude speicification of the original PACE protocol, inclusindg model cgecking code for C-Corrrevpace0-1.maude --- Maude speicification of the revised PACE protocol, inclusindg model cgecking code for T-Corrrevpace1-1.maude --- Maude speicification of the revised PACE protocol, inclusindg model cgecking code for C-Cor