Runtime verification approach for DoS attack detection in edge servers

Runtime verification approach for DoS attack detection in edge servers

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 ed...

Full description

Saved in:
Bibliographic Details
Main Authors: Bin YU, Nan ZHANG, Xu LU, Zhenhua DUAN, Cong TIAN
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2021-09-01
Series:Tongxin xuebao
Subjects:
edge computing
edge server
propositional projection temporal logic
DoS attack
runtime verification
Online Access:http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2021169/
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2021169/

Similar Items