Accession Number:

AD1040119

Title:

SAFETY ON UNTRUSTED NETWORK DEVICES (SOUND)

Descriptive Note:

Technical Report,29 Sep 2011,30 Jun 2017

Corporate Author:

BAE SYSTEMS BURLINGTON MA BURLINGTON United States

Personal Author(s):

Report Date:

2017-10-10

Pagination or Media Count:

51.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards
  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE