在可信计算领域的研究中，信任的建立是基于信任的度量与信任的传递。为了确保系统是可信的，需要对系统的可信进行度量。信任度量的基本方法是验证系统资源的完整性。但此方法只能确保计算机系统启动时资源的静态完整性，无法保证系统运行中软件行为的可信。保证系统的可信就必须保证系统在各阶段都是可信的。软件行为在运行中的可信问题成为了可信计算中研究的重点问题。目前，软件行为可信并没有被严格的定义，软件行为可信在学术界也没有公认的度量方法。基于可信计算的概念与基本思想，结合信任的定义与性质，给出了对信任的认识。并分析了软件可信领域研究的主要问题。根据当前软件预期行为构造方法存在的问题，给出了软件行为可信的认识。提出软件行为可信的要素与预期行为构造的方法。并给出了可信行为声明定义、目的、性质以及应用场景。基于软件生命周期，可信行为声明被划分成了若干阶段。对可信行为声明的相关角色进行了讨论。基于可信行为声明的定义与软件行为可信要素，对可信行为声明进行了设计。设计了可信行为声明中软件信息、声明信息与行为信息的描述方式。确定了软件行为的主体、客体与动作以及其他要素的描述方式与研究范围，明确了各角色的任务以及配置声明方式。并给出了可信行为声明的XML文档结构。提出了基于可信行为声明的软件行为可信度量的基本方案，并对可信行为声明的设计、验证、发布、部署、配置与获取阶段的步骤进行了详细设计，并给出了关键的策略。基于软件行为的对比实验，对可信行为声明的完备性、必要性、可理解性进行了分析，基于可信行为声明的构造实验，验证了可信行为声明的构造可行性与可用性。