|国家科技期刊平台
| 注册
首页|期刊导航|信息工程大学学报|多重集合重写与Spi演算的安全协议分析方法

多重集合重写与Spi演算的安全协议分析方法

王全来 王亚弟 韩继红

信息工程大学学报2007，Vol.8Issue(2)：165-170,187,7.
✕
信息工程大学学报2007，Vol.8Issue(2)：165-170,187,7.

多重集合重写与Spi演算的安全协议分析方法

Multiset Rewriting and Spi Calculus Method for Analyzing Security Protocols

王全来 1王亚弟 2韩继红1

作者信息

  • 1. 信息工程大学,电子技术学院,河南,郑州,450004
  • 2. 解放军防空兵指挥学院,河南,郑州,450052
  • 折叠

摘要

关键词

安全协议分析/多重集合重写/Spi演算/一致性关系

分类

信息技术与安全科学

引用本文复制引用

王全来,王亚弟,韩继红..多重集合重写与Spi演算的安全协议分析方法[J].信息工程大学学报,2007,8(2):165-170,187,7.

基金项目

军队科研基金资助项目 （）

信息工程大学学报

OACSCD

1671-0673

访问量0
|
下载量0
段落导航相关论文