NSF Workshop on Assurable and Usable Security Configuration

Presenter
Xinming Ou, Kansas State University

Time
Session I - 8:30am - 10:00am

Abstract
This talk reports our experiences in applying logic-based approaches to enterprise network security defense: how to automatically identify security problems in an enterprise network before an attack happens, and how to manage the configuration of your network to minimize risk while balancing security and usability. We explore these questions around the MulVAL project, a logic-based system for automating enterprise network security defense. I will show a couple case studies that illustrate how one can apply formal logics to address practical problems in enterprise security defense efficiently.

Presentation
Download (PPT, 1.4 MB)