Use of Statechart Assertions for Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes
Schumann, Michael A.
Michael, James Bret
MetadataShow full item record
Processes are a fundamental component of most activities undertaken by humans. In software engineering and information assurance, in particular, it is important that processes be understandable, documented, and repeatable so as to ensure that the process outcomes are consistent and predictable. This dissertation provides a novel approach to process creation, documentation, checking, and maintenance that applies mathematical formalism to the engineering of processes that rely in large measure on human decision-making to advance the process flow. However, the modeling approach is sufficiently general for application to any process. This dissertation advances the state-of-the-art in software engineering by providing a formal computer-assisted end-to-end way to conduct requirements engineering. This dissertation advances the state-of-the-art in information assurance by developing a systematic approach that makes the creation of security processes precise and uses formal methods to allow upfront validation and runtime verification of modeled processes. This dissertation demonstrates the modeling approach through a case study of the Unified Cross Domain Management Offices Cross Domain Solution Workflow process.
Showing items related by title, author, creator and subject.
Baker, Adam; Pepe, Kara; Hutchison, Nicole; Tao, Hoong Yan See; Peak, Russell; Blackburn, Mark; Khan, Rabia; Whitcomb, Clifford (IEEE, 2021-09-14);This paper describes the goals, approaches, initial results, and preliminary implementation of WRT-1006, a multiphase research task within the Systems Engineering Research Center (SERC). Evidence across the Services and ...
USING MODEL-BASED SYSTEMS ENGINEERING METHODS TO CAPTURE A DEPARTMENT OF DEFENSE ACQUISITION LIFE CYCLE Torok, Ronald J. (Monterey, CA; Naval Postgraduate School, 2020-12);The Office of the Deputy Assistant Secretary of Defense for Systems Engineering (ODASD[SE]) is pushing model-based systems engineering (MBSE) methods to increase efficiencies and technical rigor in Department of Defense ...
Schumann, Michael A.; Drusinsky, Doron; Michael, James B.; Wijesekera, Duminda (IEEE, 2014-02);This paper presents a novel application of computer-assisted formal methods for systematically specifying, documenting, statically and dynamically checking, and maintaining human-centered workflow processes. This approach ...