Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes
IEEE Transactions on Software Engineering
By Michael A. Schumann,Doron Drusinsky,James B. Michael,Duminda Wijesekera
Issue Date:February 2014
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 provides for end-to-end verificati...