首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  免费   0篇
综合类   3篇
  2009年   1篇
  2008年   1篇
  2005年   1篇
排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
This paper focuses on the instantiation of random oracles in public key encryption schemes. A misunderstanding in the former instantiations is pointed out and analyzed. A method of using this primitive as a substitution of random oracles is also proposed. The partial and full instantiations of random oracles in optimal asymmetric encryption padding (OAEP) implemented by pseudorandom functions are described and the resulted schemes are proven to be indistinguishable secure against adaptive chosen ciphertext attack (IND-CCA2) secure. Using this method, one can transform a practical public key encryption scheme secure in the random oracle model into a standard-model secure scheme. The security of the scheme is based on computational assumptions, which is weaker than decisional assumptions used in Cramer- Shoup like schemes.  相似文献   
2.
面向语义的元数据模型一致性检验   总被引:1,自引:1,他引:0  
面向语义的元数据模型检验用于判断待建元数据在语义上是否一致.首先,借鉴本体的思想,利用描述逻辑建立了面向语义的元数据模型,它是一个7元组,包括术语集、实例集、术语定义集、实例声明集、属性分配集、术语注释集和术语约束集.然后,将元数据模型检验抽象为术语检验和实例检验2类问题.最后,对术语检验和实例检验的判定方法进行分析.研究表明,2类检验问题可分别细化为4类和2类子问题,这些子问题可以相互转换。  相似文献   
3.
随着计算机和互联网的迅速发展,成千上万的用户每天日常工作中都必须用英语写作、交流.对于母语不是英语的用户来说,英语写作是一大障碍.语法检查的技术起源于自然语言理解的应用,根据实用性和有效性原则出发,提出在系统实现中引入错误实例、负规则模式来实现语法检查,从而简化了分析算法,扩展了错误检查的覆盖面.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号