Vol. No.(), Paper ID 12310, 3 pages

DOI:

 

Formal Analysis of Authenticated Key Distribution Protocol Using Extended SVO Logic

 

Zhimeng Liu, Hui Fan, Yanli Feng, Yanli Zhao

 

School of Computer Science and Technology’, Shandong Institute of Business and Technology, Yantai, China, 264005
School of Computer Science and Technology’, Shandong Institute of Business and Technology, Yantai, China, 264005
School of Computer Science and Technology’, Shandong Institute of Business and Technology, Yantai, China, 264005
School of Computer Science and Technology’, Shandong Institute of Business and Technology, Yantai, China, 264005

 

Copyright © Zhimeng Liu, Hui Fan, Yanli Feng, Yanli Zhao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article


Copyright © 2025 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.