Automatic Generation of Security Argument Graphs

Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William Sanders
November 2014
DOI
Type
Conference paper
Publication
Proceedings of the IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)