Title

Cyber Security via Formal Methods: A Framework for Implementing Formal Methods

Author USMA Department

Electrical Engineering and Computer Science

USMA Center/Institute Affiliation

Cyber Research Center

Document Type

Conference Proceeding

Publication Date

Fall 11-2017

Keywords

Formal methods, Modeling, Architecture, Software, Unified modeling language, Monitoring, Stakeholders

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.

First Page

76

Last Page

81

Conference Name

Cyber Conflict (CyCon U.S.), 2017 International Conference on

Conference Location

Washington, DC

Conference Dates

11-2017

Share

COinS