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

Research on Trusted Software Programming Computing in Information Security

作　　者：蔡建平[1] 许文瑛[1] 

机构地区：[1]北京工业大学软件学院,北京100101

出　　处：《软件》2012年第4期112-114,117,共4页Software

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

关 键 词：信息安全 可信软件 代码可信性 可靠性测试 质量分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]