Architectural Modeling to Verify Security and Nonfunctional Behavior

Jorgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues. Architectural Modeling to Verify Security and Nonfunctional Behavior. IEEE Security & Privacy, 8(1):43-49, 2010. [doi]

Abstract

Abstract is missing.