Language Techniques For Automated Verifiction Of Web Security