Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis

Endadul Hoque; Cristina Nita-Rotaru

doi:10.1109/SecDev.2016.038

Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis

Endadul Hoque, Cristina Nita-Rotaru

Research output: Chapter in Book/Entry/Poem › Conference contribution

1 Scopus citations

Abstract

We describe our experience over the past five years with building more robust distributed systems and network protocols by using adversarial testing and behavioral analysis. We describe the benefits and disadvantages of both approaches and the design of the tools we have built (Turret, Turret-W, SNAKE, and Chiron). We discuss how we applied them to byzantine-resilient state machine replication, wireless routing protocols, transport protocols, TLS, and IoT implementation of application-level protocols.

Original language	English (US)
Title of host publication	Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	138-145
Number of pages	8
ISBN (Electronic)	9781509055883
DOIs	https://doi.org/10.1109/SecDev.2016.038
State	Published - Feb 1 2017
Externally published	Yes
Event	2016 IEEE Cybersecurity Development, SecDev 2016 - Boston, United States Duration: Nov 3 2016 → Nov 4 2016

Publication series

Name	Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016

Other

Other	2016 IEEE Cybersecurity Development, SecDev 2016
Country/Territory	United States
City	Boston
Period	11/3/16 → 11/4/16

Keywords

adversarial testing
behavioral analysis
implementations
protocols
robustness

ASJC Scopus subject areas

Computer Networks and Communications
Software
Safety, Risk, Reliability and Quality

Access to Document

10.1109/SecDev.2016.038

Cite this

Hoque, E., & Nita-Rotaru, C. (2017). Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis. In Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016 (pp. 138-145). Article 7839807 (Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SecDev.2016.038

Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis. / Hoque, Endadul; Nita-Rotaru, Cristina.
Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016. Institute of Electrical and Electronics Engineers Inc., 2017. p. 138-145 7839807 (Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016).

Research output: Chapter in Book/Entry/Poem › Conference contribution

Hoque, E & Nita-Rotaru, C 2017, Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis. in Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016., 7839807, Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016, Institute of Electrical and Electronics Engineers Inc., pp. 138-145, 2016 IEEE Cybersecurity Development, SecDev 2016, Boston, United States, 11/3/16. https://doi.org/10.1109/SecDev.2016.038

Hoque E, Nita-Rotaru C. Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis. In Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016. Institute of Electrical and Electronics Engineers Inc. 2017. p. 138-145. 7839807. (Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016). doi: 10.1109/SecDev.2016.038

@inproceedings{855aa4bd8ff84f2c9376943dcb78f9d5,

title = "Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis",

abstract = "We describe our experience over the past five years with building more robust distributed systems and network protocols by using adversarial testing and behavioral analysis. We describe the benefits and disadvantages of both approaches and the design of the tools we have built (Turret, Turret-W, SNAKE, and Chiron). We discuss how we applied them to byzantine-resilient state machine replication, wireless routing protocols, transport protocols, TLS, and IoT implementation of application-level protocols.",

keywords = "adversarial testing, behavioral analysis, implementations, protocols, robustness",

author = "Endadul Hoque and Cristina Nita-Rotaru",

note = "Funding Information: This work was supported in part by grants CNS-1223834 and CNS-1421815 from the SaTC program of the National Science Foundation and by grant N660001-1-2-4014 from the Mission-Resilient Clouds program of DARPA. Its contents are solely the responsibility of the authors and do not represent the official view of the National Science Foundation, DARPA or the Department of Defense. Publisher Copyright: {\textcopyright} 2016 IEEE.; 2016 IEEE Cybersecurity Development, SecDev 2016 ; Conference date: 03-11-2016 Through 04-11-2016",

year = "2017",

month = feb,

day = "1",

doi = "10.1109/SecDev.2016.038",

language = "English (US)",

series = "Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "138--145",

booktitle = "Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016",

}

TY - GEN

T1 - Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis

AU - Hoque, Endadul

AU - Nita-Rotaru, Cristina

N1 - Funding Information: This work was supported in part by grants CNS-1223834 and CNS-1421815 from the SaTC program of the National Science Foundation and by grant N660001-1-2-4014 from the Mission-Resilient Clouds program of DARPA. Its contents are solely the responsibility of the authors and do not represent the official view of the National Science Foundation, DARPA or the Department of Defense. Publisher Copyright: © 2016 IEEE.

PY - 2017/2/1

Y1 - 2017/2/1

N2 - We describe our experience over the past five years with building more robust distributed systems and network protocols by using adversarial testing and behavioral analysis. We describe the benefits and disadvantages of both approaches and the design of the tools we have built (Turret, Turret-W, SNAKE, and Chiron). We discuss how we applied them to byzantine-resilient state machine replication, wireless routing protocols, transport protocols, TLS, and IoT implementation of application-level protocols.

AB - We describe our experience over the past five years with building more robust distributed systems and network protocols by using adversarial testing and behavioral analysis. We describe the benefits and disadvantages of both approaches and the design of the tools we have built (Turret, Turret-W, SNAKE, and Chiron). We discuss how we applied them to byzantine-resilient state machine replication, wireless routing protocols, transport protocols, TLS, and IoT implementation of application-level protocols.

KW - adversarial testing

KW - behavioral analysis

KW - implementations

KW - protocols

KW - robustness

UR - http://www.scopus.com/inward/record.url?scp=85015165025&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85015165025&partnerID=8YFLogxK

U2 - 10.1109/SecDev.2016.038

DO - 10.1109/SecDev.2016.038

M3 - Conference contribution

AN - SCOPUS:85015165025

T3 - Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016

SP - 138

EP - 145

BT - Proceedings - 2016 IEEE Cybersecurity Development, SecDev 2016

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2016 IEEE Cybersecurity Development, SecDev 2016

Y2 - 3 November 2016 through 4 November 2016

ER -

Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this