Constructing patterns verification criteria based on quality attributes: Web security context patterns case study.