基于运行时验证的边缘服务器DoS攻击检测方法
Runtime verification approach for DoS attack detection in edge servers
- 通信学报 2021年42卷第9期 页码：75-86
- 作者机构：
西安电子科技大学计算机科学与技术学院，陕西 西安 710071
- 作者简介：
[ "于斌（1990− ），男，河南漯河人，博士，西安电子科技大学讲师，主要研究方向为模型检测、运行时验证" ]
[ "张南（1984− ），女，天津人，博士，西安电子科技大学副教授、博士生导师，主要研究方向为形式化验证、模型检测" ]
[ "陆旭（1985− ），男，河北承德人，博士，西安电子科技大学讲师，主要研究方向为可信软件、分离逻辑" ]
[ "段振华（1948− ），男，陕西咸阳人，博士，西安电子科技大学教授、博士生导师，主要研究方向为时序逻辑、形式化验证" ]
[ "田聪（1981− ），女，陕西合阳人，博士，西安电子科技大学教授、博士生导师，主要研究方向为形式化验证、模型检测" ]
- 基金信息：国家重点研发计划基金资助项目(2018AAA0103202);国家自然科学基金资助项目(61732013);国家自然科学基金资助项目(61806158);中央高校基本科研业务费专项资金资助项目(XJS210305);陕西省自然科学基础研究计划基金资助项目(2021JQ-208)
DOI：10.11959/j.issn.1000-436x.2021169
中图分类号： TN92-
网络首发：2021-09，
纸质出版：2021-09-25
- 稿件说明：
移动端阅览
于斌, 张南, 陆旭, 等. 基于运行时验证的边缘服务器DoS攻击检测方法[J]. 通信学报, 2021,42(9):75-86.
Bin YU, Nan ZHANG, Xu LU, et al. Runtime verification approach for DoS attack detection in edge servers[J]. Journal on Communications, 2021, 42(9): 75-86.
于斌, 张南, 陆旭, 等. 基于运行时验证的边缘服务器DoS攻击检测方法[J]. 通信学报, 2021,42(9):75-86. DOI： 10.11959/j.issn.1000-436x.2021169.
Bin YU, Nan ZHANG, Xu LU, et al. Runtime verification approach for DoS attack detection in edge servers[J]. Journal on Communications, 2021, 42(9): 75-86. DOI： 10.11959/j.issn.1000-436x.2021169.
摘要
针对边缘计算系统中边缘服务器面临的拒绝服务（DoS）攻击问题，提出了一种基于并行运行时验证的DoS攻击检测方法。首先，使用命题投影时序逻辑（PPTL）公式形式化描述边缘服务器预期行为和DoS攻击特征；进而，针对待验证PPTL公式，采用并行运行时验证框架，充分利用边缘服务器的计算与存储资源，对程序运行状态进行异常检测和误用检测。利用所提方法，对一个实际的基于边缘计算的点对点（P2P）网络智能停车系统进行模拟 DoS 攻击和攻击检测。对比实验表明，所提方法能够有效检测出边缘服务器异常行为和所受 DoS攻击类型。
Abstract
Aiming at the DoS (denial of service) attacks against edge servers in an edge computing system
a parallel runtime verification approach for DoS attack detection was proposed.First
PPTL (propositional projection temporal logic) formulas were utilized to formally describe expected behaviors of an edge server and DoS attack characteristics.Then
for the PPTL formulas to be verified
a parallel runtime verification framework was adopted to make use of the computing and storage resources of an edge server to conduct anomaly detection and misuse detection.The proposed attack detection approach was performed for an actual P2P (peer-to-peer) network based on smart parking system using edge computing which was supposed to suffer from a DoS attack.Experiments show that the proposed method can accurately and efficiently identify abnormal behaviors of edge servers and types of DoS attacks.
关键词
Keywords
references
PANG H H , TAN K L . Authenticating query results in edge computing [C ] // Proceedings of 20th International Conference on Data Engineering . Piscataway:IEEE Press , 2004 : 560 - 571 .
GEORGE G , THAMPI S M . Vulnerability-based risk assessment and mitigation strategies for edge devices in the Internet of Things [J ] . Pervasive and Mobile Computing , 2019 ,59:101068.
ROMAN R , LOPEZ J , MAMBO M . Mobile edge computing,fog et al.:a survey and analysis of security threats and challenges [J ] . Future Generation Computer Systems , 2018 , 78 : 680 - 698 .
SHIRAZI S N , GOUGLIDIS A , FARSHAD A , et al . The extended cloud:review and analysis of mobile edge computing and fog from a security and resilience perspective [J ] . IEEE Journal on Selected Areas in Communications , 2017 , 35 ( 11 ): 2586 - 2595 .
SHI W S , CAO J , ZHANG Q , et al . Edge computing:vision and challenges [J ] . IEEE Internet of Things Journal , 2016 , 3 ( 5 ): 637 - 646 .
MOUSTAFA N , HU J K , SLAY J . A holistic review of network anomaly detection systems:a comprehensive survey [J ] . Journal of Network and Computer Applications , 2019 , 128 : 33 - 55 .
AHMAD I . A survey on DDoS attacks in edge servers [D ] . Arlington:The University of Texas at Arlington , 2020 .
GAUTAM D , TOKEKAR V . An approach to analyze the impact of DDoS attack on mobile cloud computing [C ] // 2017 International Conference on Information,Communication,Instrumentation and Control . Piscataway:IEEE Press , 2017 : 1 - 6 .
CAPROLU M , DI PIETRO R , LOMBARDI F , et al . Edge computing perspectives:architectures,technologies,and open security issues [C ] // 2019 IEEE International Conference on Edge Computing . Piscataway:IEEE Press , 2019 : 116 - 123 .
SINGH J , BELLO Y , HUSSEIN A R , et al . Hierarchical security paradigm for IoT multiaccess edge computing [J ] . IEEE Internet of Things Journal , 2021 , 8 ( 7 ): 5794 - 5805 .
RAZA S , WALLGREN L , VOIGT T . SVELTE:real-time intrusion detection in the Internet of things [J ] . Ad Hoc Networks , 2013 , 11 ( 8 ): 2661 - 2674 .
MIDI D , RULLO A , MUDGERIKAR A , et al . Kalis—a system for knowledge-driven adaptable intrusion detection for the Internet of things [C ] // 2017 IEEE International Conference on Distributed Computing Systems . Piscataway:IEEE Press , 2017 : 656 - 666 .
HODO E , BELLEKENS X , HAMILTON A , et al . Threat analysis of IoT networks using artificial neural network intrusion detection system [C ] // 2016 International Symposium on Networks,Computers and Communications . Piscataway:IEEE Press , 2016 : 1 - 6 .
WANG Y , XIE L , LI W , et al . A privacy-preserving framework for collaborative intrusion detection networks through fog computing [C ] // 2017 International Symposium on Cyberspace Safety and Security . Berlin:Springer , 2017 : 267 - 279 .
MENG W Z , WANG Y , LI W J , et al . Enhancing intelligent alarm reduction for distributed intrusion detection systems via edge computing [C ] // 2018 Australasian Conference on Information Security and Privacy . Berlin:Springer , 2018 : 759 - 767 .
肖阳 , 白磊 , 王仙 . 基于朋友机制的移动ad hoc网络路由入侵检测模型研究 [J ] . 通信学报 , 2015 , 36 ( S1 ): 203 - 214 .
XIAO Y , BAI L , WANG X . Friends mechanism-based routing intrusion detection model for mobile ad hoc network [J ] . Journal on Communications , 2015 , 36 ( S1 ): 203 - 214 .
AN X S , ZHOU X W , LYU X , et al . Sample selected extreme learning machine based intrusion detection in fog computing and MEC [J ] . Wireless Communications and Mobile Computing , 2018 , 2018 : 1 - 10 .
LIN F H , ZHOU Y T , AN X S , et al . Fair resource allocation in an intrusion-detection system for edge computing:ensuring the security of Internet of things devices [J ] . IEEE Consumer Electronics Magazine , 2018 , 7 ( 6 ): 45 - 50 .
NALDURG P , SEN K , THATI P . A temporal logic based framework for intrusion detection [C ] // 2004 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) . Berlin:Springer , 2004 : 359 - 376 .
AHMED A , LISITSA A , DIXON C . TeStID:a high performance temporal intrusion detection system [C ] // International Symposium on Telecommunications . Piscataway:IEEE Press , 2013 : 20 - 26 .
AHMED A , LISITSA A , DIXON C . A misuse-based network intrusion detection system using temporal logic and stream processing [C ] // 2011 5th International Conference on Network and System Security . Piscataway:IEEE Press , 2011 : 1 - 8 .
DENG M L , CAO H L , ZHU W J , et al . Benchmark tests for the model-checking-based IDS algorithms [J ] . IEEE Access , 2019 , 7 : 135479 - 135498 .
OLIVAIN J , GOUBAULT-LARRECQ J ,, . The orchids intrusion detection tool [C ] // 2005 International Conference on Computer Aided Verification . Berlin:Springer , 2005 : 286 - 290 .
SUN Y , WU T , MA X Q , et al . Modeling and verifying EPC network intrusion system based on timed automata [J ] . Pervasive and Mobile Computing , 2015 , 24 : 61 - 76 .
PNUELI A , . The temporal logic of programs [C ] // 18th Annual Symposium on Foundations of Computer Science . Piscataway:IEEE Press , 1977 : 46 - 57 .
CLARKE E M , EMERSON E A . Design and synthesis of synchronization skeletons using branching time temporal logic [C ] // 1981 Workshop on Logic of Programs . Berlin:Springer , 1981 : 52 - 71 .
TIAN C , DUAN Z . Propositional projection temporal logic,büchi automata and ω-regular expressions [C ] // 2008 International Conference on Theory and Applications of Models of Computation . Berlin:Springer , 2008 : 47 - 58 .
DUAN Z . An extended interval temporal logic and a framing technique for temporal logic programming [D ] . Newcastle:Newcastle University , 1996 .
DUAN Z , TIAN C . A practical decision procedure for propositional projection temporal logic with infinite models [J ] . Theoretical Computer Science , 2014 , 554 : 169 - 190 .
张琛 , 段振华 , 田聪 . 基于事件确定有限自动机的 UML2.0 序列图描述与验证 [J ] . 软件学报 , 2011 , 22 ( 11 ): 2625 - 2638 .
ZHANG C , DUAN Z H , TIAN C . Specification and verification of UML2.0 sequence diagrams based on event deterministic finite automata [J ] . Journal of Software , 2011 , 22 ( 11 ): 2625 - 2638 .
SHEN H , ROBINSON M , NIU J . A logical framework for sequence diagram with combined fragments [R ] . 2011 .
ZHANG N , LU X , TIAN C , et al . P2P network based smart parking system using edge computing [J ] . Mobile Networks and Applications , 2020 , 25 ( 6 ): 2226 - 2239 .
0
浏览量
1455
下载量
0
CSCD
- 网络PDF下载
- XML下载
- Meta-XML下载
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
关联资源
相关文章
相关作者
相关机构
AI问答- 技术支持由北京北大方正电子有限公司提供 京ICP备09064830号-19
京公网安备11010802024621 - 本系统建议在Chrome、 IE9+ 以上版本浏览器阅读本站内容，360浏览器请切换至极速模式
- Cookies帮助我们提供服务并提供个性化体验。使用本网站，即表示您同意我们使用Cookies
- 总访问量：584097 今日访问量：1913