Blockchain Protocol Security Analysis

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).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2018
Accession Number
AD1116011

Entities

People

  • David E. Bryson
  • Gloria J. Serrao
  • Kelley W. Burgin

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Algorithms
  • Blockchain
  • Communications Protocols
  • Computer Networks
  • Computer Programming
  • Computers
  • Consensus Algorithms
  • Cryptocurrency
  • Cryptography
  • Cybersecurity
  • Distributed Ledger
  • Information Systems
  • Network Protocols
  • Quantum Computing
  • Routing Protocols
  • Security Protocols
  • Smart Contracts

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Academic Conference Management
  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computer Networking

Technology Areas

  • Cyber
  • Cyber - Cryptography