欢迎访问中国科学院大学学报，今天是
RSS English
基于Strand空间分析具有类型缺陷的认证协议
任侠, 吕述望
Analyzing the Authentication Protocol with TypeFlaw Based on Strand Spaces
REN Xia, LU Shu-Wang
中国科学院大学学报 . 2004, (4): 543 -548 .  DOI: 10.7523/j.issn.2095-6134.2004.4.018

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

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

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

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

访问统计

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

联系我们

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

联系电话:（010）88256013