Data for: Formal Analysis of a Security Protocol for e-Passports based on Rewrite Theory Specifications
收藏Mendeley Data2024-06-25 更新2024-06-26 收录
下载链接：
https://data.mendeley.com/datasets/8fwb4w9pm2
下载链接
链接失效反馈官方服务：
资源简介：
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
npw.maude —— 朴素登录协议的Maude规范，包含模型检验代码
otpw.maude —— 一次性登录协议的Maude规范，包含模型检验代码
pace6-1.maude —— 原始PACE协议的Maude规范，包含针对T-Corr的模型检验代码
pace6-2.maude —— 原始PACE协议的Maude规范，包含针对C-Corr的模型检验代码
revpace0-1.maude —— 修订版PACE协议的Maude规范，包含针对T-Corr的模型检验代码
revpace1-1.maude —— 修订版PACE协议的Maude规范，包含针对C-Corr的模型检验代码
创建时间：
2024-01-23
