1. Theory and practice of mechanized software analysis;Aaron Pendergrass;Johns Hopkins APL Technical Digest,2013
2. Comparative analysis and patch optimization using cyber security analytics framework;Abraham;Journal of Defense Modeling and Simulation,2017
3. Amina , L. 2012 Patent No. 20120096549
4. Australian Government Department of Defence Strategies to Mitigate Cyber Security Incidents https://www.asd.gov.au/infosec/mitigationstrategies.htm