BF GUI Tool for Formal Specification of Security Vulnerabilities
Irena Bojanova, Inventor/Creator, PI & Lead, NIST Bugs Framework (BF), 2014 – ~~~

The BF GUI Tool is a graphical user interface application that works with both the BF relational database and the BF in XML or JSON format; the latter is useful when the database is unavailable. It allows users to create a new BF Vulnerability specification, save it as a machine-readable base (.bfv), full (.bfvul), or core (.bff) XML or JSON file format, and open and browse previously created BF specifications.

The BF Tool APP allows download of the BF GUI Tool.

The BF GUI Tool demonstrates how the BF taxonomy and causation and propagation rules tie together into the strict BF formal language. It uses the BFVUL tool functionality to generate graphical representations of the BF formal specifications to enhance understanding.

BF CITATION:
Bojanova I (2024) Bugs Framework (BF): Formalizing Cybersecurity Weaknesses and Vulnerabilities. (National Institute of Standards and Technology, Gaithersburg, MD), NIST Special Publication (SP), NIST SP 800-231. https://doi.org/10.6028/NIST.SP.800-231