摘要：针对软件动态可信度量方法中准确性和效率较低的问题，提出了一种以编译器插桩获取软件行为轨迹的软件动态可信SDTBT模型。通过分析包含函数调用和基本块调用的C程序控制流，在GCC编译预处理过程中设计软件插桩算法，提取软件行为轨迹；模型运行时可选择基本块或函数调用作为动态可信验证的对象，提高了软件度量的灵活性和效率，同时降低了度量资源消耗。实验分析表明，该模型能够准确提取软件行为轨迹信息，有效检测基于控制流的攻击行为，相较于已有模型有较高的准确性和较低的时间消耗。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社