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) : Uttecht,Karen

Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1040119.pdf

Report Date : 10 Oct 2017

Pagination or Media Count : 51

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.

Descriptors :   computer programming , network protocols , information systems , denial of service attack , programming languages , control systems , cyberattacks , domain specific programming languages , routing protocols , computing architectures

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