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

Search Results

Help

Item hits: (Results 1-10 of 21)

Items/Page:    Sort:
Combining symmetry reduction with generalized symbolic trajectory evaluation [期刊论文]
Computer Journal, 2014-01-01, 卷号: 57, 期号: 1, 页码: 115-128
Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)

 
基于PVS的数据库安全策略形式化分析方法 [期刊论文]
中国科学技术大学学报, 2013-01-01, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕

 
基于PVS的数据库安全策略形式化分析方法 [会议论文]
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕

 
no-go theorem for one-way quantum computing on naturally occurring two-level systems [期刊论文]
PHYSICAL REVIEW A, 2011-01-01, 卷号: 83, 期号: 5, 页码: -
Chen Jianxin; Chen Xie; Duan Runyao; Ji Zhengfeng; Zeng Bei

 
dichotomy for holant* problems of boolean domain [会议论文]
22nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, CA, United states, 23-Jan
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
security of the sms4 block cipher against differential cryptanalysis [期刊论文]
Journal of Computer Science and Technology, 2010-01-01, 卷号: 26, 期号: 1, 页码: 130-138
Su Bo-Zhan; Wu Wen-Ling; Zhang Wen-Tao
  |  
 
efficient concurrent zero knowledge arguments for np in the bare public-key model [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2008-01-01, 卷号: 19, 期号: 2, 页码: 468-478
Deng Yi; Lin Dong-Dai

 
基于搜索的面向路径字符串测试数据自动生成方法 [期刊论文]
计算机辅助设计与图形学学报, 2008-01-01, 卷号: 20, 期号: 5, 页码: 671-677
赵瑞莲
  |  
 
mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols [会议论文]
22nd ACM Symposium on Applied Computing, Seoul, SOUTH KOREA, MAR 11-15,
Li Yongjian
  |  
 
an efficient one-key carter-wegman message authentication code [会议论文]
2006 International Conference on Computational Intelligence and Security, ICCIAS 2006, Guangzhou, China, October 3,
Xu Jin; Wang Dayin; Lin Dongdai; Wu Wenling
  |  
 

1 2 3 next

 

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