ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1807.00669
26
3
v1v2v3v4v5v6v7 (latest)

Verifying Security Protocols using Dynamic Strategies

27 June 2018
Yan Xiong
Cheng Su
Wenchao Huang
Fuyou Miao
Wansen Wang
Hengyi Ouyang
ArXiv (abs)PDFHTML
Abstract

Current formal approaches have been successfully used to find design flaws in many security protocols. However, it is still challenging to automatically analyze protocols due to their large or infinite state spaces. In this paper, we propose a novel framework that can automatically verifying security protocols without any human intervention. Experimental results show that SmartVerif automatically verifies security protocols that cannot be automatically verified by existing approaches. The case studies also validate the effectiveness of our dynamic strategy.

View on arXiv
Comments on this paper