SOAAP Security-Oriented Analysis of Application Programs Please visit http://www.cl.cam.ac.uk/research/security/ctsrd/soaap.html for more details.