作者：孙召昌; 马建峰; 孙聪; 卢笛可信计算运行时监控嵌入式系统线性时序逻辑
摘要：当前可信计算平台缺乏对自身运行时安全属性的监控,对此,提出一种针对嵌入式可信平台的运行时监控方法。通过自动化的代码插入和运行时实时监控,保证可信平台的运行时安全功能符合设计规范,并保证系统性能和运行状态符合特定条件约束,同时对相应的异常进行实时处理。实验结果表明,随着监控节点数的增长,监控的准确性和实时性提高,而监控开销和异常处理开销处于合理范围。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《网络与信息安全学报》（CN：10-1366/TP）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《网络与信息安全学报》通过刊载信息安全领域有突破的基础理论研究、创新性的关键技术研究、热点安全问题研究，以及与信息安全技术相关的交叉领域的科研学术论文，充分展示我国的研究成果，向科研人员提供全面的前沿信息，开展多边的网络国际交流合作，促进我国信息安全技术的发展与学术水平的提高，为建设网络强国服务。
省级期刊
人气 238517 评论 36
人气 212574 评论 71
人气 154104 评论 33
人气 151782 评论 53
