Automated Synthesis Framework for Network Security and Resilience
biblio
Submitted by awhitesell on Mon, 10/15/2018 - 1:48pm
tearline
Submitted by awhitesell on Tue, 10/09/2018 - 2:50pm
tearline
Submitted by awhitesell on Tue, 10/09/2018 - 2:10pm
tearline
Submitted by David Nicol on Mon, 03/19/2018 - 10:24pm
group_project
Submitted by David Nicol on Mon, 03/19/2018 - 10:02pm
We propose to develop the analysis methodology needed to support scientific reasoning about the resilience and security of networks, with a particular focus on network control and information/data flow. The core of this vision is an automated synthesis framework (ASF), which will automatically derive network state and repairs from a set of specified correctness requirements and security policies.
tearline
Submitted by David Nicol on Sun, 03/11/2018 - 2:37pm
