Search For:

Displaying 1-2 out of 2 total
Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes
Found in: IEEE Transactions on Software Engineering
By Michael A. Schumann,Doron Drusinsky,James B. Michael,Duminda Wijesekera
Issue Date:February 2014
pp. 154-166
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...
Atomic-Level Security for Web Applications in a Cloud Environment
Found in: Computer
By Arnold Brown,Benjamin Apple,James Bret Michael,Michael Schumann
Issue Date:December 2012
pp. 80-83
Adopting an atomic-separation paradigm for provisioning the level of control needed in a cloud-computing environment requires taking a holistic approach to security.