Skip to main content

Security Patterns: Assurance for Secure Concurrent and Distributed Computing

Researchers: William Scherlis, Jonathan Aldrich

Cross Cutting Thrusts: Software Security | Next Generation Threat Prediction and Response | Formal Methods

Abstract

Scope: We propose to design and implement a distributed logic programming language. This project focuses on combining design guidance with analysis based assurance for an emerging class of security-critical concurrent and distributed applications. Issues of focus include race conditions and secure information flow.

Outcomes: Pattern-based guidance for developing and evaluating secure concurrent and distributed software; Tools that assure a lack of race conditions and insecure information flow in web applications.