ProVerif; formal verification; password-based authentication protocol; the applied pi calculus;
机译:使用智能卡的无验证表的会话初始化协议的基于密码的改进身份验证方案
机译:使用智能卡的会话发起协议的匿名且不可追溯的基于密码的身份验证方案
机译:没有智能卡的基于密码的改进的远程用户身份验证协议
机译:使用智能卡自动验证基于密码的身份验证协议
机译:目击箱协议:智能制造环境中的自动机床识别和认证
机译:基于IOT的智能家庭的安全和轻量级认证协议
机译:具有防篡改智能卡的基于安全密码的远程用户身份验证方案