A Layered Argument Strategy for Software Security Case Development

Biao Xu, Minyan Lu, Dajian Zhang. A Layered Argument Strategy for Software Security Case Development. In 2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017. pages 331-338, IEEE Computer Society, 2017. [doi]

Authors

Biao Xu

This author has not been identified. Look up 'Biao Xu' in Google

Minyan Lu

This author has not been identified. Look up 'Minyan Lu' in Google

Dajian Zhang

This author has not been identified. Look up 'Dajian Zhang' in Google