PEROLI, Michele

PEROLI, Michele  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.007 secondi).
Titolo Data di pubblicazione Autore(i) File
A Model-Based Security Testing Approach for Web Applications 1-gen-2015 Peroli, Michele
An Environmental Paradigm for Defending Security Protocols 1-gen-2012 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis 1-gen-2011 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Attack Interference: A Path to Defending Security Protocols 1-gen-2012 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) 1-gen-2014 Peroli, Michele; Vigano', Luca; Zavatteri, Matteo
Security protocols as environments: A lesson from non-collaboration 1-gen-2011 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
VERA: A Flexible Model-Based Vulnerability Testing Tool 1-gen-2013 Abian, Blome; Martin, Ochoa; Keqin, Li; Peroli, Michele; Mohammad Torabi, Dashti