中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

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
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace