Benutzer: Gast  Login
Titel:

Threat Scenarios as a Means to Formally Develop Secure Systems

Dokumenttyp:
Technical Report
Autor(en):
Volkmar Lotz
Abstract:
We introduce a new method for the formal development of secure systems that closely corresponds to the way secure systems are developed in practice. It is based on Focus, a general-purpose approach to the design and verification of distributed, interactive systems. Our method utilizes threat scenarios which are the result of threat identification and risk analysis and model those attacks that are of importance to the system's security. We describe the adversary's behaviour and influence on inter...     »
Stichworte:
Security; Formal Methods; Threat Identification; Authentication; Availability; Protocols
Jahr:
1997
Jahr / Monat:
1997-04-01 00:00:00
Seiten/Umfang:
45
 BibTeX