Filling the gap between voters and cryptography in e-voting

Cryptography is an important tool in the design and implementation of e-voting schemes since it can provide verifiability, which is not provided in the traditional voting. But in the real life, most voters can neither understand the profound theory of cryptography nor perform the complicated cryptographic computation. An e-voting system is presented in this paper to leverage the use of cryptography. It combines the advantages of voting scheme of Moran-Naor and voting scheme based on homomorphic encryption. It makes use of the cryptographic technique, but it hides the details of cryptographic computation from voters. Compared with voting scheme of Moran-Naor, the new system has three advantages: the ballots can be recovered when the voting machine breaks down, the costly cut-and-choose zero-knowledge proofs for shuffling votes made by the voting machine are avoided and the partial tally result in each voting machine can be kept secret. Foundation item: the National Natural Science Foundation of China (No. 60673076) and the National High Technology Research and Development Program (863) of China (No. 2008AA01Z403)     

开蓬陆地战机 兰博基尼Reventon Roadster

法兰克福车展一直是拥有众多品牌的大众集团向世界证明自身实力的一次表演。其中,世界超级跑车厂商兰博基尼展出了它们定名为Reventon的最新敞篷跑车。这个名字说起来可有来头:Reventon本就是一头公牛的名字,它在1943年的一场斗牛比赛中将一名很有名的斗牛士杀死。这次兰博基尼以获胜的公牛定名,一是与自身公牛标志相匹配,二是要表现出凶猛顽强的车型特点。     

日照港货物吞吐量继续保持快速增长

今年五一黄金周期间，厦金航线出入境旅客总人数达到9802人次，比去年同期增加2909人次，增长42％b在出入境的9802人次中，入境人数为4947人次，出境人数为4855人次，分别比去年同期增长了50％和30％。旅客以出境台胞散客为主，客源主要是在大陆工作、学习、生活的台胞利用大陆“五一”黄金周放长假的时间回台湾探望亲人。     

建立企业信用档案为提升企业竞争力服务

随着市场经济的不断发展．企业的诚信度越来越关系到企业的生存和发展。企业信用档案是证明企业诚信度最好的凭证。所以，建立企业信用档案的意义重大而深远。     

基于椭圆曲线的具有消息恢复的数字签名方案

基于椭圆曲线离散对数问题(ECDLP)和平方剩余问题,本文提出了一种新的具备消息自动恢复特性的数字签名方案,同时对该方案进行了各种安全性分析,得出结论:该方案具有前向安全性,而且在第三方仲裁时无需泄露密钥(即具有零知识特性).     

一类几何不等式的两个结果与若干猜想

建立了两个新的有关三角形内部任意一点的三元二次型几何不等式，提出了这类不等式的若干猜想。     

满足可变多项式恒等环的交换性

结合环的交换性理论是环论的一个主要内容，它是代数几何，代数数论的理论基础，而满足可变多项式恒等式环的交换性问题是环的交换性理论的一个热点内容，本利用名的Meta定理证明了满足可变多项式恒等式具有单位元环的一个交换性定理，推广了环的变换性定理的有关结果。     

Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

高等数学中反证法的证题技巧

在数学证明法中，反证法是一种常用的间接证明方法，应当熟练掌握。     

浅谈金融危机下出境游市场为何逆势而上

摘要：在当前金融危机下我国经济也不能独善其身，其旅游业也受到了重大挫折，但是我国出境游市场却逆势而上，追究其原因主要是我国个人的经济实力增强、人民币升值、国外的优惠的接待条件、交通费用的下降、旅游消费观念的转变和可选择的旅游国家增多。