"A formal and automated approach to exploiting multi-stage attacks of web ..."

Federico De Meo, Luca Viganò (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics