Threat Scenarios as a Means to Formally Develop Secure Systems.

Volkmar Lotz

Browse the full ESORICS paper archive.