作者：张朋辉; 田曦; 楼康威固件安全tla形式验证漏洞分析软硬件协同
摘要：为了系统高效地分析固件中潜在的安全隐患,提出了一种基于行为时序逻辑TLA的软硬件协同形式验证方法。通过对固件工作过程中的软硬件交互机制进行形式建模分析,在动态调整攻击模型的基础上,发现了固件更新过程中存在的安全漏洞,并通过实验证实了该漏洞的存在,从而证明了形式验证方法的可靠性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《网络与信息安全学报》（CN：10-1366/TP）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《网络与信息安全学报》通过刊载信息安全领域有突破的基础理论研究、创新性的关键技术研究、热点安全问题研究，以及与信息安全技术相关的交叉领域的科研学术论文，充分展示我国的研究成果，向科研人员提供全面的前沿信息，开展多边的网络国际交流合作，促进我国信息安全技术的发展与学术水平的提高，为建设网络强国服务。
省级期刊
人气 237982 评论 36
人气 211933 评论 71
人气 153666 评论 33
人气 151160 评论 53
