Conceptual and technical audit of a hardened browsing infrastructure