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