Crossmark

Formal Analysis of SA-TEK 3-Way Handshake Protocols

Crossref DOI link: https://doi.org/10.1007/s12204-021-2340-2

Published Online: 2021-08-02

Published Print: 2023-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Xu, Sen

Yang, Shuo

Zhang, Kefei
License Information

Text and Data Mining valid from 2021-08-02

Version of Record valid from 2021-08-02
More Information

Article History

Received: 13 August 2020

Accepted: 8 January 2021

First Online: 2 August 2021