doi dblp
Analysis Techniques for Information Security
Anupam Datta | Somesh Jha | Ninghui Li | David Melski | Thomas W. Reps