Shengjun Lin

According to our database, Shengjun Lin authored at least 3 papers in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Model Checking of Software-Defined Networking for Multiple Applications.

Jiangyuan Yao, Shengjun Lin, Jiawen Wang, Deshun Li, Qiuling Yang, Changshuai Wang, Xiaobin Wang

Proceedings of the IEEE Smartworld, 2022

Formal Verification of Security Protocols: ProVerif and Extensions.

Jiangyuan Yao, Chunxiang Xu, Deshun Li, Shengjun Lin, Xingcan Cao

Proceedings of the Artificial Intelligence and Security - 8th International Conference, 2022

Review of Detection and Avoidance of Interference Among Multiple Applications in Software-Defined Networks.

Jiangyuan Yao, Shengjun Lin, Chunxiang Xu, Min Jing, Deshun Li, Minrui Wang, Xingcan Cao

Proceedings of the Artificial Intelligence and Security - 8th International Conference, 2022