中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	软件形式化方法与应用专题前言 [期刊论文] 软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 495-496 詹乃军; 王戟; 李宣东
	数据库形式化安全策略模型建模及分析方法 [期刊论文] 通信学报, 2015-01-01, 卷号: 36, 期号: 9, 页码: 2015151 王榕; 张敏; 冯登国; 李昊 \|
	基于PVS的数据库安全策略形式化分析方法 [期刊论文] 中国科学技术大学学报, 2013-01-01, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕
	一种形式化的组件化软件过程建模方法 [期刊论文] Journal of Software, 2011-01-01, 卷号: 22, 期号: 1, 页码: 1-16 翟健; 杨秋松; 肖俊超; 李明树
	安全协议的形式化分析技术与方法 [期刊论文] 计算机学报, 2006-01-01, 卷号: 29, 期号: 1, 页码: 40198 薛锐; 冯登国 \|
	密码协议的一种基于组合推理的模型验证 [期刊论文] 通信学报, 2003-01-01, 卷号: 24, 期号: 9, 页码: 122-127 刘怡文; 李伟琴; 冯登国 \|
	运用ASM描述安全协议 [期刊论文] 中国科学院研究生院学报, 2002-01-01, 卷号: 19, 期号: 3, 页码: 263-270 薛锐; 冯登国 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In