Threat Modeling Revisited: Improving Expressiveness of Attack | IEEE Conference Publication | IEEE Xplore