研究了一种可双向转换的并发性程序形式化验证方法,解决了人工抽象建模存在的工作量大且易出错的问题,并且保证了源码层与抽象层验证的一致性,大幅提升了形式化验证的效率...
加快IPv6安全关键技术研发和应用、提升IPv6网络安全防护和监测预警能力、加强IPv6网络安全管理和监督检查。
本文首先介绍端到端加密技术,再总结 E2EE 环境下的内容审核技术进展。
“立破并举”,为统一的数据市场建设提供基础条件。
目前美国的数据中介公司几乎不受监管。
本文结合《“十四五”数字经济发展规划》对“数字化转型”的指引及当前数据安全产业现状,归纳现有数据安全防御难点、预判未来数据安全防御能力建设风险。
邮政快递业是网络安全和关键信息基础设施保护的重要行业领域。
车联网服务会用到哪些个人信息?有哪些隐忧?车联网服务的隐私和信任问题有哪些潜在解决方案?
听,58个在野0day,在说什么?
美国多部门4月13日联合发布安全警告称,某些APT行为者能够获得多个ICS/SCADA设备的完整系统访问权限,包括施耐德PLC、欧姆龙Sysmac NEX PLC、以及OPC UA服务器。APT组织开...
在4月19日举办的奇安信研发平台战略发布会上,齐向东发表“研发平台化 网络安全的未来之路”的主题演讲,首度阐释集团的平台化战略。
公司将主要用于在网络空间测绘领域的技术研发、打造基于相关前沿技术的产业生态、高级人才招募等方面,以及进一步加强全国市场拓展与业务协同工作。
松散协同的社区进行威胁情报合作可能只是一厢情愿,社区的正向运作方式仍然是值得探索和研究的。
成功利用此漏洞的攻击者,可在目标服务器远程执行恶意代码,进而控制目标服务器。
这六个团队将同时着力于创新性技术,赋能能源交付系统并在遭受网络攻击后迅速复原。
元宇宙的安全和隐私需要元宇宙的参与者们对于元宇宙的各个层级和各个应用场景有更加深刻的理解。
北约将乌克兰纳入2022年度“锁盾”网络演习。
报告呼吁企业和组织需要尽快提高数据网络系统抵制量子攻击的能力。
本文提出了一种分布式 DDoS 攻击恶意行为知识库构建方案。
网络招聘、网络交友等社交软件成了境外敌对势力渗透的温床。
微信公众号