CN109670302A - 一种基于svm的虚假数据注入攻击的分类方法 - Google Patents

一种基于svm的虚假数据注入攻击的分类方法 Download PDF

Info

Publication number
CN109670302A
CN109670302A CN201811554681.0A CN201811554681A CN109670302A CN 109670302 A CN109670302 A CN 109670302A CN 201811554681 A CN201811554681 A CN 201811554681A CN 109670302 A CN109670302 A CN 109670302A
Authority
CN
China
Prior art keywords
data
label
false
svm
characteristic
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN201811554681.0A
Other languages
English (en)
Other versions
CN109670302B (zh
Inventor
俞立
徐彬彬
周奇荣
洪榛
赵磊
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Zhejiang University of Technology ZJUT
Original Assignee
Zhejiang University of Technology ZJUT
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Zhejiang University of Technology ZJUT filed Critical Zhejiang University of Technology ZJUT
Priority to CN201811554681.0A priority Critical patent/CN109670302B/zh
Publication of CN109670302A publication Critical patent/CN109670302A/zh
Application granted granted Critical
Publication of CN109670302B publication Critical patent/CN109670302B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F18/00—Pattern recognition
    • G06F18/20—Analysing
    • G06F18/24—Classification techniques
    • G06F18/241—Classification techniques relating to the classification model, e.g. parametric or non-parametric approaches
    • G06F18/2411—Classification techniques relating to the classification model, e.g. parametric or non-parametric approaches based on the proximity to a decision surface, e.g. support vector machines

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • Software Systems (AREA)
  • Computer Security & Cryptography (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Bioinformatics & Cheminformatics (AREA)
  • Evolutionary Computation (AREA)
  • Evolutionary Biology (AREA)
  • Computer Vision & Pattern Recognition (AREA)
  • Bioinformatics & Computational Biology (AREA)
  • Artificial Intelligence (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Computer Hardware Design (AREA)
  • Data Exchanges In Wide-Area Networks (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

一种基于SVM的虚假数据注入攻击的分类方法，包括以下步骤：第一步，提取特征数据，从网络化倒立摆系统中采集所需的特征数据；第二步，获取虚假数据，定义所注入的虚假数据的形式，并为虚假数据附上false_label为‑1的标签；第三步，获取测试集与训练集的数据，继续构建数据集，为正常数据附上label为1的标签，将上述数据整合，得到所需训练集和测试集；第四步，通过SVM训练得到模型，最后计算分类的准确率。本发明在对初始数据进行获取后，采用了SVM进行分类，运行速度快，误差小，效率高，很好地解决了网络攻击中虚假数据注入对信息物理系统的影响。

Description

一种基于SVM的虚假数据注入攻击的分类方法
技术领域
本发明属于网络安全领域，涉及到一种SVM分类方法和基于以太网的网络化倒立摆实验平台。
背景技术
随着科技的逐步发展，信息物理系统(即CPS)的类型越来越多样化，影响着我们的生产生活。例如：电网、工业控制系统、交通系统、医疗设备、家用电器等。但是，随着CPS与外部网络的连接越密切，使得该系统的漏洞增多，即可受到外部的攻击方式增多。漏洞产生的原因有多种，例如：零日漏洞，即被发现后立即被恶意利用的安全漏洞；设备的使用者的安全意识不足，不能及时地安装安全补丁；很多工控网络都属于“裸奔”状态，极易受到外部入侵。
近些年，国际上发生了很多网络攻击的大事件，如：第一次真正意义上的网络攻击，2010年，震网病毒入侵伊朗核电站，使得设备功能瘫痪，无法正常运行；2015年，乌克兰某些地区的电力系统遭受了网络攻击，造成大面积的停电事故，对人们生活造成极大影响。
从上述例子中，可以看出，如今的网络安全并不只是个人的信息安全，而是影响到社会公共设施安全，甚至影响到国家的安全。因此，网络安全逐渐受到研究人员的高度重视，攻击者与防御者之间相互的博弈拉开序幕。在软件层面上，传统的IT防护网络注重网络层的数据安全，然而忽略了物理属性，即忽略了有关系统物理状态的重要信息。而在工控网络中，一旦传输的信息受到篡改，通过控制反馈后，会对物理设备产生影响。由于工控网络的脆弱性，攻击者容易侵入网络内部，利用嗅探工具，监听工控系统中的通信数据，进而得到系统的状态模型。此时，攻击者可以对系统进行不同类型的攻击，如：虚假数据注入、几何攻击、浪涌攻击等。作为防御者，针对不同的攻击，需要做出相应的措施区分和识别，这样有利于提高系统的安全能力。
网络化倒立摆系统具有CPS的基本特点，可以通过远程网络控制倒立摆的运动行为。对网络化倒立摆系统的攻击是CPS攻击的缩影。
发明内容
为了克服虚假信息注入对网络工业设备稳定性的影响，本发明提供了一种基于SVM的虚假数据注入攻击的分类方法，以倒立摆系统的反馈输出为样本，能够有效地将掺杂在正确数据中的虚假数据进行区分。
为达到上述效果，本发明采用的技术方案如下：
一种基于SVM的虚假数据注入攻击的分类方法，包括以下步骤：
步骤1，特征数据的提取：使用UDP/IP协议通讯，采集网络化倒立摆系统在正常状态下运行的特征数据，所述特征数据包括小车的位移、速度，摆杆的角度以及角速度，定义该四个数据量为一组特征向量；
步骤2，虚假数据的定义：从所述特征数据中抽取部分，定义所注入的虚假信息数据为
其中e(t)为均值为0，方差为1的高斯白噪声；y是正常运行下的特征数据；ε，μ为自定义的常数，定义该组为虚假攻击产生的数据集，并且在每组篡改的特征向量前附上false_label为-1的标签；
步骤3，训练集与测试集的获取：在其余采集数据的每组特征向量前附上label为1的标签，定义为正常的数据集；与步骤2中的数据整合，记为训练集train_data_inst，标签为label和false_label的组合，记为train_data_label。定义每组特征向量与其标签的组合为一个样本。记数据集为m*n的矩阵，m表示样本的总个数，n表示样本的特征维数。重新获取设备正常运行的特征数据，随机抽取部分数据，作为测试集标签为1的样本集合M；随机抽取等量的另一部分数据，更改公式(1)中的ε，μ取值，注入虚假数据，作为测试标签为-1的样本集合N。整合样本，获得测试集test_data_inst及其标签test_data_label；
步骤4，使用SVM建模：为区分虚假数据与正常数据进行，引入SVM，通过对训练集数据的训练获取模型；
步骤5，计算分类准确率：测试集数据经过模型的预测后，得到预测的标签，将预测标签与测试集标签进行判别，提取正确分类的标签数，将其与标签总数比较，求得分类的准确率，即：
其中，Accuracy为准确率，Right_Predict为正确分类的标签数，testdata_num为标签总数。
进一步，所述步骤4中，SVM的运算过程为：
4.1数据集为m*n的矩阵，记xi为第i组特征向量，yi为第i组特征向量的标签，且yi∈{-1,1}；最终目标是求取一个超平面，将实验数据分类；
令超平面为：ωT·x+b＝0，其中ω为法向量，b为截距；
SVM原始优化问题为：
其中C为惩罚参数，ξi为松弛变量。
构建拉格朗日函数，转化为对偶问题：
其中α为引入的拉格朗日算子；为核函数，为从n维空间到另一维度空间的映射，根据实验需求选择合适的核函数；
4.2根据关系式：
求出ω，得到决策函数：
其中，sign为取计算结果的正负符号，最终所得的g(x)为预测的标签。
再进一步，所述步骤1中，倒立摆系统采用基于爱克曼公式的状态反馈控制方法：
假设系统是状态完全能控的，给定的闭环极点为η1,η2,η3,...,ηm，利用线性状态反馈控制器u＝-Kx，可得闭环系统状态方程为
其中，A，B为已知的常数矩阵，K为所求状态反馈矩阵，x为系统状态矩阵；
令根据极点配置要求，K需满足
其中，η为对应的特征值，b为计算中所得的常数项；
由凯莱-哈密尔顿定理，应满足特征方程，即
将公式(9)推广到m阶的单输入系统，得
K＝[0 0 ... 0 1][B AB .... Am-1 B]-1φ(A) (10)
其中，φ(η)是期望的闭环特征多项式。
本发明的有益效果主要表现在：在对初始数据进行获取后，采用了SVM进行分类，运行速度快，误差小，效率高，很好地解决了网络攻击中虚假数据注入对信息物理系统的影响。
附图说明
图1为基于SVM的虚假数据注入攻击的分类方法的实验流程图。
图2为基于SVM的虚假数据注入攻击的分类方法的部分特征数据展示图。
图3为基于SVM的虚假数据注入攻击的分类方法的数据分析图。
图4为基于SVM的虚假数据注入攻击的分类方法的效果比较图。
具体实施方式
为了使本发明的技术方案、设计思路能更加清晰，下面结合附图再进行详尽的描述。
参照图1～图4，一种基于SVM的虚假数据注入攻击的分类方法，包括以下步骤：
步骤1：特征数据的获取：实验平台主要使用网络化控制倒立摆平台，与倒立摆直接相连的控制端为服务器端，远程控制端为客户端，两者通过UDP/IP进行通讯，控制方法为艾克曼方法；
倒立摆系统的状态空间模型为：
其中x为小车位移，为小车速度，为小车加速度；θ为摆杆的角度，为摆杆的角速度，为摆杆的角加速度，式(1)中的A，B各为式(11)中前后的两个常数矩阵；
给定期望闭环极点为[-2,-3,-4+3i,-4-3i]。经运算，可得状态反馈增益矩阵K值为K＝[-5.0505-5.824 35.2502 6.2750] (12)
采集的部分数据如图2所示，其中，从左置右依次为小车的位移、速度，摆杆的角度、角速度；此四项为数据集的四个特征数据；
步骤2，虚假数据的定义：从采集的多组数据中取出四组，其中每组数据含有1000行特征向量，每行含有4个特征数据。添加不同的高斯白噪声，即ε，u不同，如：0.2*e(t)-0.1，即产生-0.1～0.1之间的白噪声。这些数据记为标签为-1的虚假数据，即训练集中虚假数据，共4000组特征向量；同理，取出700组数据，添加虚假数据：记为测试集的虚假数据；
步骤3，训练集与测试集的获取：对上述的数据进行整理，在其余数据中每组特征向量前附上label为1的标签，定义该组为正常的数据集，训练集数据总共有9701组，其中虚假数据4000组。测试集数据共有1400组，虚假数据与正常数据各占700组；
步骤4，使用SVM建模：调用libsvm库，首先选择合适的核函数，由于样本的特征维度不高，样本的数量适量，故选择径向基函数。径向基函数可以将样本映射到一个更高维的空间，其形式为：
其中δ的大小影响实验的分类准确率，若δ过大，则无法在训练中得到好的模型；若δ太小，容易产生过拟合现象；如果实验样本xi,xj相近时，核函数值为1；相差很大时，核函数值近似为0；
4.1交叉验证获取最优参数c与g，其中c为惩罚参数；g为核函数中的λ，将原始数据进行分组，一部分作为训练集，另一部分作为验证集，首先通过训练集的训练得到模型，再利用验证集来测试训练得到的模型，以此证明模型的准确性，准确性最高时的c与g即为最优的，根据上述的训练集train_data_inst和标签train_data_label，在MATLAB中调试的结果为c＝0.25，g＝2，数据归一化虽然很重要，但是经过多次测试，将数据单纯的归一化后，c和g的取值过大，容易造成过拟合，故未进行归一化处理；
4.2设置标签类1和标签类-1的权重，由于训练集中虚假数据的数量较少，可适当增大其权重，所以设置标签1与-1的权重各为1和1.8；其余参数默认，进行训练与预测；
步骤5，分类准确率计算：最后实验的效果如图3所示，准确率超过了98％，正常数据的辨认为100％，说明实验具有较好的分类能力。
与常用的机器学习方法，如KNN、决策树进行比较，结果对比如图4所示。可看出支持向量机效果最好，决策树其次，KNN的准确率较低，耗时最长。
KNN的设计思想简单，能够用于非线性分类，但是计算量大，需要计算出每一个测试样本与所有的训练集样本的欧氏距离，找到距离最近的k个点，表决出类别，耗时长，并且当样本分布分散不均匀时，预测的类别准确度较低，基本不具备学习能力；决策树计算简单，在处理不相关特征上有较好的效果，但是容易发生过拟合现象，在实验中，能够实现分类功能，效果较好；支持向量机能够通过核函数将线性不可分的样本映射到维度更高的特征空间中，实现线性可分，适用于二分类。本次实验就是将虚假信息与正常信息区分的二分类情况，SVM具有很好的分类效果。

Claims (3)

1.一种基于SVM的虚假数据注入攻击的分类方法，其特征在于，所述方法包括以下步骤：
步骤1，特征数据的提取：使用UDP/IP协议通讯，采集网络化倒立摆系统在正常状态下运行的特征数据，所述特征数据包括小车的位移、速度，摆杆的角度以及角速度，定义该四个数据量为一组特征向量；
步骤2，虚假数据的定义：从所述特征数据中抽取部分，定义所注入的虚假信息数据为
其中e(t)为均值为0，方差为1的高斯白噪声；y是正常运行下的特征数据；ε，μ为自定义的常数；定义该组为虚假攻击产生的数据集，并且在每组篡改的特征向量前附上false_label为-1的标签；
步骤3，训练集与测试集的获取：在其余采集数据的每组特征向量前附上label为1的标签，并定义为正常的数据集；与步骤2中的数据整合，记为训练集train_data_inst，标签为label和false_label的组合，记为train_data_label，定义每组特征向量与其标签的组合为一个样本，记数据集为m*n的矩阵，m表示样本总个数，n表示样本的特征维数，重新获取设备正常运行的数据，随机抽取部分，作为测试集标签为1的样本集合M；随机抽取等量的另一部分数据，更改公式(1)中的ε，μ取值，注入虚假数据，作为测试标签为-1的样本集合N，整合样本，获得测试集test_data_inst及其标签test_data_label；
步骤4，通过训练得到模型：为区分虚假数据与正常数据，引入支持向量机，即SVM，通过对训练集数据的训练获取模型；
步骤5，计算分类准确率：测试集数据经过模型的预测后，得到预测的标签，将预测标签与测试集标签进行判别，提取正确分类的标签数，将其与标签总数比较，求得分类的准确率，即：
其中，Accuracy为准确率，Right_Predict为正确分类的标签数，testdata_num为标签总数。
2.如权利要求1所述的一种基于SVM的虚假数据注入攻击的分类方法，其特征在于：所述步骤4中，SVM的运算过程为：
4.1)数据集为m*n的矩阵，记xi为第i组特征向量，yi为第i组特征向量的标签，且yi∈{-1,1}；最终目标是求取一个超平面，将实验数据分类；
令超平面为：ωT·x+b＝0，其中ω为法向量；b为截距；
SVM原始优化问题为：
其中C为惩罚参数，ξi为松弛变量；
构建拉格朗日函数，转化为对偶问题：
其中，αi为引入的拉格朗日算子；为核函数，为从n维空间到另一维度空间的映射，根据实验需求选择合适的核函数；
4.2)根据关系式：
求出ω，得到决策函数：
其中，sign为取计算结果的正负符号，最终所得的g(x)为预测的标签。
3.如权利要求1或2所述的一种基于SVM的虚假数据注入攻击的分类方法，其特征在于：所述步骤1中，所述倒立摆系统采用基于爱克曼公式的状态反馈控制方法：
假设系统是状态完全能控的，给定的闭环极点为η1,η2,η3,...,ηm，利用线性状态反馈控制器u＝-Kx，得闭环系统状态方程为
其中，A，B为已知的常数矩阵，K为所求的状态反馈矩阵，x为系统状态矩阵；
令根据极点配置要求，K需满足
其中，η为对应的特征值，b为计算中所得的常数项；
由凯莱-哈密尔顿定理可知，需满足如下特征方程：
将公式(9)推广到m阶的单输入系统，得
K＝[0 0 ... 0 1][B AB .... Am-1 B]-1φ(A) (10)
其中，φ(η)是期望的闭环特征多项式。
CN201811554681.0A 2018-12-19 2018-12-19 一种基于svm的虚假数据注入攻击的分类方法 Active CN109670302B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811554681.0A CN109670302B (zh) 2018-12-19 2018-12-19 一种基于svm的虚假数据注入攻击的分类方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811554681.0A CN109670302B (zh) 2018-12-19 2018-12-19 一种基于svm的虚假数据注入攻击的分类方法

Publications (2)

Publication Number Publication Date
CN109670302A true CN109670302A (zh) 2019-04-23
CN109670302B CN109670302B (zh) 2023-04-18

Family

ID=66144034

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811554681.0A Active CN109670302B (zh) 2018-12-19 2018-12-19 一种基于svm的虚假数据注入攻击的分类方法

Country Status (1)

Country Link
CN (1) CN109670302B (zh)

Cited By (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110287447A (zh) * 2019-06-18 2019-09-27 浙江工业大学 一种基于单类支持向量机的网络化多轴运动控制系统正弦攻击检测方法
CN110765454A (zh) * 2019-10-22 2020-02-07 深圳大学 一种电力系统的运行状态重构方法及终端
CN110808968A (zh) * 2019-10-25 2020-02-18 新华三信息安全技术有限公司 网络攻击检测方法、装置、电子设备和可读存储介质
CN111680742A (zh) * 2020-06-04 2020-09-18 甘肃电力科学研究院 一种应用于新能源厂站网络安全领域的攻击数据标注方法
CN111708350A (zh) * 2020-06-17 2020-09-25 华北电力大学（保定） 一种工业控制系统隐蔽性虚假数据注入攻击方法
CN115277079A (zh) * 2022-06-22 2022-11-01 国网河南省电力公司信息通信公司 一种电力终端信息攻击监测方法和系统
CN118199918A (zh) * 2024-01-31 2024-06-14 中国矿业大学 一种基于ros环境下网联机器人的网络攻击系统

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108196448A (zh) * 2017-12-25 2018-06-22 北京理工大学 基于不精确数学模型的虚假数据注入攻击方法
CN108462711A (zh) * 2018-03-22 2018-08-28 江南大学 一种余弦时变pso-svm的入侵检测方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108196448A (zh) * 2017-12-25 2018-06-22 北京理工大学 基于不精确数学模型的虚假数据注入攻击方法
CN108462711A (zh) * 2018-03-22 2018-08-28 江南大学 一种余弦时变pso-svm的入侵检测方法

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
李睿君: "《基于差分演化算法的控制系统状态反馈涉及解耦控制》", 《中国优秀硕士学位论文全文数据库》 *
李雅洁: "《智能电网邻域网入侵检测技术研究与实现》", 《中国优秀硕士学位论文全文数据库》 *

Cited By (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110287447A (zh) * 2019-06-18 2019-09-27 浙江工业大学 一种基于单类支持向量机的网络化多轴运动控制系统正弦攻击检测方法
CN110765454A (zh) * 2019-10-22 2020-02-07 深圳大学 一种电力系统的运行状态重构方法及终端
CN110765454B (zh) * 2019-10-22 2021-12-14 深圳大学 一种电力系统的运行状态重构方法及终端
CN110808968A (zh) * 2019-10-25 2020-02-18 新华三信息安全技术有限公司 网络攻击检测方法、装置、电子设备和可读存储介质
CN111680742A (zh) * 2020-06-04 2020-09-18 甘肃电力科学研究院 一种应用于新能源厂站网络安全领域的攻击数据标注方法
CN111708350A (zh) * 2020-06-17 2020-09-25 华北电力大学（保定） 一种工业控制系统隐蔽性虚假数据注入攻击方法
CN115277079A (zh) * 2022-06-22 2022-11-01 国网河南省电力公司信息通信公司 一种电力终端信息攻击监测方法和系统
CN115277079B (zh) * 2022-06-22 2023-11-24 国网河南省电力公司信息通信公司 一种电力终端信息攻击监测方法和系统
CN118199918A (zh) * 2024-01-31 2024-06-14 中国矿业大学 一种基于ros环境下网联机器人的网络攻击系统
CN118199918B (zh) * 2024-01-31 2024-08-20 中国矿业大学 一种基于ros环境下网联机器人的网络攻击系统

Also Published As

Publication number Publication date
CN109670302B (zh) 2023-04-18

Similar Documents

Publication Publication Date Title
CN109670302A (zh) 一种基于svm的虚假数据注入攻击的分类方法
Zhang et al. Network intrusion detection: Based on deep hierarchical network and original flow data
Wang et al. Review of android malware detection based on deep learning
Chen et al. Adversarial examples for cnn-based malware detectors
Dasgupta et al. Machine learning in cybersecurity: a comprehensive survey
Mohammadi et al. A comprehensive survey and taxonomy of the SVM-based intrusion detection systems
Rezvy et al. An efficient deep learning model for intrusion classification and prediction in 5G and IoT networks
Zhao et al. A review of computer vision methods in network security
Li et al. A hybrid malicious code detection method based on deep learning
Sharma et al. An improved network intrusion detection technique based on k-means clustering via Naïve bayes classification
Wang et al. Profiling program behavior for anomaly intrusion detection based on the transition and frequency property of computer audit data
Jia et al. Network intrusion detection based on IE-DBN model
Yan et al. A survey of adversarial attack and defense methods for malware classification in cyber security
Lu et al. An efficient communication intrusion detection scheme in AMI combining feature dimensionality reduction and improved LSTM
Folorunso et al. Ca-NIDS: A network intrusion detection system using combinatorial algorithm approach
Lu et al. Intrusion detection system based on evolving rules for wireless sensor networks
CN111581352B (zh) 基于可信度的互联网恶意域名检测方法
Sun et al. Android malware family classification based on deep learning of code images
Wang et al. Fcnn: An efficient intrusion detection method based on raw network traffic
Rieck Machine learning for application-layer intrusion detection
CN113904834A (zh) 基于机器学习的xss攻击检测方法
Wang et al. Profiling program and user behaviors for anomaly intrusion detection based on non-negative matrix factorization
Wang et al. A model based on hybrid support vector machine and self-organizing map for anomaly detection
Li et al. Anomaly detection of aviation data bus based on SAE and IMD
Zhong et al. RFG-HELAD: A Robust Fine-Grained Network Traffic Anomaly Detection Model Based on Heterogeneous Ensemble Learning

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant