Client Side Web Session Integrity as a Non-Interference Property