一种安全协议组合分析方法

陈强黄连生赵秀文

计算机应用研究2006，Vol.23Issue(6)：105-107,155,4.

Combined Analysis Method for Security Protocols

陈强 ¹黄连生 ¹赵秀文¹

作者信息

安全协议/组合分析/规范语言/连接器

信息技术与安全科学

陈强,黄连生,赵秀文..一种安全协议组合分析方法[J].计算机应用研究,2006,23(6):105-107,155,4.

国家科技部"973"基金资助项目(2003CB314805) （2003CB314805）

OA北大核心CSCDCSTPCD

ISSN：1001-3695

访问量4

下载量0

段落导航