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

Item hits: (Results 1-3 of 3)

Items/Page: Sort:
	一种基于UML的网络安全体系建模分析方法 [期刊论文] 计算机研究与发展, 2014-01-01, 卷号: 51, 期号: 7, 页码: 1578-1593 布宁; 刘玉岭; 连一峰; 黄亮 \|
	a practical alternative to domain and type enforcement integrity formal models [会议论文] 2nd SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, NOV 29-DEC Tang Liuying; Qing Sihan \|
	a formal model of fair exchange protocols [期刊论文] SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005-01-01, 卷号: 48, 期号: 4, 页码: 499-512 Qing SH; Li GC \|


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