Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Yuan Fei
@article{DBLP:journals/fac/FeiZY23, author = {Yuan Fei and Huibiao Zhu and Jiaqi Yin}, title = {{FVF-AKA:} {A} Formal Verification Framework of {AKA} Protocols for Multi-server IoT}, journal = {Formal Aspects Comput.}, volume = {35}, number = {4}, pages = {21:1--21:36}, year = {2023}, url = {https://doi.org/10.1145/3599731}, doi = {10.1145/3599731}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fac/FeiZY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/FeiZY23, author = {Yuan Fei and Huibiao Zhu and Jiaqi Yin}, title = {Modeling and verifying {NLSR} protocol of {NDN} for {CPS} using {UPPAAL}}, journal = {J. Softw. Evol. Process.}, volume = {35}, number = {7}, year = {2023}, url = {https://doi.org/10.1002/smr.2384}, doi = {10.1002/SMR.2384}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/smr/FeiZY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/DuFCZ23, author = {Yingjia Du and Yuan Fei and Sini Chen and Huibiao Zhu}, editor = {Shi{-}Kuo Chang}, title = {Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using {CSP}}, booktitle = {The 35th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2023, {KSIR} Virtual Conference Center, USA, July 1-10, 2023}, pages = {404--409}, publisher = {{KSI} Research Inc.}, year = {2023}, url = {https://doi.org/10.18293/SEKE2023-172}, doi = {10.18293/SEKE2023-172}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/DuFCZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/ChenZYFXZ22, author = {Ningning Chen and Huibiao Zhu and Jiaqi Yin and Yuan Fei and Lili Xiao and Minghua Zhu}, title = {Modeling and verifying NDN-based IoV using {CSP}}, journal = {J. Softw. Evol. Process.}, volume = {34}, number = {10}, year = {2022}, url = {https://doi.org/10.1002/smr.2371}, doi = {10.1002/SMR.2371}, timestamp = {Tue, 18 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/smr/ChenZYFXZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/YinZF21, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei}, title = {Formal analysis and automated validation of privacy-preserving {AICE} protocol in mobile edge computing}, journal = {Mob. Networks Appl.}, volume = {26}, number = {6}, pages = {2258--2271}, year = {2021}, url = {https://doi.org/10.1007/s11036-021-01850-1}, doi = {10.1007/S11036-021-01850-1}, timestamp = {Thu, 24 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/monet/YinZF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/YinZF21, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei}, title = {{SC4MEC:} Automated Implementation of {A} Secure Hierarchical Calculus for Mobile Edge Computing}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2021, Grenoble, France, February 1-5, 2021}, pages = {990--993}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.23919/DATE51398.2021.9474184}, doi = {10.23919/DATE51398.2021.9474184}, timestamp = {Wed, 21 Jul 2021 10:04:34 +0200}, biburl = {https://dblp.org/rec/conf/date/YinZF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/YinZFX21, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei and Qiwen Xu}, title = {Formal Modelling and Verification of the {RTPS} Behavior Module}, booktitle = {International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2021, Shanghai, China, August 25-27, 2021}, pages = {127--134}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/TASE52547.2021.00028}, doi = {10.1109/TASE52547.2021.00028}, timestamp = {Mon, 11 Oct 2021 17:13:04 +0200}, biburl = {https://dblp.org/rec/conf/tase/YinZFX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/trustcom/YinZF21, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei}, title = {Formal Verification of HPS-based Master-Slave Scheme in {MEC} with Timed Automata}, booktitle = {20th {IEEE} International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2021, Shenyang, China, October 20-22, 2021}, pages = {68--75}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/TrustCom53373.2021.00027}, doi = {10.1109/TRUSTCOM53373.2021.00027}, timestamp = {Sun, 13 Mar 2022 10:52:35 +0100}, biburl = {https://dblp.org/rec/conf/trustcom/YinZF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/YinZF20, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei}, title = {Specification and Verification of the Zab Protocol with {TLA+}}, journal = {J. Comput. Sci. Technol.}, volume = {35}, number = {6}, pages = {1312--1323}, year = {2020}, url = {https://doi.org/10.1007/s11390-020-0538-7}, doi = {10.1007/S11390-020-0538-7}, timestamp = {Tue, 15 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/YinZF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/monet/FeiZV20, author = {Yuan Fei and Huibiao Zhu and Phan Cong Vinh}, title = {Security Analysis of the Access Control Solution of {NDN} Using {BAN} Logic}, journal = {Mob. Networks Appl.}, volume = {25}, number = {3}, pages = {1162--1173}, year = {2020}, url = {https://doi.org/10.1007/s11036-019-01435-z}, doi = {10.1007/S11036-019-01435-Z}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/monet/FeiZV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/ChenZFXY20, author = {Ningning Chen and Huibiao Zhu and Yuan Fei and Lili Xiao and Jiaqi Yin}, title = {Modeling and Verifying Data Access Mechanism of {NLSR} Trust Model}, booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore, December 1-4, 2020}, pages = {198--207}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/APSEC51365.2020.00028}, doi = {10.1109/APSEC51365.2020.00028}, timestamp = {Sat, 20 Mar 2021 14:55:58 +0100}, biburl = {https://dblp.org/rec/conf/apsec/ChenZFXY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhuXYFLL20, author = {Ran Li and Huibiao Zhu and Lili Xiao and Jiaqi Yin and Yuan Fei and Gang Lu}, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro}, title = {Formalization and Verification of {VANET}}, booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July 9-19, 2020}, pages = {1--6}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/SEKE2020-011}, doi = {10.18293/SEKE2020-011}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ZhuXYFLL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhuYXFC20, author = {Ningning Chen and Huibiao Zhu and Jiaqi Yin and Lili Xiao and Yuan Fei}, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro}, title = {Modeling and Verifying NDN-based IoV Using {CSP}}, booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July 9-19, 2020}, pages = {31--36}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/SEKE2020-066}, doi = {10.18293/SEKE2020-066}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ZhuYXFC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhuXYFLX20, author = {Junya Xu and Huibiao Zhu and Lili Xiao and Jiaqi Yin and Yuan Fei and Gang Lu}, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro}, title = {Formal Modelling and Verification of {MCAC} Router Architecture in {ICN}}, booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July 9-19, 2020}, pages = {222--227}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/SEKE2020-048}, doi = {10.18293/SEKE2020-048}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ZhuXYFLX20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/SunZFXLY19, author = {Dongzhen Sun and Huibiao Zhu and Yuan Fei and Lili Xiao and Gang Lu and Jiaqi Yin}, title = {Formalization and Verification of {TESAC} Using {CSP}}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {29}, number = {11{\&}12}, pages = {1741--1760}, year = {2019}, url = {https://doi.org/10.1142/S0218194019400199}, doi = {10.1142/S0218194019400199}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/SunZFXLY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/YinZFF19, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei and Yucheng Fang}, editor = {Dongjin Yu and Vu Nguyen and Congfeng Jiang}, title = {Modeling and Verifying Spark on {YARN} Using Process Algebra}, booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2019, Hangzhou, China, January 3-5, 2019}, pages = {208--215}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/HASE.2019.00039}, doi = {10.1109/HASE.2019.00039}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/hase/YinZFF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/FeiZSY19, author = {Yuan Fei and Huibiao Zhu and Haiying Sun and Jiaqi Yin}, editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin}, title = {A Security Calculus for Wireless Networks of Named Data Networking}, booktitle = {Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November 5-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11852}, pages = {170--185}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32409-4\_11}, doi = {10.1007/978-3-030-32409-4\_11}, timestamp = {Mon, 28 Oct 2019 17:04:46 +0100}, biburl = {https://dblp.org/rec/conf/icfem/FeiZSY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/YinZFXW19, author = {Jiaqi Yin and Huibiao Zhu and Yuan Fei and Qiwen Xu and Ruobiao Wu}, editor = {Angelo Perkusich}, title = {Formalization and Verification of {RTPS} StatefulWriter Module Using {CSP}}, booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019}, pages = {147--198}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/SEKE2019-060}, doi = {10.18293/SEKE2019-060}, timestamp = {Wed, 03 Feb 2021 08:31:37 +0100}, biburl = {https://dblp.org/rec/conf/seke/YinZFXW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/SunZFXLY19, author = {Dongzhen Sun and Huibiao Zhu and Yuan Fei and Lili Xiao and Gang Lu and Jiaqi Yin}, editor = {Angelo Perkusich}, title = {Modeling and Verifying {TESAC} Using {CSP}}, booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019}, pages = {265--348}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/SEKE2019-122}, doi = {10.18293/SEKE2019-122}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/SunZFXLY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/WangZXF18, author = {Huiwen Wang and Huibiao Zhu and Lili Xiao and Yuan Fei}, title = {Formalization and Verification of the OpenFlow Bundle Mechanism Using {CSP}}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {28}, number = {11-12}, pages = {1657--1677}, year = {2018}, url = {https://doi.org/10.1142/S0218194018400223}, doi = {10.1142/S0218194018400223}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/WangZXF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/smr/FeiZWFQ18, author = {Yuan Fei and Huibiao Zhu and Xi Wu and Huixing Fang and Shengchao Qin}, title = {Comparative modelling and verification of Pthreads and Dthreads}, journal = {J. Softw. Evol. Process.}, volume = {30}, number = {3}, year = {2018}, url = {https://doi.org/10.1002/smr.1919}, doi = {10.1002/SMR.1919}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/smr/FeiZWFQ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccwc/FangZZF18, author = {Yucheng Fang and Huibiao Zhu and Frank Zeyda and Yuan Fei}, title = {Modeling and analysis of the disruptor framework in {CSP}}, booktitle = {{IEEE} 8th Annual Computing and Communication Workshop and Conference, {CCWC} 2018, Las Vegas, NV, USA, January 8-10, 2018}, pages = {803--809}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/CCWC.2018.8301703}, doi = {10.1109/CCWC.2018.8301703}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ccwc/FangZZF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/FeiZ18, author = {Yuan Fei and Huibiao Zhu}, editor = {Jing Sun and Meng Sun}, title = {Modeling and Verifying {NDN} Access Control Using {CSP}}, booktitle = {Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11232}, pages = {143--159}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02450-5\_9}, doi = {10.1007/978-3-030-02450-5\_9}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/FeiZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/WangZFX18, author = {Huiwen Wang and Huibiao Zhu and Yuan Fei and Lili Xiao}, editor = {{\'{O}}scar Mort{\'{a}}gua Pereira}, title = {Formalization and Verification of the OpenFlow Bundle Mechanism Using {CSP}}, booktitle = {The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018}, pages = {169--168}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2018}, url = {https://doi.org/10.18293/SEKE2018-127}, doi = {10.18293/SEKE2018-127}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/WangZFX18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/FeiZW18, author = {Yuan Fei and Huibiao Zhu and Huiwen Wang}, editor = {{\'{O}}scar Mort{\'{a}}gua Pereira}, title = {Security Analysis of the Access Control Solution of {NDN} Using {BAN} Logic {(S)}}, booktitle = {The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018}, pages = {659--658}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2018}, url = {https://doi.org/10.18293/SEKE2018-124}, doi = {10.18293/SEKE2018-124}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/FeiZW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/FeiZL18, author = {Yuan Fei and Huibiao Zhu and Xin Li}, editor = {Jun Pang and Chenyi Zhang and Jifeng He and Jian Weng}, title = {Modeling and Verification of {NLSR} Protocol using {UPPAAL}}, booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering, {TASE} 2018, Guangzhou, China, August 29-31, 2018}, pages = {108--115}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/TASE.2018.00022}, doi = {10.1109/TASE.2018.00022}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/FeiZL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/LiuZFXLX17, author = {Ailun Liu and Huibiao Zhu and Yuan Fei and Shuangqing Xiang and Gang Lu and Wanling Xie}, editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung{-}Horng Lung and Hiroki Takakura and Ji{-}Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang and Kamrul Hasan}, title = {Modeling and Analysis of the Security Protocol in {C-DAX} Based on Process Algebra}, booktitle = {41st {IEEE} Annual Computer Software and Applications Conference, {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1}, pages = {39--44}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/COMPSAC.2017.170}, doi = {10.1109/COMPSAC.2017.170}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/LiuZFXLX17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fedcsis/LuXZF17, author = {Jianyu Lu and Wanling Xie and Huibiao Zhu and Yuan Fei}, editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki}, title = {A Proof System for {MDESL}}, booktitle = {Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017}, series = {Annals of Computer Science and Information Systems}, volume = {13}, pages = {387--393}, year = {2017}, url = {https://doi.org/10.15439/2017F400}, doi = {10.15439/2017F400}, timestamp = {Mon, 07 Aug 2023 11:27:09 +0200}, biburl = {https://dblp.org/rec/conf/fedcsis/LuXZF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/FeiZWF16, author = {Yuan Fei and Huibiao Zhu and Xi Wu and Huixing Fang}, editor = {Radu F. Babiceanu and H{\'{e}}l{\`{e}}ne Waeselynck and Raymond A. Paul and Bojan Cukic and Jie Xu}, title = {Comparative Modeling and Verification of Pthreads and Dthreads}, booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2016, Orlando, FL, USA, January 7-9, 2016}, pages = {132--140}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/HASE.2016.15}, doi = {10.1109/HASE.2016.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/FeiZWF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.