A formal analysis method for composition protocol based on model checking
Crossref DOI link: https://doi.org/10.1038/s41598-022-12448-2
Published Online: 2022-05-19
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Xiao, Meihua
Zhao, Hanyu
Yang, Ke
Ouyang, Ri
Song, Weiwei
Text and Data Mining valid from 2022-05-19
Version of Record valid from 2022-05-19
Article History
Received: 26 January 2022
Accepted: 11 May 2022
First Online: 19 May 2022
Competing Interests
: The authors declare no competing interests.