Threat Scenarios as a Means to Formally Develop Secure Systems

Volkmar Lotz. Threat Scenarios as a Means to Formally Develop Secure Systems. Journal of Computer Security, 5(1):31-68, 1997.

Abstract

Abstract is missing.