论文部分内容阅读
摘要：基于线性假设下的Cramer-shoup加密方案和SDH假设，提出一种新的(A,x,y)知识的零知识证明协议。该协议比文献[2]中SDH对(A,x)知识的零知识证明协议多了一个参数。
全文查看链接
一种新的（Ａ，ｘ，ｙ）知识的零知识证明协议
【摘 要】
：
摘要：基于线性假设下的Cramer-shoup加密方案和SDH假设，提出一种新的(A,x,y)知识的零知识证明协议。该协议比文献[2]中SDH对(A,x)知识的零知识证明协议多了一个参数。 关键词：线性Cramer-shoup加密；零知识证明；SDH假设 中图分类号：TP309文献标识码：A文章编号：1009-3044(2008)34-1760-02 A New Zero Knowledge
【出 处】
：
电脑知识与技术
【发表日期】
：
2008年34期
其他文献
摘要:该文主要研究了基于Symbian智能手机操作平台的垃圾短信的研究,在设计上提出特有的分层过滤方法,结合手机通信录号码簿,公共号码名单里的电话号码以及对短信内容进行相关关键字匹配的过滤这三个“关口”进行过滤,同时提出了一种短信过滤领域较新颖的BM过滤算法的研究。该方法对于短文本的过滤精确率较高,对于资源有限的手机操作平台运行不受影响,从而增加了算法的可行性。 关键词:Symbian;垃圾信息
摘要：该文介绍了利用Authorware的一个数据库编程接口——ODBC.U32动态链接库功能与数据库进行连接，实现题目和程序的分离。 关键词：Authorware；ODBC；数据库 中图分类号：TP311文献标识码：A文章编号：1009-3044(2008)30-0623-03 DataBase Programming Based on ODBC Technology in Autho
摘要：在系统运行中我们经常会遇到由于文件损坏导致启动的问题，但是在Linux中我们可以利用Linux的新技术让系统每次从内存启动，并且每次启动完后把完整的文件系统解压到内存，避免了系统从损坏的文件系统启动。这不仅使系统能正常启动，而且提高了系统性能。 关键词：Linux；嵌入式；文件系统 中图法分类号：TP309 文献标识码：A 文章编号：1009-3044(2008)07-11232-02
摘要：本文介绍了一种使用DIV CSS Javascript设计选项卡式网页布局方法，分别讨论了选项卡居左、居右、居上和居下四种效果。该方法简单、实用，既能保持网页的信息量，又可以极大地节省网页空间。 关键词：DIV； CSS；JavaScript；网页设计 中图分类号：TP311文献标识码：A文章编号：1009-3044(2008)17-21556-03 1 引言 业界越来越关
摘要：敏捷企业以其快速的市场反应能力和企业间良好的合作关系而受到企业界的追捧，在瞬息万变的市场竞争中如何能够捕捉到转瞬即逝市场机会则是敏捷企业生存之道。加速信息采集、传递，提高企业群之间的快速配合程度，才能够更快的对市场做出反应。在敏捷企业实施SoA能够很好的将虚拟企业关系灵活化，增强敏捷能力。 关键词：SOA：敏捷企业 中图分类号：TP311 文献标识码：A 文章编号：1009－3044(2
摘要：Photoshop是一个专业图像处理软件，它具有强大的图像处理功能。在广告、建筑、工业设计等领域都有广泛应用，尤其在创作中能进行必要的移植和嫁接。Photoshop中分离背景技术就是将图像中的某部分物体(目标)和背景分离开来。无疑分离背景技术是图像编辑的基础。掌握好图像分离背景的方法和技巧在图像编辑中有着重要的意义。 关键词：Photoshop；图像编辑；分离背景 中图分类号：TP331
摘要:针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。最后,通过一个具体的例子来说明II-α-超归结原理对于提高自动推理算法的效率十分有效。 关键词:格值命题逻辑系统;归结自动推理;α-归结原理;II-α-超归结原理 中图分类号:O153文献标识码:A文章编号:1009-
摘要：在整个web应用的测试中，性能测试占非常重要位置，因为性能直接反映了Web应用所提供服务的质量水平。Web 应用设计的复杂性和用户使用的不可预测性给如何准确地预测它的性能带来了很大的挑战，而且随着Web应用的规模越来越大、用户越来越多，这个挑战变得更加严重。文中就如何准确地设计负载测试进行了深入研究，提出了对用户导航、用户延迟进行建模的方法来设计负载测试，以使负载测试能够准确地模拟现实用户环
摘要：通过分析奔腾混合动力汽车的整体控制要求以及各控制模块之间的任务分配，论文在研究CAN总线通信技术的基础上，选取MC9S12DP512作控制芯片，并设计了CAN通信模块的硬件电路和软件工作流程，给出了CAN模块的初始化实例。根据HEV发动机和传动系统的特点设计了整车控制策略，并对其整车控制逻辑的软件实现进行了说明。 关键词：CAN总线；混合动力系统；控制策略 中图分类号：TP316 文献标