Data for: Formal Analysis of a Security Protocol for e-Passports based on Rewrite Theory Specifications
| Main Author: | Ogata, Kazuhiro |
|---|---|
| Other Authors: | Mandadi, Varuneshwar Reddy, Mandadi, Manjukeshwar Reddy |
| Format: | Dataset |
| Terbitan: |
Mendeley
, 2018
|
| Subjects: | |
| Online Access: |
https:/data.mendeley.com/datasets/8fwb4w9pm2 |
Daftar Isi:
- 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