Cyber security via formal methods: A framework for implementing formal methods
No Thumbnail Available
Authors
Rivera, Joey
Issue Date
2017-11
Type
proceedings-article
Language
Keywords
Tools , Software , Testing , Unified modeling language , Monitoring , Stakeholders
Alternative Title
Abstract
This paper demonstrates a methodology for how the organizations that employ complex enterprise systems of systems can significantly improve cyber defense while decreasing overall operating costs by using formal methods. The paper demonstrates an approach that uses an event-based methodology to formalize all types of enterprise behavior, to include system, human, and environmental events.
Description
Citation
J. Rivera, "Cyber security via formal methods: A framework for implementing formal methods," 2017 International Conference on Cyber Conflict (CyCon U.S.), Washington, DC, USA, 2017, pp. 76-81, doi: 10.1109/CYCONUS.2017.8167500.
Publisher
IEEE