Security programming of web applications (SEAL)