TY  - RPRT
TI  - Automatic Generation of Security Argument Graphs
AU  - Nils Ole Tippenhauer
AU  - William G. Temple
AU  - An Hoa Vu
AU  - Binbin Chen
AU  - David M. Nicol
AU  - Zbigniew Kalbarczyk
AU  - William H. Sanders
PY  - 2014
UR  - https://arxiv.org/abs/1405.7475
ID  - 1405.7475
ER  -