•   Home
  • Proceedings
  • Proceedings of the 14th Youth Conference on Communication (P...

Proceedings of the 14th Youth Conference on Communication (PYCC 2009 PAPERBACK)

Dalian,China,7.24-7.26,2009

ISBN: 978-1-935068-01-3 Scientific Research Publishing, USA

Paperback 960pp Pub. Date: October 2009

Category: Engineering

Price: $120

Title: Formal Analysis of Authenticated Key Distribution Protocol Using Extended SVO Logic
Source: Proceedings of the 14th Youth Conference on Communication (PYCC 2009 PAPERBACK) (pp 433-435)
Author(s): Zhimeng Liu, School of Computer Science and Technology’, Shandong Institute of Business and Technology, Yantai, China, 264005
Hui Fan, School of Computer Science and Technology’, Shandong Institute of Business and Technology, Yantai, China, 264005
Yanli Feng, School of Computer Science and Technology’, Shandong Institute of Business and Technology, Yantai, China, 264005
Yanli Zhao, School of Computer Science and Technology’, Shandong Institute of Business and Technology, Yantai, China, 264005
Abstract: Some new notions and approaches of SVO logic are introduced, which make it has some ability to analyze some authenticated key distribution protocols, and these new notions and axioms can be used to verifying the validity of certificate and the verity of its owners,. In the procedure of our formal derivation of security goals, some conclusions have been derived that Aydos et al.’s protocol can not resist attacks forward security and unkown key-share attack.
Proceedings by Subjects
Resources
Products
Contact us
book@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1243940697
Book Publishing WeChat
Follow SCIRP
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top