@book{DBLP:series/synthesis/2010Datta,
author = {Anupam Datta and
Somesh Jha and
Ninghui Li and
David Melski and
Thomas W. Reps},
title = {Analysis Techniques for Information Security},
booktitle = {Analysis Techniques for Information Security},
publisher = {Morgan {\&} Claypool Publishers},
series = {Synthesis Lectures on Information Security, Privacy, and
Trust},
year = {2010},
ee = {http://dx.doi.org/10.2200/S00260ED1V01Y201003SPT002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}