Development of Cryptographic Library and Support System

密码库及支持系统的开发

• 批准号: LP180101062
• 负责人: Prof Xun Yi
• 金额: $ 24.06万
• 依托单位: RMIT University
• 依托单位国家: 澳大利亚
• 项目类别: Linkage Projects
• 财政年份: 2020
• 资助国家: 澳大利亚
• 起止时间: 2020-01-08 至 2023-06-30
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/LP180101062
• 关键词: Development; Cryptographic; Library; Support; System

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.

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