新出现的勒索软件被曝有强大的反分析功能

Pandora勒索软件针对Windows用户发起攻击,且会对受感染设备上的大多数文件加密。新出现的 Pandora 勒索软件已经被评级为中等攻击的勒索软件,它会窃取受害者设备上的数据并对...

Read More

面向计算机并发程序的形式化验证方法设计

摘 要:计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言...

Read More