A Declarative Model for Reasoning about Form Security.

Aaron Hunter

Browse the full ICAART paper archive.