基本信息

---

下载

文档摘要

---

基于形式化方法的Linux缓冲区溢出检测技术深度剖析

一、引言

1.1研究背景与意义

在信息技术飞速发展的当下，网络安全已然成为关乎国家、企业和个人信息资产安全的核心议题。随着互联网的深度普及，各类网络攻击手段层出不穷，对信息系统的安全性造成了极大的威胁。根据中国信息通信研究院的数据，2021年中国数字经济规模达到7.1万亿美元，仅次于美国，位居世界第二，庞大的数字经济规模使得网络安全的重要性愈发凸显。与此同时，我国也是世界上遭受网络攻击最严重的国家之一，来自美国等境外的恶意攻击不断，从2018-2020年，位于美国的控制服务器对我国境内主机的控制数量连续三年呈增长态势，在所