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

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	Novel Ω-protocols for NP [期刊论文] Science in China Series F: Information Sciences, 2008-01-01, 卷号: 51, 期号: 1, 页码: 40-52 Yi Deng; Lin Dongdai \|
	constructing parallel long-message signcryption scheme from trapdoor permutation [期刊论文] Science in China Series F: Information Sciences, 2007-01-01, 卷号: 50, 期号: 1, 页码: 82-98 ZhenYu Hu; DongDai Lin; Wu Wenling; DengGuo Feng \|
	a formal model for integrity protection based on dte technique [期刊论文] Science in China Series F: Information Sciences, 2006-01-01, 卷号: 49, 期号: 5, 页码: 545-565 Qingguang Ji; Sihan Qing; He Yeping \|
	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 Qingguang Ji; Sihan Qing; He Yeping \|
	linear algorithm for lexicographic enumeration of cfg parse trees [期刊论文] Science in China Series F: Information Sciences, 2004-01-01, 卷号: 52, 期号: 7, 页码: 1177-1202 Dong Yunmei \|
	the internet accessible mathematical computation framework [期刊论文] Science in China Series F: Information Sciences, 2004-01-01, 卷号: 47, 期号: 1, 页码: 75-88 Paul S. Wang; Simon Gray; Norbert Kajler; Lin Dongdai; Weidong Liao; Xiao Zou \|
	on decidability and model checking for a first order modal logic for value-passing processes [期刊论文] Science in China Series F: Information Sciences, 2003-01-01, 卷号: 46, 期号: 1, 页码: 45-59 Rui Xue; Lin Huimin \|


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