首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   10篇
  国内免费   2篇
  完全免费   11篇
  自动化技术   23篇
  2013年   1篇
  2008年   1篇
  2007年   10篇
  2006年   2篇
  2005年   1篇
  2004年   2篇
  2003年   1篇
  1999年   1篇
  1997年   1篇
  1996年   1篇
  1987年   1篇
  1984年   1篇
排序方式: 共有23条查询结果,搜索用时 31 毫秒
1.
基于离散对数的代理盲签名   总被引:57,自引:1,他引:56       下载免费PDF全文
谭作文  刘卓军  唐春明 《软件学报》2003,14(11):1931-1935
代理签名是一种非常有用的密码学工具.使用它,原始签名人能将其数字签名权力委托给代理签名人.在盲签名方案中,消息的内容对签名者是不可见的.签名被接收者泄露后,签名者不能追踪签名.代理签名和盲签名在实际中分别有着广泛的应用.结合两者的优点,在Schnorr签名的基础上,提出了一个代理盲签名方案.  相似文献
2.
一阶谓词演算定理机器证明的余式方法   总被引:5,自引:2,他引:3  
吴尽昭  刘卓军 《计算机学报》1996,19(10):728-734
本文将一阶谓词泻算的证明转化为代数族的计算,从而获得了代数化的Herbrand过程,双通过一阶多项式间的求余运算,给出了余式方法并评理服它的完备性。同时,我们证明了归结原理是余式方法的一种特例。  相似文献
3.
一个安全公钥广播加密方案   总被引:4,自引:0,他引:4       下载免费PDF全文
谭作文  刘卓军  肖红光 《软件学报》2005,16(7):1333-1343
消息的发送者使用广播加密算法通过广播信道将消息发送给用户.公钥加密算法和追踪算法结合在一起,可构成一个公钥广播加密方案.提出了一个完全式公钥广播加密方案.在以往公钥广播加密方案中,消息发送中心替每个用户选择解密私钥,分配解密私钥.而在完全式公钥广播加密方案中,用户的解密私钥是由用户自己所选择的.用户可以随时加入或退出广播系统.当消息发送者发现非法用户时,不要求合法用户作任何改变,就能够很方便地取消这些非法用户.此外,证明了方案中加密算法在DDH假设和适应性选择密文攻击下是安全的.  相似文献
4.
存在特权集的代理门限群签名方案   总被引:3,自引:0,他引:3  
在Schnorr代理签名的基础上,结合存在特权集的门限群签名,提出了两个存在特权集的代理群签名方案。它们具有门限群签名的特点,同时实现了不同代理人的不等代理权限功能。基于离散对数假设,对这两个代理门限群签名方案进行了安全分析.  相似文献
5.
参与者权重不同的防欺诈的动态秘密共享方案   总被引:2,自引:0,他引:2       下载免费PDF全文
在秘密共享方案的研究中,一般都进行Shamir门限秘密共享方案的研究,该方案基于多项式插值。论文基于中国剩余定理的参与者权重不同的秘密共享方案,提出了一个基于离散对数问题的困难性的参与者权重不同的防欺诈的动态秘密共享方案。方案中每个参与者的子秘密可多次使用,秘密更新时,无需更新参与者的子秘密,并且可以灵活地增加或删除。  相似文献
6.
改进lex和yacc以开发基于事件驱动的语法分析类软件   总被引:1,自引:0,他引:1  
利用已有的软件工具开发大型软件是事半功倍的选择。lex和yacc是UNIX系统提供的两个重要工具。用它们可以在较高层次上编写诸如语法分析和编译程序之类的系统,但它们原是为开发面向字符流输入的软件而设计的,不能直接用于开发基于事件驱动的软件系统。文中首先分析并给出了yacc和lex生成的字符流语法分析程序的主流程,然后按照事件驱动系统的特殊需要进行了拓展和改进,给出了利用它们来开发基于事件驱动的语法  相似文献
7.
机器定理证明的抽象映射   总被引:1,自引:0,他引:1  
本文选自1980年在法国举行的第五届自动推演国际学术会议论文集。文章介绍了定理机器证明的一种新技术——抽象映射。本质上说来,这一技术就是把证明分成两个阶段①给出证明的大致轮廓;②加细证明过程。事实上,当要证明较为困难的问题时,很自然人们会想到把困难的问题转化成较为简单的问题,然后利用对简单问题的证明,启发对于原问题的证明。抽象技术具体地体现了这一思想。本文主要考虑了抽象映射与归结的结合使用,尤其较为深入地讨论了用于 P_1-归结的各种问题。文章作者认为抽象技术极为一般,稍作修改就可以用于其它推理规则。  相似文献
8.
可行的证明整数是Blum数的零知识证明系统   总被引:1,自引:0,他引:1  
Blum数是形如pk11qk21(p1和q1是模4余3的不同素数,且k1和k2是奇整数)的整数.目前,该类整数在密码学领域中得到了广泛的应用.尽管证明一个秘密整数是Blum整数的零知识证明系统已经存在,但是,怎样构造一个证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统是未知的.基于Σ-协议,构造了证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统,而且,也构造了证明秘密整数是具有pk11qk21(其中k1和k2至少有一个大于1)形式的Blum整数的零知识证明系统.  相似文献
9.
一种实用的可验证秘密共享方案   总被引:1,自引:0,他引:1  
在秘密共享方案中,如果庄家选择的多项式f(x)=∑r-1i=0aixi含有零系数项,也就是某些ai=0,那么不诚实的庄家有可能构造一个门限为t'(相似文献
10.
张艳硕  刘卓军 《计算机应用》2007,27(12):2937-2939
提出了动态可验证的彩色可视多重秘密共享方案。该方案共享多幅秘密图像,使得任意t个或更多的子秘密能够恢复秘密图像,而任意t-1或者少于t个子秘密却得不到有关图像的任意信息。该方案通过一次秘密共享就可以实现对多个秘密图像的共享。方案中每个参与者的子秘密可多次使用,秘密更新时,无需更新参与者的子秘密,同时,可以灵活增加或删除某个参与者。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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