Login / Signup
Shengjun Lin
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 3
Top Topics
Pspace Complete
Artificial Immune Algorithm
Formal Verification
Model Checking
Top Venues
ICAIS (2)
SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta
</>
Publications
</>
Jiangyuan Yao
,
Chunxiang Xu
,
Deshun Li
,
Shengjun Lin
,
Xingcan Cao
Formal Verification of Security Protocols: ProVerif and Extensions.
ICAIS (2)
(2022)
Jiangyuan Yao
,
Shengjun Lin
,
Jiawen Wang
,
Deshun Li
,
Qiuling Yang
,
Changshuai Wang
,
Xiaobin Wang
Model Checking of Software-Defined Networking for Multiple Applications.
SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta
(2022)
Jiangyuan Yao
,
Shengjun Lin
,
Chunxiang Xu
,
Min Jing
,
Deshun Li
,
Minrui Wang
,
Xingcan Cao
Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined Networks.
ICAIS (2)
(2022)