A Tool for System Security Design Verification based on Security Patterns | IEEE Conference Publication | IEEE Xplore