Shuangqing Xiang

14 papers B 1C 1Misc 3Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).
J. Syst. Archit.
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
2021 Misc conf
Formal Analysis of 5G AKMA.
SETTA
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
2021 J jnl
Modeling and verifying SDN under Multi-controller architectures using CSP.
Concurr. Comput. Pract. Exp.
Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh
2020 J jnl
Formal analysis and verification of the PSTM architecture using CSP.
J. Syst. Softw.
Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang
2020 J jnl
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra.
Sci. Comput. Program.
Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang
2019 J jnl
Modeling and Verifying Basic Modules of Floodlight.
Mob. Networks Appl.
Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh
2019 C conf
PDNet: A Programming Language for Software-Defined Networks with VLAN.
ICFEM
Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu
2018 J jnl
A UTP approach for rTiMo.
Formal Aspects Comput.
Wanling Xie, Shuangqing Xiang, Huibiao Zhu
2018 Misc conf
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks.
TASE
Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie
2018 Misc conf
Modeling and verifying SDN with multiple controllers.
SAC
Lili Xiao, Shuangqing Xiang, Huibiao Zhu
2017 — conf
Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra.
COMPSAC (1)
Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie
2017 J jnl
Modeling and Verifying HDFS Using Process Algebra.
Mob. Networks Appl.
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh
2016 B conf
Modeling and Verifying HDFS Using CSP.
COMPSAC
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo
2016 — conf
UTP Semantics for rTiMo.
UTP
Wanling Xie, Shuangqing Xiang