Blockchain Protocol Security Analysis

reportActive / Technical Report | Accession Number: AD1116011 | Open PDF

Abstract:

This paper is a timely look at the security properties of two major components the consensus algorithm and the peer-to peer P2P protocol. The goal is to familiarize cybersecurity experts with the technical components of blockchain and recommend areas for future security evaluations. MITRE analyzed and tested the Byzantine Fault Tolerant BFT characteristics of the Istanbul consensus protocol and the security properties of two P2P protocols. It is the first time that Blockchain P2P algorithms have been analyzed using the Cryptographic Protocol Shapes Analyzer CPSA.

Author(s):
Bryson, David E ; Burgin, Kelley W ; Serrao, Gloria J
Author Organization(s):
MITRE CORP ANNAPOLIS JUNCTION MD ANNAPOLIS JUNCTION United States
Descriptive Note:
Technical Report
Pagination:
0044

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release;

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
PP-19-0073
Contract/Grant Number(s):
W56KGU-17-D-0004
Monitor Series:
PP-19-0073
 Subject Terms
Joint Capability Areas:
JCA_6_Net Centric; JCA_6.1.3_Switching and Routing; JCA_6.1_Information Transport; JCA_5_Command and Control; JCA_8_Building Partnerships; JCA_5.2_Understand; JCA_8.2_Shape; JCA_5.2.3_Share Knowledge and Situational Awareness; JCA_7_Protection; JCA_8.2.4_Leverage Capacities and Capabilities of Security Establishments; JCA_7.2.1_Mitigate Lethal Effects; JCA_7.2_Mitigate; JCA_5.3_Planning; JCA_6.4.1_Secure Information Exchange; JCA_6.4.2_Protect Data and Networks; JCA_6.4_Information Assurance; JCA_3.2_Engagement; JCA_3_Force Application; JCA_3.2.2_Non-Kinetic Means; JCA_6.2.1_Information Sharing; JCA_6.2.2_Computing Services
Modernization Areas:
Cyber
Communities of Interest:
Engineered Resilient Systems
Descriptor(s):
security protocols, network protocols, quantum computing, routing protocols, computer networks, cryptography, algorithms, cybersecurity, computer programming, communications protocols, shor s algorithm, authentication, quantum computers, computer network security
Field(s)/Group(s):
Theoretical Mathematics, Computer Systems
Keyword(s):
blockchain, iot(Internet of Things), P2P(peer to peer), bft(Byzantine Fault Tolerant), cpsa(Cryptographic Protocol Shapes Analyzer)
Report Date:
2018 Oct 01
Creation Date:
2020 Nov 24