信息安全中的可信软件编程计算研究

针对IT产业迅速发展、互联网广泛应用和渗透,各种各样的威胁模式不断涌现的现状,结合传统软件质量的对比分析,提出了信息安全中的重要因素——可信软件编程计算。重点研究代码可信性分析、计算和度量方面,涵盖软件的复杂性、可用性和可靠性等质量特性及可信属性,对于软件质量保证和信息安全具有非常重要的现实意义和实用价值。

Research on Trusted Software Programming Computing in Information Security

With rapid development of It industry,wide use of internet in all walks of life,and the increasing emergence of various threat models,this paper proposes an important factor in information security— trusted Software Programming Computing after a comparison with traditional software quality analysis.Quality attributes and credibility attributes(software complexity,software availability,software reliability and so on) are studied with a focus on the analysis,calculation and measurement of code redibility.this technology expects great utility value to software quality assurance and information security.