本文从科研的角度就人工智能治理很具体的安全问题,介绍一点复旦大学的工作和相关的技术发展现状。
软件工厂将使作战单位能够更快地采取行动,并减轻多域作战中固有的不可预见的风险。
本文为何积丰院士在2020世界人工智能大会云端峰会治理论坛上的演讲报告。
筑起网络安全的“人防”工事,形成网络安全防线的闭环。
本文基于对智能合约存在的重入漏洞、整数溢出漏洞、拒绝服务攻击漏洞和时间戳依赖漏洞等安全漏洞进行的总结分析,提出了针对智能合约漏洞的形式化验证、符号执行、静态分析...
业内人士认为,随着奇安信等行业头部企业登陆A股,国内网络安全新赛道已开启,行业将加速洗牌,在资本市场力量加持下,小规模、零散化、同质化的行业发展模式有望被进一步...
当前勒索软件攻击在技术手段、对抗溯源、目标选择、勒索策略等方面显示出越来越强的针对性,特别是一些专门针对工业控制系统的勒索软件不断被曝光,这种动向应该引起网络安...
新型基础设施以数据和网络为核心,发展前提是用主动免疫的可信计算筑牢安全防线。
最强大的网络安全公司是市值最高的公司吗?是安全产品线最全的公司吗?是知名度最高的安全公司吗?
目前甲方安全面临的环境,形势都在发生巨变。网络安全法后,老板们普遍接受了网络安全干不好,自己会进去的观点。但回头检视公司安全团队后,觉得安全团队和负责人能力不够...
近期,新美国安全中心以独特“大国竞争”分析框架视角,对尚未批复的2021财年国防预算申请进行了系统分析。
深度神经网络(DNN)模型是否足够安全?快试试这个木马攻击模型TrojanNet。
美国海军计划在2020财年进一步加快赛博基线交付,改善整个舰队的赛博战备情况。
作者指出,政府必须采取更大,更大胆的举措,以加快新军事能力和作战概念的开发和采用,以维护美国军方的优势并巩固美国遏制大国冲突的能力。
隐私计算技术有可能成为解决大数据产业发展中数据流通不畅问题的关键。
本文共分4部分内容:可信计算3.0的基本概念和学习思路、重塑网络安全观、理解可信体系架构、在实际环境中应用可信3.0技术。
网络空间地理学将为实现网络安全综合防控建设和“挂图作战”提供有力支撑。
随着网上银行客户端的普及及运行环境的复杂提升,在传统身份认证硬件设备上新增多种认证方式,而网上银行系统客户端程序运行可信计算环境中一部分需要依赖于身份认证要素硬...
在多域战中,电磁频谱的控制至关重要。通过将机器学习技术与先进的电子战技术相结合,在实现频谱内的机动作战方面将迈出关键的第一步。
本文梳理区块链技术研究进展,并基于区块链技术构建了电力系统安全测评管理系统,为电力系统安全检测提供了一种有效解决方案。
微信公众号