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

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	formal analysis and design of multi-party fair exchange protocols [期刊论文] SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 2, 页码: 155-174 Qing SH; Li GC \|
	formal analysis and design of multi-party fair exchange protocols [期刊论文] SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 2, 页码: 155-174 Qing SH; Li GC \|
	formal analysis and design of multi-party fair exchange protocols [期刊论文] SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 2, 页码: 155-174 Qing SH; Li GC \|
	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 \|
	a new formal model for privilege control with supporting posix capability mechanism [期刊论文] SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005-01-01, 卷号: 48, 期号: 1, 页码: 46-66 Ji QG; Qing SH; He YP \|
	a survey and trends on internet worms [期刊论文] COMPUTERS & SECURITY, 2005-01-01, 卷号: 24, 期号: 4, 页码: 334-346 Qing SH; Wen WP \|
	study on strand space model theory [期刊论文] JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 5, 页码: 553-570 Ji QG; Qing SH; Zhou YB; Feng DG \|


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