可证安全理论研究与椭圆曲线密码体制设计

系统归结可证安全的理论模型，构建新型的安全模型并刻画与已有模型的关系；深入分析安全性的证明方法，找出并修补已有安全性证明实例中的漏洞；利用可证安全理论来剖析已有的椭圆曲线公钥密码体制的安全强度，以安全性证明的约化效率来确定在目前的安全性要求下所需的参数尺寸，进一步丰富ECC（Elliptic Curve Cryptography）安全性设计准则，且按照此准则设计出自主创新的IND-CCA2（Indistiguishbility-Adaptively Chosen Ciphertext Attack）安全的椭圆曲线加密体制和EUF-ACMA(Existential unforgeable-Adaptively Chosen Message Attack)安全的椭圆曲线签名体制，为ECC技术在电子商务、电子政务等领域的应用在理论上提供有说服力的依据。