混合密码原语相关论文
针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,......
针对典型的安全协议验证逻辑存在的问题，如安全属性验证存在局限性、对混合密码原语的处理能力不强等，提出一种新的验证逻辑，新逻辑能......
