Formal Support for Threat Modeling with Attack Decision Diagrams.

Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa

Browse the full COMPSAC paper archive.