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

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	qip = pspace [期刊论文] JOURNAL OF THE ACM, 2011-01-01, 卷号: 58, 期号: 6, 页码: - Jain Rahul; Ji Zhengfeng; Upadhyay Sarvagya; Watrous John
	a two-round honest-verifier zero-knowledge protocol [期刊论文] SCIENCE CHINA-INFORMATION SCIENCES, 2010-01-01, 卷号: 53, 期号: 5, 页码: 954-963 Liu HanWu; Lin DongDai \|
	a direct construction of polynomial-size obdd proof of pigeon hole problem [期刊论文] INFORMATION PROCESSING LETTERS, 2009-01-01, 卷号: 109, 期号: 10, 页码: 472-477 Chen Wei; Zhang Wenhui
	complete inference systems for weak bisimulation equivalences in the [pi]-calculus [期刊论文] Information and Computation, 2003-01-01, 卷号: 180, 期号: 1, 页码: 40207 Lin Huimin
	Bit commitment using pseudorandomness [期刊论文] Journal of Cryptology, 1990-01-01, 卷号: 4, 期号: 2, 页码: 151-158 Moni Naor \|


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