复杂混成系统的形式验证与控制合成

工具

查询更多基金项目 | 智能选刊推荐

中关村国家实验室其他项目

• AI大模型驱动的大规模流量工程与网络规划关键技术研究（国自然，刘辰屹，2025）
• 基于因果推理的勒索软件攻击链解构与动态检测方法研究（国自然，刘陈，2025）
• 去中心化的高可靠高可信RPKI路由验证体系研究（国自然，张佳，2025）
• 跨模态协同表达模式引导的认知增强内容生成（国自然，张守龙，2025）
• 云化域名系统资源边界穿透风险检测（国自然，张明明，2025）
• 针对主流操作系统DMA攻击的实时监测与阻断关键技术研究（国自然，李媛，2025）
• 实用化安全多方计算设计理论研究（国自然，李帅帅，2025）
• 面向对抗攻击场景的恶意加密流量鲁棒检测关键技术研究（国自然，殷其雷，2025）