机译:VANET的基于模型的隐私保护认证协议验证
ITM University,Gwalior- 474001, India;
Indian Institute of Information Technology-Allahabad, Deoghat, Jhalwa, Allahabad - 211012, India;
VANETs; verification; PROMELA; unified modelling language;
机译:保留隐私的身份验证协议,在VANET中进行有效验证
机译:用于VANET的健壮且高效的基于密码的条件隐私保护身份验证和组密钥协议
机译:ASAP-V:VANET的隐私保护身份验证和sybil检测协议
机译:验证VANET保留保留身份验证协议的隐私协议
机译:无双线性配对的车辆状态消息广播的基于安全有效身份的有条件隐私保护身份验证协议
机译:一种隐私保留关键管理方案支持vanets中的Sybil攻击检测
机译:一种改进和隐私保留的共同认证方案,具有vanets的前进保密