Hardening of a web server