Development of Cryptographic Library and Support System

整个网络空间的保护有赖于密码学的基础。应用程序的加密组件对远程方进行身份验证并保护通信安全。然而，加密滥用已成为安全组件开发中最常见的问题，影响高达90%的应用程序！ 本项目旨在研究、设计和开发一个密码库。本项目的创新之处在于三个方面：(1)开发一个完备、可靠、兼容、可验证的密码库；(2)自动开发安全测试软件，对代码的安全性进行测试和验证；(3)通过论证提供智能决策支持，帮助开发人员高效、正确地使用库。

The protection of the whole cyber space relies on a foundation of cryptography. Cryptographic components of apps authenticate remote parties and secure the communications. However, cryptographic misuse has become a most common issue in development of security component, affecting up to 90% of apps! This project aims to research, design and develop a crypto library. The innovation of this project lays in three aspects: (1) we will develop a self-contained, reliable, compatible and verifiable crypto library; (2) we will develop security test software automatically to test and verify security of codes; and (3) we will provide intelligent decision support through argumentation to help developers to apply the library efficiently and correctly.