The Use of Attack and Protection Trees to Analyze Security for an Online Banking System | IEEE Conference Publication | IEEE Xplore