Constructing patterns verification criteria based on quality attributes: Web security context patterns case study | IEEE Conference Publication | IEEE Xplore