Security patterns: Research direction, metamodel, application and verification | IEEE Conference Publication | IEEE Xplore