区块链常见攻击场景的统计模型检测
计算机科学中的逻辑
2021-09-08 v1 软件工程
摘要
区块链技术在过去十年中取得了显著发展。其原因之一是它的可持续性架构不允许修改已提交交易的历史。这意味着开发者应在系统部署前考虑并消除区块链漏洞。在本文中，我们展示了一种用于验证区块链系统的统计模型检测方法，涵盖三种真实攻击场景。我们构建并验证了 DNS 攻击、结合内存池泛洪的双花攻击以及共识延迟场景的模型。此后，我们分析实验结果并提出避免此类攻击的解决方案。
引用
@article{arxiv.2109.02803,
title = {Statistical Model Checking of Common Attack Scenarios on Blockchain},
author = {Ivan Fedotov and Anton Khritankov},
journal= {arXiv preprint arXiv:2109.02803},
year = {2021}
}
备注
In Proceedings SCSS 2021, arXiv:2109.02501