SAFETY ON UNTRUSTED NETWORK DEVICES (SOUND)

Abstract

SOUND achieves resilient distributed systems by enabling Communities of Trust based on mutual suspicion, transparent accountability, formal methods, and differentially more reliable. The SOUND approach included: Communities of Trust: Using Introduction-Based Routing (IBR) and Reputation algorithms to dynamically establish and adapt trust levels among computational agents. This allowed well-intentioned agents to collaboratively identify and neutralize rogue agents. Accountability: Explored Accountable Virtual Machines (AVM) and developed mechanisms for supporting different levels of detailed auditing. Pillars of Trust: SOUND Communities are made dramatically more secure by having only a few trustworthy nodes on a network. Formal Methods: Proved correctness and security using formal methods to create the Simple Unified Policy Programming Language (SUPPL). The SOUND was demonstrated at PACOM, NAVSEA NSWC Research lab, and LSD-41 labs to show how it can work at scale to protect a ship network.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 10, 2017
Accession Number
AD1040119

Entities

People

  • Karen Uttecht

Tags

Communities of Interest

  • Autonomy
  • Biomedical
  • Cyber
  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Ground and Sea Platforms
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Detection
  • Information Systems
  • Intrusion Detection
  • Intrusion Detectors
  • Network Protocols
  • Operating Systems
  • Programming Languages
  • Routing Protocols
  • Security Protocols
  • Warfare

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Cybersecurity.