Checking threat modeling data flow diagrams for implementation conformance and security.

Marwan Abi-Antoun Daniel Wang Peter Torr Checking threat modeling data flow diagrams for implementation conformance and security. 393-396 2007 conf/kbse/2007 ASE http://doi.acm.org/10.1145/1321631.1321692 db/conf/kbse/ase2007.html#Abi-AntounWT07