Yuan Fei

31 papers A 1B 1C 11Misc 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2024 J jnl
An architecture refactoring approach to reducing software hierarchy complexity.
J. Softw. Evol. Process.
Yongxin Zhao, Wenhan Wu, Yuan Fei, Zhihao Liu, Yang Li, Yilong Yang, Ling Shi, Bo Zhang
2024 J jnl
FVF-BIoT: a formal verification framework for blockchain-based IoT authentication.
Softw. Qual. J.
Jiaqi Yin, Yuan Fei
2023 J jnl
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT.
Formal Aspects Comput.
Yuan Fei, Huibiao Zhu, Jiaqi Yin
2023 C conf
Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.
SEKE
Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu
2023 J jnl
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.
J. Softw. Evol. Process.
Yuan Fei, Huibiao Zhu, Jiaqi Yin
2022 J jnl
Modeling and verifying NDN-based IoV using CSP.
J. Softw. Evol. Process.
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu
2021 Misc conf
Formal Modelling and Verification of the RTPS Behavior Module.
TASE
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu
2021 B conf
Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata.
TrustCom
Jiaqi Yin, Huibiao Zhu, Yuan Fei
2021 J jnl
Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing.
Mob. Networks Appl.
Jiaqi Yin, Huibiao Zhu, Yuan Fei
2021 A conf
SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing.
DATE
Jiaqi Yin, Huibiao Zhu, Yuan Fei
2020 C conf
Formal Modelling and Verification of MCAC Router Architecture in ICN.
SEKE
Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
2020 C conf
Formalization and Verification of VANET.
SEKE
Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
2020 C conf
Modeling and Verifying Data Access Mechanism of NLSR Trust Model.
APSEC
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
2020 C conf
Modeling and Verifying NDN-based IoV Using CSP.
SEKE
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei
2020 J jnl
Security Analysis of the Access Control Solution of NDN Using BAN Logic.
Mob. Networks Appl.
Yuan Fei, Huibiao Zhu, Phan Cong Vinh
2020 J jnl
Specification and Verification of the Zab Protocol with TLA+.
J. Comput. Sci. Technol.
Jiaqi Yin, Huibiao Zhu, Yuan Fei
2019 C conf
A Security Calculus for Wireless Networks of Named Data Networking.
ICFEM
Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
2019 C conf
Formalization and Verification of RTPS StatefulWriter Module Using CSP.
SEKE
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu
2019 J jnl
Formalization and Verification of TESAC Using CSP.
Int. J. Softw. Eng. Knowl. Eng.
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
2019 — conf
Modeling and Verifying Spark on YARN Using Process Algebra.
HASE
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang
2019 C conf
Modeling and Verifying TESAC Using CSP.
SEKE
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
2018 J jnl
Comparative modelling and verification of Pthreads and Dthreads.
J. Softw. Evol. Process.
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin
2018 C conf
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.
SEKE
Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao
2018 J jnl
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.
Int. J. Softw. Eng. Knowl. Eng.
Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei
2018 Misc conf
Modeling and Verification of NLSR Protocol using UPPAAL.
TASE
Yuan Fei, Huibiao Zhu, Xin Li
2018 C conf
Modeling and Verifying NDN Access Control Using CSP.
ICFEM
Yuan Fei, Huibiao Zhu
2018 — conf
Modeling and analysis of the disruptor framework in CSP.
CCWC
Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei
2018 C conf
Security Analysis of the Access Control Solution of NDN Using BAN Logic (S).
SEKE
Yuan Fei, Huibiao Zhu, Huiwen Wang
2017 — conf
A Proof System for MDESL.
FedCSIS (Communication Papers)
Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei
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
2016 — conf
Comparative Modeling and Verification of Pthreads and Dthreads.
HASE
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang