【摘 要】
：
零知识交互式证明是一个协议,用这一协议爱莉斯(Alice)不用给予鲍勃(Bob)关于如何进行证明的任何暗示就能使一多项式有界的Bob相信某一定理的真实性,在密码假设下,为达此目的,对于NP中的每个问题,我们给出一般技术,这扩展到可能的一大类,它们兼有非决定性及随机性的能力。我们的协议是强有力的,它足以供Alice使Bob相信一些她还未曾证明过的定理之用。也许由于Alice懂得一些陷门信息,该协议也
论文部分内容阅读
零知识交互式证明是一个协议,用这一协议爱莉斯(Alice)不用给予鲍勃(Bob)关于如何进行证明的任何暗示就能使一多项式有界的Bob相信某一定理的真实性,在密码假设下,为达此目的,对于NP中的每个问题,我们给出一般技术,这扩展到可能的一大类,它们兼有非决定性及随机性的能力。我们的协议是强有力的,它足以供Alice使Bob相信一些她还未曾证明过的定理之用。也许由于Alice懂得一些陷门信息,该协议也足以使Alice自己从概率上去相信一定理,这样Alice也能使Bob相信而不以任何方式泄露陷门。
其他文献
据《Australian Electronics Engineering》报道,Kencomp公司推出了EDSP—247加密芯片,该芯片采用了Rivest—Shamir—Adleman(RSA)公开密钥加密算法。在这块芯片上,高速DES算法仍然可供选用。这块加密芯片是用德克萨斯仪器公司的数字信号处理器TMS 320C10做成的,其工
本文就卫星通信加密机以及它们的接口问题进行了讨论。着重介绍了英国UNIVERSE网的加密设备及接口、英国第二代数字单路单载波卫星通信系统——SATSTREAM系统的加密部分及接口、美国Datotek公司的DLE—7000加密机及接口,此外还介绍了五种可用于卫星通信的群路保密机及其接口,最后归纳了目前国外卫星通信加密设备普遍采用的接口标准。
Alice在处理一些秘密。她自愿把其中一件秘密泄露给Bob。虽然她同意让他选择他想要的秘密,但她不愿让他得到多于一件秘密的任何信息。另一方面,Bob不想要Alice知道他需要的那件秘密。这在密码协议中是一种有用的标准模块。例如,用它容易实现类似于文献[Crl]中的那种多甩户智力扑克协议,即:安全组阻止参与者合谋。
美国Datotek公司已推出一种名为DNV—2000的数字话频加密装置,加密机内装有伪随机数字信号处理系统,可使高频、超高频、甚高频窄带野战无线电通信高度保密,信
时段置乱体制是一种重要的模拟语言保密技术,特别适合用微机实现。然而按一般的方法实现时段置乱,必然引起段与段之间的不连续。因信道带宽有限,致使已置乱的语音信号在这些不连续点上产生失真。解密无法完全消除这些失真,从而在解密语音信号中产生一种低频噪声。为解决这些问题我们下了不少功夫。本文所提出的段置乱体制,能较为有效地消除此种失真。其基本原理是利用时域压缩技术将时段压缩,在相邻时段之间插入标志信号。解密
开发能满足整个美国未来85%COMSEC(通信保密)需求的嵌入式模块(属Overtake规划),推出第三代保密电话装置STU-Ⅲ(“未来保密话音系统”,五年内产量将达百万台),是当今美国COMSEC中的一件大事。本文略谈美国对以前COMSEC硬件的检讨和安全局开发新的COMSEC硬件的计划与措施,介绍嵌入模块和STU-Ⅲ的开发与配置等情况。
在加密函数存在的假设下,我们证明了NP中的全部语言都拥有零知识证明,就是说能证明一个CNF公式是可满足的而不泄露该公式的任何其它特性,特别是,不产生满足的賦值,也不产生更弱的一些特性,比如是否存在一个满足的賦值,其中x1=真,或者是否存在一个满足的赋值,其中x_1=x_3等。上述结果使我们能够证明密码协议领域(两方及多方)里的两个基本定理。这两个定理提供自动且有效的变换,当给定一个在极弱敌情下无误
前不久,机电部三十研究所建成了美国保密专利数据库。该数据库(英文)收录了1861年到1988年间美国涉及保密领域的专利(下称专利)两千多件。这些专利所涉及的领域有密码学、话音加密、图象加密、传真加密、计算机保密通信和卫星保密通信等方面。每件专利收录的项目有:美国专利号、专利人姓名、专利批准日期和专利名称
本文提出了几种公开密钥体制,这些体制的安全性是基于设备的不可拆性,而不是基于陷门单向函数的计算复杂性。本文还给出了用于保护秘密的第一个基于身份的密码体制。
据《Defense Electronics》1988年2月号报道,Cylink公司生产出了一种新型的数据加密标准(DES)加密装置——CIDEC-LS,该装置是一种适用于数据通信、其速率范围为75bps到128Mbps的现代化加密装置。以完全实行电子密钥管理为特征的这种加密装置既支持同步和异步应用,也支持点对点以及点对多点结构。在通信链路上密钥可沿