This paper presents a novel adversary model specifically tailored to distributed systems, with the aim to asses the security of blockchain technologies. Building upon literature on adversarial assumptions and capabilities, we include classical notions of failure and communication models to classify and bind the use of adversarial actions. We focus on the effect of these actions on properties of distributed protocols. A significant effort of our research is the integration of this model into the Multi-Agent eXperimenter (MAX) framework. This integration enables realistic simulations of adversarial attacks on blockchain systems. In particular, we have simulated attacks violating a form of client-fairness on HyperLedger Fabric.

翻译：本文提出了一种专门针对分布式系统的新型对抗模型，旨在评估区块链技术的安全性。基于对抗性假设与能力的相关文献，我们纳入经典的失效模型与通信模型概念，以分类并约束对抗行为的应用范围。研究重点聚焦于这些行为对分布式协议属性的影响。本研究的核心成果之一是将该模型集成到多智能体实验平台（MAX）框架中。该集成使得对区块链系统的对抗攻击进行真实模拟成为可能。具体而言，我们已模拟了针对HyperLedger Fabric中某种客户端公平性破坏的攻击场景。