The Use of Attack and Protection Trees to Analyze Security for an Online Banking System
automated generation and analysis of attack graphs .