Analysis Techniques for Information Security

by Anupam Datta, Somesh Jha, Ninghui Li, David Melski