etomato_2009的博客

介绍了既约剩余类的概念以及四元整数的一些基本性质,提出了基于四元整数群的ElGamal公钥密码体 制(PKC),其安全性基于大整数分解和离散对数问题的困难性,并在计算机上进行模拟实现,分析了其安全性。 关键词:ElGamal公钥密码;剩余类;四元整数;模n既约四元整数同余类群

在UC框架下，基于KR模型，对签密协议进行研究．根据签密协议的安全性要求，提出 签密的理想功能函数，并依此设计协议的一般化形式；随后基于UC安全的定义，通过模拟技术， 证明所设计的一般化协议安全实现了理想的功能函数，即此一般化协议是UC安全的；同时，在 UC框架下对所设计协议的存在性不可伪造进行讨论，利用反证法证明其安全性；最后，从一般 到具体，设计了一个具体的签密协议，同样满足UC安全性．在复杂的网络环境中，UC安全的 协议作为一个模块，能与其他协议组合使用，不破坏组合协议的安全性．