.png){kind=icon}
返回
A model checking-based framework for testing security properties of protocols under development
.png){kind=icon}
PRE
AI
DOI：10.1016/j.comnet.2025.111259.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
验证网络协议的安全性属性至关重要。大多数验证方法要么验证设计模型，要么测试实现。这两种技术通常分开应用。对于处于开发阶段的协议（PUDs），即仍在开发中且尚未作为最终版本发布的协议，其规范、实现甚至安全性属性都可能发生变化。仅使用验证或测试可能无法达到满意效果。本文提出了一种针对PUDs的安全性属性测试框架。遵循该框架，我们采用多轮迭代验证来应对不断变化的规范、实现和安全性属性。在每一轮中，我们结合验证和测试。我们采用模型检查器来促进设计模型的验证。然后，我们将验证结果转换为可执行测试用例，并测试原型实现。开发者可以修改规范、实现和安全性属性，随后进行下一轮验证。最终，他们可以获得一个同时通过验证和测试的协议版本。我们将该方法应用于两个PUDs案例研究：源地址验证改进（SAVI）和软件定义网络（SDN）的状态防火墙应用。我们的方法能够揭示不同开发版本中的漏洞。经过多轮验证、测试和改进后，开发者可以发布高质量的协议。
Keyword:
Protocols under development
Model checking
Protocol testing
Security properties
期刊
IF:
4.6
论文数:
1.8K
被引数:
1.6W
机构
引用论文
分享收藏Evolution of Software Testing Strategies and Trends: Semantic Content Analysis of Software Research Corpus of the Last 40 Years.png)
IEEE ACCESS
OAAI
IEEE ACCESSIF3.6
OAAI分享收藏分享收藏K-Step Crossover Method based on Genetic Algorithm for Test Suite Prioritization in Regression Testing基于遗传算法的K步交叉方法在回归测试中的测试套件优先级排序OAAI
OAAI分享收藏Functional Requirement-Based Test Case Prioritization in Regression Testing: A Systematic Literature Review基于功能需求的回归测试测试用例优先级排序：一项系统文献综述
PREAI
分享收藏Understanding Failures in Security Proofs of Multi-Factor Authentication for Mobile Devices了解移动设备多因素身份验证安全证明中的故障
PREAI
分享收藏分享收藏
查看更多内容