- 博客(2)
- 收藏
- 关注
RSS订阅原创 【论文阅读笔记】SDN控制器安全新解：形式化验证如何自动发现攻击漏洞？小白通俗万文解读
软件定义网络(SDN)作为一种新型网络架构，通过将网络控制平面与数据转发平面分离，实现了网络的集中化管理和灵活可编程。形式化验证作为一种基于数学证明的验证方法，正在成为SDN安全领域的关键解决方案，它能够系统性地发现控制器逻辑中的漏洞，从而有效防御各种攻击。本文将从一个不熟悉SDN领域的小白视角，通俗解读《 towards automated attack discovery in SDN controllers through formal verification 》这篇论文的核心内容。
2025-05-23 13:59:19
1457
1
原创 【论文阅读笔记】从零解读VulBG - 行为图模型赋能的深度学习漏洞检测框架
本文旨在通过入门小白视角全面解读论文《Enhancing Deep Learning-based Vulnerability Detection by Building Behavior Graph Model》，论文提出一种新的漏洞检测方法，通过构建行为图模型来增强基于深度学习的漏洞检测能力。VulBG方法通过程序切片和代码嵌入技术提取函数行为，利用聚类方法生成中心行为，并构建行为图来连接不同函数中的行为。该方法通过图嵌入技术将行为图转换为向量，与深度学习模型结合，提高了漏洞检测的准确性和泛化能力。
2025-05-20 17:09:18
1058
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人