基于Hadoop生态圈的数据分析平台设计

自贵州省实施大数据战略以来,全省社会经济高速发展,通过支付系统贵阳城市处理中心处理的跨行资金交易呈快速增长态势,如何从海量真实交易数据中提取和分析有效信息,对支付系统贵...

Read More

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

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

Read More

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

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

Read More
关闭