通信学报2021，Vol.42Issue(9)：75-86,12.DOI:10.11959/j.issn.1000−436x.2021169
基于运行时验证的边缘服务器DoS攻击检测方法
Runtime verification approach for DoS attack detection in edge servers
摘要
关键词
边缘计算/边缘服务器/命题投影时序逻辑/拒绝服务攻击/运行时验证分类
信息技术与安全科学引用本文复制引用
于斌,张南,陆旭,段振华,田聪..基于运行时验证的边缘服务器DoS攻击检测方法[J].通信学报,2021,42(9):75-86,12.基金项目
国家重点研发计划基金资助项目(No.2018AAA0103202) （No.2018AAA0103202）
国家自然科学基金资助项目(No.61732013,No.61806158) （No.61732013,No.61806158）
中央高校基本科研业务费专项资金资助项目(No.XJS210305) （No.XJS210305）
陕西省自然科学基础研究计划基金资助项目(No.2021JQ-208) （No.2021JQ-208）
