Now showing items 1-1 of 1
Mental Models for Cybersecurity: A Formal Methods Approach
(State University of New York at Buffalo, 2018)
Failures in complex systems often result from problematic interactions between different system components, including human users. Furthermore, the complexity of these systems means that system designers may fail to ...