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.