可信的安全多方计算环境构建方法及其关键技术研究

构建新一代适应信息发展需要的可信计算环境已成为信息科学技术领域的重要课题之一。目前可信计算对私密性仅要求客户能够控制与自己相关的数据，并按照信息平等原则使用数据，但对用户不愿意公开的隐私信息并未涉及。如何提供一种有效的可信计算环境，使得在保护用户隐私信息的同时能进行协作计算是可信计算的重要研究内容之一。本课题以安全多方计算技术为切入点,着重探讨适合隐私保护的多级安全的可信计算模型，研究可信的安全多方计算环境的体系结构；设计一组高效的安全多方计算协议，研究有效的协议安全性证明方法；为提高可信计算环境的安全性与高效性，本课题将研究量子计算技术在安全计算中的可行性,为最终解决网络计算中的隐私保护问题提供一个有效的可信计算环境，也为一些重大工程的可信软件研发提供科学支撑。