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

研究了一种可双向转换的并发性程序形式化验证方法，解决了人工抽象建模存在的工作量大且易出错的问题，并且保证了源码层与抽象层验证的一致性，大幅提升了形式化验证的效率...

南美洲金融中心里约财政系统遭勒索攻击，420GB数据被盗

不支付赎金将马上公开数据。

美国众议员提出《能源网络安全大学领导力计划法案》

该法案将建立起能源网络安全大学领导力计划，为从事网络安全与能源基础设施研究的研究生及博后研究员提供助学金和财政援助。

告别孤立的安全告警！立刻升级SIEM的五大理由

安全专家总结整理了目前SIEM系统的5大应用挑战与解决方法，以帮助企业更好地开展安全运营感知工作。

端到端加密 (E2EE) 及其内容审核技术

本文首先介绍端到端加密技术，再总结 E2EE 环境下的内容审核技术进展。

如何加快培育全国统一的数据市场？

“立破并举”，为统一的数据市场建设提供基础条件。

2022 Pwn2Own迈阿密大赛落幕：去年冠军蝉联Master of Pwn

主办方共为研究员发现的26个唯一0day（以及几个撞洞）颁发40万美元的奖励。

审查制度正式实施，应全面准确把握赴外上市申报网络安全审查的条件

对赴国外上市申报网络安全审查的条件作了分析。

2021年网络安全并购交易总额达775亿美元

这一金额超过了今年1月份微软现金收购一家游戏公司（动视暴雪）的交易额——687亿美元。

《2021中国开源发展年度观察》发布 (附下载)

深入分析了2021年我国开源软件政策环境、开发者画像特征、技术热点趋势、项目社区健康和商业化进展等关键信息。

量子计算十年内无法破解比特币

要想在有效时间段内（对于比特币交易来说通常为10-60分钟）破解比特币网络的256位椭圆曲线加密算法，需要量子计算机至少拥有3.17亿个量子位。

5G应用场景与隐私保护：大视频与云XR

从隐私保护设计PbD的角度，隐私保护功能应默认打开，以降低不必要的隐私风险。

网络安全培训：如何建立网络意识的企业文化

使用网络安全培训来创造一种文化，让每个人都认为网络安全是他们工作的一部分，并拥有保护公司数据、基础设施和应用程序的知识。

为什么美国公司应该关心挪威DPA对GDPR同意的解释？

总部设在美国的公司和监管机构应充分了解挪威数据保护机构Datatilyset的一项决定的影响，该决定涉及如何 "完成 "同意、什么构成特殊类别数据以及 "明显公开 "的含义。

什么是 Web 3.0——去中心化的安全互联网

零信任厂商雪诺科技获数千万元天使轮融资

雪诺科技基于零信任安全理念，自主研发了网络安全接入产品雪诺云零信任安全接入平台（雪诺云 ZTNA）。

北美国家财政系统遭勒索攻击：税务海关停摆，已危及国家稳定？

哥国总统称攻击者试图破坏国家稳定。

克罗地亚电信运营商披露数据泄露：致20万人信息曝光

威胁者可以访问客户的敏感个人信息，包括姓名、个人身份证号、地址和电话号码。

网络攻击致使该国最受欢迎电视台播放中断

当地的北京冬奥会电视直播也受到影响，被迫中断。

调查：企业漏洞扫描增加两倍，漏洞减少三分之二

报告指出，相较于十年前，公司加快了应用安全测试的节奏。