浅谈如何规范有序地开展网络安全需求分析 03 May, 2022 行业新闻 前言近年来,部分大型企业尤其是关键信息基础设施行业领域,随着网络安全形势日益严峻复杂,国家对网络安全的重视也提高到前所未有的程度,网络安全监管政策趋严,最近滴滴接受网络安... Read More
面向计算机并发程序的形式化验证方法设计 27 Apr, 2022 行业新闻 摘 要:计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言... Read More