Verifying Implementation of Security Design Patterns Using a Test Template | IEEE Conference Publication | IEEE Xplore