Rocchetto, Marco

Rocchetto, Marco  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.01 secondi).
Titolo Data di pubblicazione Autore(i) File
Methods and tools for design time and runtime formal analysis of security protocols and web applications 1-gen-2015 Rocchetto, Marco
Model-Based Detection of CSRF 1-gen-2014 Rocchetto, Marco; Martín, Ochoa; Mohammad Torabi, Dashti
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 1-gen-2012 Alessandro, Armando; Wihem, Arsac; Tigran, Avanesov; Barletta, Michele; Calvi, Alberto; Alessandro, Cappai; Roberto, Carbone; Yannick, Chevalier; Luca, Compagna; Jorge, Cuellar; Gabriel, Erzse; Simone, Frau; Marius, Minea; Sebastian, Moedersheim; David von, Oheimb; Giancarlo, Pellegrino; Serena Elisa, Ponta; Rocchetto, Marco; Michael, Rusinowitch; Mohammad Torabi, Dashti; Mathieu, Turuani; Vigano', Luca
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems 1-gen-2017 Santacà, Katia; Cristani, Matteo; Rocchetto, Marco; Viganò, Luca
Using interpolation for the verification of security protocols 1-gen-2013 Rocchetto, Marco; Vigano', Luca; Volpe, Marco; G., Dalle Vedove