A Framework to Generate SPIN based Verification Codes for Struts WEB Applications