Search Projects: 2015

Results 1 - 10 of 250

Results

group_project

Visible to the public Usable Formal Methods for the Design and Composition of Security and Privacy Policies

Security-Metrics-Driven-Evaluation, Design, Development and Deployment. Our research evaluates security pattern selection and application by designers in response to attack patterns. The evaluation is based on formal models of attack scenarios that are used to measure security risk and promote risk reduction strategies based on assurance cases constructed by the analyst. The aim is to improve the usability of formal methods for studying security design and composition.

group_project

Visible to the public Highly Configurable Systems

In highly configurable software systems the configuration space is too big for (re-)certifying every configuration in isolation. In this project, we combine software analysis with network analysis to detect which configuration options interact and which have local effects. Instead of analyzing a system as Linux and SELinux for every combination of configuration settings one by one (>10^2000 even considering compile-time configurations only), we analyze the effect of each configuration option once for the entire configuration space.

project

Visible to the public CPS: Synergy: Collaborative Research: Cyber-Physical Approaches to Advanced Manufacturing Security

Project Details
Institution(s): 
Virginia Polytechnic Institute and State University
project

Visible to the public CAREER: Autonomous Underwater Power Distribution System for Continuous Operation

Project Details
Institution(s): 
Michigan Technological University