Login / Signup
Dongyan Ma
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Intrusion Detection System
Network Security
Situation Assessment
Bounded Model Checking
Top Venues
SmartCom
Mob. Networks Appl.
IEEE Access
</>
Publications
</>
Yuanzhang Li
,
Dongyan Ma
,
Chen Liu
,
Wencong Han
,
Hongwei Jiang
,
Jingjing Hu
An Efficient Bounded Model Checking Approach for Web Service Composition.
Mob. Networks Appl.
26 (4) (2021)
Jingjing Hu
,
Dongyan Ma
,
Chen Liu
,
Huaizhi Yan
,
Changzhen Hu
An Improved Prediction Model for the Network Security Situation.
SmartCom
(2019)
Jingjing Hu
,
Dongyan Ma
,
Chen Liu
,
Zhiyu Shi
,
Huaizhi Yan
,
Changzhen Hu
Network Security Situation Prediction Based on MR-SVM.
IEEE Access
7 (2019)