CTSRD-SOAAP/soaap

Security-Oriented Analysis of Application Programs

SOAAP

Security-Oriented Analysis of Application Programs

Please visit http://www.cl.cam.ac.uk/research/security/ctsrd/soaap.html for more details.