中国科学院计算技术研究所机构知识库(CSpace): 检索

浏览/检索结果: 共3条，第1-3条

帮助

已选(0)清除条数/页：排序方式：
	无权访问的条目期刊论文作者: 杨少华; 王洪翠; 熊锦华; 张程 Adobe PDF(251Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/02/02
	无权访问的条目期刊论文作者: 谭建龙; 沈星星; 王映 Adobe PDF(204Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/02/05
	基于PVS的密码协议形式化规范期刊论文中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 003, 页码: 233 作者: Zheng Yuan; Hu Chengjun; Lu Shuwang; Shen Changxiang 收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 密码协议形式化规范 PVS 规范语言规范方法加密系统语义编码方式

中国科学院计算技术研究所机构知识库