A Layered Argument Strategy for Software Security Case Development.

Biao Xu, Minyan Lu, Dajian Zhang

Browse the full ISSRE paper archive.