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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters        
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
  |  
 

1

 

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