2014-11

Automatic Generation of Security Argument Graphs

Tags

-

Proceedings of the IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)

Date published

2014-11

Date last modified

2019-01-11 13:42:12

Authors

Nils Ole Tippenhauer
William G. Temple
An Hoa Vu
Binbin Chen
David M. Nicol
Zbigniew Kalbarczyk
William Sanders

Download