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.
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 ...
Choi, Hanwool (Monterey, California. Naval Postgraduate School, 2009-09);This thesis presents a new systems engineering based approach to naval ship concept design for the Republic of Korea (R.O.K.) Navy. The R.O.K. Navy currently uses a traditional naval architecture approach in concept design. ...
Olwell, David; Johnson, Jean; Didoszak, Jarema (2007-10-24);The Navy M&S Office in conjunction with the Defense Acquisition Modeling and Simulation Working Group presented the Naval Postgraduate School with an enormous challenge in 2006: design and deliver an educational program ...