McAfee is an R&D centre that focuses on corporate cybersecurity products. McAfee contributes to the development of language for the specifications of quantitative requirements and analysis techniques for quantitative contracts