Principal Investigator Daniel Jackson
The goal of this project is to construct a database of existing security knowledge (exploits, vulnerabilities, mitigations, etc.) and automatically leverage them for security analysis. Case studies include the Apache Server security, router configuration, social networks, and web security protocols.