欢迎访问中国科学院大学学报，今天是
RSS English
一种混合的安全协议形式化分析技术
范红, 冯登国
A Mixed Formal Analysis Technology of Security Protocols
FAN Hong, FENG Deng-Guo
中国科学院大学学报 . 2002, (3): 240 -245 .  DOI: 10.7523/j.issn.2095-6134.2002.3.004

首页 | 期刊介绍 | 编委会 | 投稿指南 | 期刊浏览 | 期刊订阅 | 联系我们

版权所有 © 《中国科学院大学学报》编辑部

本系统由北京玛格泰克科技发展有限公司设计开发

技术支持：support@magtech.com.cn

访问统计

总访问量： 今日访问： 当前在线：

联系我们

通讯地址：北京玉泉路19号（甲）中国科学院大学科研楼410

联系电话:（010）88256013