BFVUL Examples
Irena Bojanova, Inventor/Creator, PI & Lead, NIST Bugs Framework (BF), 2014 – ~~~

The BFVUL Examples UI provides download of Formal BF Vulnerability Specifications in the formats supported by the BF GUI Tool: .bfv, .bfvul, and .bff.

Open or Upload the BF Specifications of Security Vulnerabilities using the BF Tool App or the BF GUI Tool. Use the BF Tools to navigate the chains of BF Weaknesses, generate graphical representations, and save or download in extended (.bfvul), standard (.bfv) or bare-bone (.bff) formal BF specification formats.

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