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年的一场斗牛比赛中将一名很有名的斗牛士杀死。这次兰博基尼以获胜的公牛定名,一是与自身公牛标志相匹配,二是要表现出凶猛顽强的车型特点。     

略论无权代理合同

考察了无权代理和无权代理合同的概念,对《合同法》第四十八条规定的无权代理合同的效力进行了探讨.     

《海上交通安全法》修订对策

现行《海安法》已经受到来自各方面的质疑和挑战，修改《海安法》的社会条件日益成熟。     

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

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

浅议流质条款的认定及效力

1案例 2009年2月,甲公司与乙公司签订钢材购销合同。合同约定,甲公司向乙公司供应钢材,货款共计1000万元,乙公司于2009年4月前付清全款。同时,签订抵押合同并办理了抵押登记。双方在合同中约定,     

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

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

宪法序言的功能与效力研究

宪法序言的功能与效力问题，一直是宪法学界一个有争议的问题。宪法序言作为一个整体，确认了国家政权的政治正当性，以及国家的目标，这是宪法序言的最重要和最基本的功能，也是宪法效力发挥的政治与法律前提。宪法是根本法，是政治法，它的效力主要表现在对宪法内容的影响上，即通过序言的规定，明确了宪法本身所应当具有的法律效力。如果说宪法是“法律的法律”的话，那么，宪法序言就是“宪法的宪法”。     

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

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

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

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