一种零知识证明协议的安全分析与改进

论文指出了文献[1]中的零知识证明协议在公钥参数选取上的安全漏洞,并从求解离散对数的角度进行了分析证明。然后吸取了DSA数字签名算法中安全密钥选取高效简单的优点,提出了一种比Schnorr身份识别方案快1／3的简单、安全、高效的零知识证明身份识别方案。     

数学归纳法的几个推广

将通常适用于自然数系的数学归纳法推广到了下有界整数集{n|n∈Z,n≥n0}与上有界整数集{n|n∈Z，n≤m0}及全体整数集Z。并证明了关于命题{P(m,n)}m,n∈z的二元数学归纳法。     

DJ徘徊在5款硬盘随身听的世界

经过百年的轮回，现在奥运会又再次回到了她的故乡——希腊，在富有地中海式热情与浪漫的开幕式中，当体育迷们还在回味世界顶尖DJ——荷兰人铁斯托斯为运动员入场演奏的现代音乐时，远在万里之外的新潮电子评测室中同样汇集了来自硬盘随身听业界的5大一流DJ，他们为了证明自己的实力，同样也上演着一场龙争虎斗。     

公钥基础设施中拥有证明问题的解决方案

介绍了公钥基础设施中拥有证明的概念，并根据实际应用中的不同情况详细地说明了各自相应的解决方案，重点集中在加密证书拥有证明的间接方式的解决方案。     

数据的VV&C研究

数据的可信性是建模与仿真领域中一个重要的问题。该文首先介绍了数据校核、验证与证明 (VV&C)的基本概念。然后确定了数据VV&C评估的主要策略 :过程模型以及支持数据质量的元数据模板等几方面内容。接着对数据的VV&C和建模与仿真的VV&A的关系作了简要比较。最后举出了一个综合环境评估和检查工具的例子。     

采样定理的内在不自洽性和工程应用的局限性——采样定理和奈奎斯特准则研究·上篇

推导证明了作为通信理论基石之一的采样定理及其公式存在着两个矛盾：内在不自洽性，即采样定理与其公式的推导前提条件相矛盾；采样定理在工程实际应用时的严重局限性     

一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

“七种武器”搅起暑促热浪

7月5日,欧洲杯上演的豪门盛宴曲终人散,传统强队们只尝到了大餐前的开胃汤便踏上了回家的路。欧洲新贵希腊队向全世界证明,希腊上演的不是神话,而是真正的奇迹!欧洲杯的硝烟散去了,但是我们可以从中嗅到的气息是:传统打法的作用是有限的,只有进行不断的技战术创新才能立于不败之地。 与欧洲杯的烽火连天相似,中国IT市场的暑期促销之战同样硝烟弥漫。同样的道理,IT厂商若想在暑促中脱颖而出,同样需要在技战术创新上想办法。     

高等数学证明中关于辅助函数的构造

本文通过例证的方法讨论了高等数学中有关利用辅助函数进行证明的方法,说明了使用这些方法的的优越性和使用时可能的题型.