IIT Home Page CNR Home Page

Analyzing Security Scenarios Using Defence Trees and Answer Set Programming

Electronic Notes in Theoretical Computer Science , 2008

Autori: Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna
Autori IIT:

Stefano Bistarelli

Foto di Stefano Bistarelli

Da pagina 121 a pagina 129