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

Search Results

Help

Item hits: (Results 21-30 of 83)

Filters                
Items/Page:    Sort:
a formal framework for ontology integration based on a default extension to ddl [会议论文]
1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), Guiyang, PEOPLES R CHINA, SEP 20-24,
Ma YL; Wei J; Jin BH; Liu SH
  |  
 
parallel multi-party computation from linear multi-secret sharing schemes [会议论文]
11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, INDIA, DEC 04-08,
Zhang ZF; Liu ML; Xiao LL
  |  
 
security analysis of some threshold signature schemes and multi-signature schemes [会议论文]
1st SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, DEC 15-17,
Cao TJ; Lin DD
  |  
 
hctr: a variable-input-length enciphering mode [会议论文]
1st SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, DEC 15-17,
Wang P; Feng DG; Wu WL
  |  
 
evaluation of the capability of personal software process based on data envelopment analysis [会议论文]
International Software Process Workshop (SPW 2005), Beijing, PEOPLES R CHINA, MAY 25-27,
Ding LP; Yang QS; Sun L; Tong J; Wang YJ
  |  
 
a predicate spatial logic and model checking for mobile processes [会议论文]
1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), Guiyang, PEOPLES R CHINA, SEP 20-24,
Lin HM
  |  
 
enforcing the principle of least privilege with a state-based privilege control model [会议论文]
1st Information Security Practice and Experience Conference, Singapore, SINGAPORE, APR 11-14,
Liang B; Liu H; Shi WC; Wu YJ
  |  
 
on the security of some nonrepudiable threshold proxy signature schemes [会议论文]
1st Information Security Practice and Experience Conference, Singapore, SINGAPORE, APR 11-14,
Tan ZW; Liu ZJ; Wang MS
  |  
 
on the security of tweakable modes of operation: tbc and tae [会议论文]
8th International Conference on Information Security, Singapore, SINGAPORE, SEP 20-23,
Wang P; Feng DG; Wu WL
  |  
 
the inductive approach to strand space [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Li YJ
  |  
 

previous 1 2 3 4 5 6 7 8 9 next

 

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