A Transformation-Driven Approach to the Verification of Security Policies in Web Designs.

Esther Guerra, Daniel Sanz, Paloma Daz, Ignacio Aedo

Browse the full ICWE paper archive.