Formal security analysis and improvement based on lontalk authentication protocol

HIGHLIGHTS

• who: Authentication, Protocol and Tao, Feng from the School of Computer and Communication, Lanzhou University of Technology, Lanzhou, China have published the paper: Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol, in the Journal: Security and Communication Networks of 12/07/2022
• what: In this study a formal analysis method based on colored Petri net theory and Dolev-Yao attacker model is adopted to analyze LonTalk and three types of attackable vulnerabilities including replay tamper and spoofing are found in LonTalk protocol; thus a secure LonTalk-SA is proposed. Aiming at the security . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.