@inproceedings{DBLP:conf/kbse/Abi-AntounWT07,
author = {Marwan Abi-Antoun and
Daniel Wang and
Peter Torr},
title = {Checking threat modeling data flow diagrams for implementation
conformance and security},
booktitle = {ASE},
year = {2007},
pages = {393-396},
ee = {http://doi.acm.org/10.1145/1321631.1321692},
crossref = {DBLP:conf/kbse/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/kbse/2007,
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {22nd IEEE/ACM International Conference on Automated Software
Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia,
USA},
booktitle = {ASE},
publisher = {ACM},
year = {2007},
isbn = {978-1-59593-882-4 },
bibsource = {DBLP, http://dblp.uni-trier.de}
}