•   Home
  • Proceedings
  • 12th Annual Meeting of China Association for Science and Tec...

12th Annual Meeting of China Association for Science and Technology on Information and Communication Technology and Smart Grid (AMCST 2010 E-BOOK)

Fuzhou,China,11.1-11.3，2010

ISBN: 978-1-935068-23-5 Scientific Research Publishing, USA

E-Book 660pp Pub. Date: November 2010

Category: Computer Science & Communications

Price: $120

Title: A New Logic for the Design of Authentication Protocol
Source: 12th Annual Meeting of China Association for Science and Technology on Information and Communication Technology and Smart Grid (AMCST 2010 E-BOOK) (pp 459-463)
Author(s): Jun-jie Zheng, Institute of meteorology, Liberation Army University of Science and Technology, Nanjing, China
Song Ye, Institute of meteorology, Liberation Army University of Science and Technology, Nanjing, China
Zhi-hua Liu, Institute of meteorology, Liberation Army University of Science and Technology, Nanjing, China
Ying Ma, Training department, Liberation Army University of Science and Technology, Nanjing, China
Jin-gang Ma, Institute of meteorology, Liberation Army University of Science and Technology, Nanjing, China
Abstract: It was a very difficult task for researchers to design the security protocol which satisfy the security goal. Nowadays the researchers are absorbed in the analysis and verification for security protocol’s safety property by using formal methods. A new logic using for the design of authentication protocol based on BAN and GNY logic was presented. The channel mechanism in PI calculus was introduced and the distributed system was described by this mechanism. The safety goal of Woo-Lam protocol was analyzed and the protocol was designed again by the new logic, the result shows that the logic was helpful to the design of security protocols.
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