浅谈如何规范有序地开展网络安全需求分析 本文来源:前言近年来,部分大型企业尤其是关键信息基础设施行业领域,随着网络安全形势日益严峻复杂,国家对网络安全的重视也提高到前所未有的程度,网络安全监管政策趋严,最近滴滴接受网络安全审查就是最直接的明... 访客 2022-05-03 443 #网络安全 #需求分析 #规范分析 #等级保护
面向计算机并发程序的形式化验证方法设计 本文来源:摘 要:计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言、语义、推理证明三位一... 访客 2022-04-27 308 #形式化方法 #逻辑模型 #逻辑函数 #规范分析 #功能分析 #关系逻辑 #面向过程 #融资 #源码