研究了一种可双向转换的并发性程序形式化验证方法,解决了人工抽象建模存在的工作量大且易出错的问题,并且保证了源码层与抽象层验证的一致性,大幅提升了形式化验证的效率...
雪诺科技基于零信任安全理念,自主研发了网络安全接入产品雪诺云零信任安全接入平台(雪诺云 ZTNA)。
本文针对该标准的编制背景、适用范围、主要内容、关键问题等方面进行解读,并提出实施建议。
中国教育和科研计算机网等16家教育单位入选IPv6技术创新和融合应用试点名单。安徽调整教育网信领导小组组成人员。
哥国总统称攻击者试图破坏国家稳定。
AI算法是消费信贷业务数字化解决方案的核心,覆盖了客户消费信贷旅程的各个节点。
本文从网络协议层面总结分析各类隐蔽隧道恶意加密流量的特征,提出了基于机器学习的隐蔽隧道恶意加密流量检测识别方法,设计并建立DNS流量识别模型和TLS流量识别模型。
该法案将建立起能源网络安全大学领导力计划,为从事网络安全与能源基础设施研究的研究生及博后研究员提供助学金和财政援助。
安全专家总结整理了目前SIEM系统的5大应用挑战与解决方法,以帮助企业更好地开展安全运营感知工作。
本文首先介绍端到端加密技术,再总结 E2EE 环境下的内容审核技术进展。
元宇宙的安全和隐私需要元宇宙的参与者们对于元宇宙的各个层级和各个应用场景有更加深刻的理解。
应用安全测试工具市场已经进入成熟期,本文将介绍9个国外顶级的SAST和DAST工具。
数据本身并不产生价值,只有在开放共享的数据流动过程中,合理应用大数据才能充分体现它的巨大社会价值。
美国空军必须改变目前的大型集中式联盟空天作战中心模式,迅速发展一套更为灵活、更为分散的流程和指挥控制架构。
REvil并没有完全被毁灭,其源代码仍然在各个犯罪团伙中传递,未来也将会出现新版本的迭代。
它对于了解空间领域不断变化的性质以及监测空间和反空间武器的趋势至关重要。
2021年业界共检测发布了20175个新漏洞。
本文结合《“十四五”数字经济发展规划》对“数字化转型”的指引及当前数据安全产业现状,归纳现有数据安全防御难点、预判未来数据安全防御能力建设风险。
恶意软件检测一直是网络安全学术界和工业界长期致力于解决的关键问题。
企业应如何构建自动化的多云安全防护能力?以下收集整理了多位安全专家、机构给出的建议。
微信公众号