机构

• 软件研究所 [55]

采集方式

• OAI收割 [55]

内容类型

• 期刊论文 [29]
• 会议论文 [25]
• 其他 [1]

发表日期

• 2009 [55]

学科主题

• Computer S... [3]
• Computer S... [2]
• Mathematic... [2]
• Computer S... [1]
• Computer S... [1]
• Computer S... [1]
• 更多

筛选

浏览/检索结果: 共55条，第1-10条 帮助 限定条件 专题：2009年期刊/会议论文    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序作者升序作者降序题名升序题名降序发表日期升序发表日期降序 中国科学院软件研究所图书文献资源分布 其他  OAI收割 2009-06-06 软件所图书馆   |  收藏  |  浏览/下载：29/0  |  提交时间：2009/06/06 图书资源   ciphertext verification security of symmetric encryption schemes 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009, 卷号: 52, 期号: 9, 页码: 1617-1631 Hu ZhenYu; Sun FuChun; Jiang JianChun   |  收藏  |  浏览/下载：39/0  |  提交时间：2011/03/18 encryption  privacy  integrity  reaction attack  IND-CPA  IND-CCA   TPM接口命令标准符合性测试的设计与实现 期刊论文  OAI收割 计算机工程, 2009, 卷号: 35, 期号: 2, 页码: 129-132 崔奇; 马楠; 刘贤刚   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/03/18 可信计算模块   periods of termwise exclusive ors of maximal length fcsr sequences 期刊论文  OAI收割 FINITE FIELDS AND THEIR APPLICATIONS, 2009, 卷号: 15, 期号: 2, 页码: 214-235 Tian Tian; Qi Wen-Feng   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/03/18 Feedback with carry shift register  l-sequences  Primitive sequences  Exclusive or   liveness analysis of parallel programs petri net models 会议论文  OAI收割 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009, Wuhan, China, 40878 Liu Wei; Du YuYue; Cui HuanQing; Yan Chun   |  收藏  |  浏览/下载：49/0  |  提交时间：2011/03/20 Computer science  Parallel architectures  Parallel programming  Petri nets   adjoint code generator 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009, 卷号: 52, 期号: 6, 页码: 926-941 Cheng Qiang; Cao JianWen; Wang Bin; Zhang HaiBin   |  收藏  |  浏览/下载：33/0  |  提交时间：2011/03/18 gradient  Hessian  adjoint model  automatic differentiation   formal analysis and testing of trusted platform module 期刊论文  OAI收割 Jisuanji Xuebao/Chinese Journal of Computers, 2009, 卷号: 32, 期号: 4, 页码: 646-653 Chen Xiao-Feng   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/03/18 Cryptography  Product development  Project management   基于SPEC#的功能性冗余软件开发 期刊论文  OAI收割 计算机工程与设计, 2009, 卷号: 30, 期号: 15, 页码: 3487-3490 王侃; 郑宇军; 范宏伟   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/03/18 软件可靠性   enumerating proofs of positive formulae 期刊论文  OAI收割 COMPUTER JOURNAL, 2009, 卷号: 52, 期号: 7, 页码: 799-807 Dowek Gilles; Jiang Ying   |  收藏  |  浏览/下载：33/0  |  提交时间：2011/03/18 positive formulae  enumerating proofs  minimal predicate logic   cryptanalysis and improvement on a threshold proxy signature scheme 期刊论文  OAI收割 JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2009, 卷号: 25, 期号: 2, 页码: 619-631 Tan Zuo-Wen; Liu Zhuo-Jun   |  收藏  |  浏览/下载：34/0  |  提交时间：2011/03/18 proxy signature  threshold signature  forgery attack  universally forgeable  random oracle model  DL assumption