Software testers are sometimes unable to cope with the verification of security requirements because of their very technical nature. In...