Gruppi di ricerca

  1. Home
  2. Ricerca
  3. Gruppi di ricerca
  4. REGIS: Research Group in Information Security

REGIS: Research Group in Information Security

Il laboratorio REGIS (Research Group in Information Security) e' una struttura di ricerca del Dipartimento di Informatica della facolta' di Scienze MMFFNN dell'Universita' degli Studi di Verona, Italia.
La ricerca svolta all'interno del laboratorio si occupa principalmente dello studio e sviluppo di metodologie formali (basate su modelli matematici precisi) per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi, quali protocolli per la sicurezza, web services e architetetture orientate ai servizi.

URL
http://regis.scienze.univr.it

Argomento Area di ricerca
Formal methods and theory of security Sicurezza informatica
Formal methods and theory of security
Network security Sicurezza informatica
Network security
Protezione del software Sicurezza informatica
Formal methods and theory of security
Software and application security Sicurezza informatica
Software and application security
Verifica del software Ingegneria del Software e Verifica Formale
Software creation and management
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures Luca Vigano' Unione Europea 01/01/2008 36
Generalizing Truth-Functionality: GeTFun Luca Vigano' Unione Europea 01/01/2013 48
GeTFun: Generalizing Truth-Functionality Luca Vigano' 7PQ VALUTATI POSITIVAMENTE 01/01/2012 48
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) Luca Vigano' Ministero dell'Istruzione dell'Università e della Ricerca 22/09/2008 24
Security Horizons Luca Vigano' MIUR 01/02/2013 36
SPaCIoS: Secure Provision and Consumption in the Internet of Services Luca Vigano' Unione Europea 01/10/2010 36

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi