Dynamic Attack Tree and Its Applications on Trojan Horse Detection | IEEE Conference Publication | IEEE Xplore