软件的可信主要体现在其行为的可信上,许多专家和学者越来越多地通过对软件行为的监测、信任关系的评价和异常行为的控制,来保证计算机系统能够安全的运行。由于软件行为可信性评价具有动态性、累加性、随机性和现场性等特点,要求我们对软件行为的可信性评价不能凭空而来,需要通过软件运行时的行为监测,收集可信性相关数据,验证软件行为是否符合行为规约,建立基于行为监测的可信性评价和管理体系,并能根据行为可信评价结果和行为可信需求规约,对软件行为进行实时动态监控,保障动态化评价的正确性和一致性,从而提高软件的可信性。随着软件在信息社会中的作用越来越重要,人们对软件的可靠性、安全性等可信性要求愈来愈高,软件动态可信评价已成为信息安全领域研究的一个关键、难点问题。针对上述问题,本文提出了基于扩展主观逻辑的软件行为动态可信评价模型(DTEMSB-ESL)。该模型引入软件行为轨迹来描述软件行为,软件行为轨迹由运行轨迹和功能轨迹构成,运行轨迹表示软件运行时的有序操作,表征为有序的检查点向量;功能轨迹则由能够表征软件功能的一系列场景来刻画。扩展J?sang的主观逻辑以解决软件运行时动态可信问题,包括对基本元素(基率和不确定因子等)从空间和时间两方面进行动态化。仿真实验表明本模型具有较高的精确性和效率。