Impact of Policy Design on Workflow Resiliency Computation Time Download Tags: Probabilistic Model Checker Science of Security UIUC User availability Workflow Satisfiability Problem Science of Security UIUC NSA SoS Lablets Materials NSA SoS Lablets Materials Data-Driven Model-Based Decision-Making License: Creative Commons 2.5 Submitted by Amy Clay on Wed, 11/11/2015 - 16:38