首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   75篇
  国内免费   9篇
  完全免费   58篇
  自动化技术   142篇
  2017年   2篇
  2016年   7篇
  2015年   10篇
  2014年   12篇
  2013年   11篇
  2012年   27篇
  2011年   26篇
  2010年   15篇
  2009年   13篇
  2008年   5篇
  2007年   6篇
  2006年   1篇
  2005年   1篇
  2004年   1篇
  2003年   1篇
  2002年   1篇
  2001年   1篇
  1996年   1篇
  1994年   1篇
排序方式: 共有142条查询结果,搜索用时 31 毫秒
1.
可证明安全性理论与方法研究   总被引:46,自引:1,他引:45       下载免费PDF全文
冯登国 《软件学报》2005,16(10):1743-1756
论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用,内容主要包括:什么是可证明安全性,可证明安全性理论涉及到的一些基本概念,RO(random oracle)模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展,标准模型下可证明安全性理论在公钥加密和数字签名等方案中的应用研究进展,以及可证明安全性理论在会话密钥分配协议的设计与分析中的应用研究进展.  相似文献
2.
标准模型下可证安全的身份基认证密钥协商协议   总被引:12,自引:0,他引:12  
王圣宝  曹珍富  董晓蕾 《计算机学报》2007,30(10):1842-1852
提出一个在标准模型下可证安全的双方身份基密钥协商协议.新协议的设计思想来源于Gentry的身份基加密方案.提出的新协议可工作于托管或者无托管两种模式.在标准模型下(即不利用随机预言假设),文中给出了该协议的安全性证明.新提出的协议与目前现有仅在随机预言模型中证明安全的协议相比,在计算和通信效率方面相当.  相似文献
3.
标准模型下可证安全的门限签名方案   总被引:11,自引:0,他引:11  
徐静 《计算机学报》2006,29(9):1636-1640
在标准模型(不使用随机预言模型)下设计高效可证明安全的门限签名方案具有实际意义.利用Waters最近提出的签名方案,设计了一个在标准模型下安全的(t,n)门限签名方案.该方案能容忍任意t〈n/4个成员被恶意敌手破坏;它的门限密钥生成算法不需要可信中心(a trusted dealer),只需成员交互协商来完成;其安全性基于一般的困难问题假设——计算Diffie—Hellman(CDH)问题.  相似文献
4.
标准模型下可证安全的基于身份的高效签名方案   总被引:11,自引:0,他引:11  
基于身份的公钥密码体制克服了传统公钥密码体制所带来的公钥证书存储和管理开销问题;目前大多数基于身份的数字签名方案的安全性足基于随机预言模型进行证明,但随机预言机的实现方式可能会导致方案的不安全,如Hash函数,往往返回的结果并小是随机的.文中提出一种安全、高效的基于身份的签名方案,并且在标准模型下证明该方案对自适应选择消息攻击是存在不可伪造的,方案的安全性可规约为CDH困难假定.与现有的标准模型下安全的基于身份的签名方案相比,方案的通信代价更小,执行效率更高.  相似文献
5.
Certificateless signcryption scheme in the standard model   总被引:6,自引:0,他引:6  
Certificateless public key signcryption scheme is an important cryptographic primitive in cryptography. Barbosa and Farshim proposed a certificateless signcryption scheme. However, their construction is proven to be secure in the random oracle model but not the standard model, and the scheme is also vunlerable to the malicious-but-passive key generation center (KGC) attacks. To overcome these disadvantages, we introduce a formal security model for certificateless signcryption schemes secure against the malicious-but-passive KGC attacks and propose a novel certificateless signcryption scheme. The proposed certificateless signcryption scheme is proven to be IND-CCA2 secure under the decisional Bilinear Diffie-Hellman intractability assumption without using the random oracles. The proposed scheme is also proven to be existentially unforgeable under the computational Diffie-Hellman intractability assumptions. Furthermore, performance analysis shows that the proposed scheme is efficient and practical.  相似文献
6.
标准模型下的前向安全多重签名:安全性模型和构造   总被引:4,自引:0,他引:4       下载免费PDF全文
于佳  郝蓉  孔凡玉  程相国  GUO Xiang-Fa 《软件学报》2010,21(11):2920-2932
给出了前向安全多重签名的形式化安全性模型,并提出了一个可证安全的前向安全多重签名方案。在该方案中,即使所有参与多重签名成员的当前密钥泄漏,所有以前时间段的签名也是有效的。证明了方案是标准模型下安全的。  相似文献
7.
标准模型下的高效短群签名   总被引:3,自引:1,他引:2  
基于SDH假设下BB签名方案,构造了一个两层签名方案,通过应用合理的假设和非交互知识证明系统,提出了一种标准模型下完全匿名的动态短群签名方案,并证明了该方案满足BSZ模型的安全需求.与最近的其他方案相比,该方案具有较高的运行效率和较短的签名长度,且允许新成员的动态加入,群管理员不能伪造成员的签名.  相似文献
8.
一个标准模型下可证明安全的无证书签名方案   总被引:2,自引:1,他引:1       下载免费PDF全文
无证书公钥密码体制消除了基于身份公钥密码体制中固有的密钥托管问题,同时还保持了基于身份公钥密码体制的优点,那就是没有传统公钥密码体制中的证书以及证书管理带来的额外开销。提出了一种高效的可使用更多适合配对的椭圆曲线的,同时在标准模型下可证明安全的无证书签名方案。  相似文献
9.
高效的标准模型下基于身份认证密钥协商协议   总被引:2,自引:0,他引:2       下载免费PDF全文
高志刚  冯登国 《软件学报》2011,22(5):1031-1040
在Waters的基于身份加密方案的基础上提出了一种高效的基于身份认证密钥协商协议,并在标准模型下证明了该协议的安全性.与目前已有的同类协议相比,该协议具有更高的效率和更弱的安全假设,并具有已知密钥安全和前向安全性等安全性质,同时能够抵抗未知密钥共享和密钥泄露伪装攻击.在该协议基础上,构造了防止用户密钥生成中心获取会话密钥的协议,以满足需要防止密钥托管的应用需求,并采用安全的消息认证码算法为该协议增加了密钥确认过程.  相似文献
10.
屏蔽体的三维模型的读取和可视化研究   总被引:1,自引:1,他引:0  
为了解数据文件所描述的辐射屏蔽体结构和分布,用OpenGL编写了可视化仿真程序。首先可将数据文件的数据转换成OpenGL编程所需的格式,然后用空间坐标变换法将基本几何形状的数学模型简化成标准型。图形在标准位置上被绘制后,通过坐标平移和旋转可转换到给定位置上进行显示,从而可大幅度简化绘制过程。绘制的图形能用正投影和透视投影法在两种不同的坐标系上显示。图形的着色和光照可通过菜单、对话框来变更,图形的移动和旋转可由键盘和民标的操作来控制,提示了一个包含400多个数据的数据文件所描述的屏蔽组合体的绘制实例。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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