Automated Attacker Synthesis for Distributed Protocols
| Autor: | Cole Vick, Cristina Nita-Rotaru, Max von Hippel, Stavros Tripakis |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
business.industry
Computer science Interface (Java) 0102 computer and information sciences 02 engineering and technology Network topology 01 natural sciences 020202 computer hardware & architecture 010201 computation theory & mathematics Packet loss Threat model 0202 electrical engineering electronic engineering information engineering business Protocol (object-oriented programming) Computer network |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030545482 SAFECOMP |
| DOI: | 10.1007/978-3-030-54549-9_9 |
| Popis: | Distributed protocols should be robust to both benign malfunction (e.g. packet loss or delay) and attacks (e.g. message replay). In this paper we take a formal approach to the automated synthesis of attackers, i.e. adversarial processes that can cause the protocol to malfunction. Specifically, given a formal threat model capturing the distributed protocol model and network topology, as well as the placement, goals, and interface of potential attackers, we automatically synthesize an attacker. We formalize four attacker synthesis problems - across attackers that always succeed versus those that sometimes fail, and attackers that may attack forever versus those that may not - and we propose algorithmic solutions to two of them. We report on a prototype implementation called Korg and its application to TCP as a case-study. Our experiments show that Korg can automatically generate well-known attacks for TCP within seconds or minutes. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|