Distilling critical attack graph surface iteratively through minimum-cost SAT solving

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 05, 2011
Source ID
10.1145/2076732.2076738

Entities

People

  • Atul Prakash
  • Heqing Huang
  • Karem Sakallah
  • Su Zhang
  • Xinming Ou

Organizations

  • Air Force Office of Scientific Research
  • Kansas State University
  • National Science Foundation
  • University of Michigan