VALLINI, MARCO

VALLINI, MARCO  

Dipartimento di Automatica e Informatica  

019568  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.005 secondi).
Citazione Data di pubblicazione Autori File
A formal approach for network security policy validation / Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco. - In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS. - ISSN 2093-5374. - STAMPA. - 8:1(2017), pp. 79-100. [10.22667/JOWUA.2017.03.31.079] 1-gen-2017 VALENZA, FULVIOSU, TAOSPINOSO, SERENALIOY, ANTONIOSISTO, RiccardoVALLINI, MARCO 2017JOWUA.pdf
A novel security information and event management system for enhancing cyber security in a hydroelectric dam / Di Sarno, Cesario; Garofalo, Alessia; Matteucci, Ilaria; Vallini, Marco. - In: INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION. - ISSN 1874-5482. - ELETTRONICO. - 13:(2016), pp. 39-51. [10.1016/j.ijcip.2016.03.002] 1-gen-2016 VALLINI, MARCO + -
Ontology and algorithms for the dependable configuration of information systems / Aime, MARCO DOMENICO; Pomi, PAOLO CARLO; Vallini, Marco. - In: INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS. - ISSN 1757-8779. - STAMPA. - 1:4(2010), pp. 301-335. [10.1504/IJCCBS.2010.036603] 1-gen-2010 AIME, MARCO DOMENICOPOMI, PAOLO CARLOVALLINI, MARCO -
Ontology-based Security Policy Translation / Basile, Cataldo; Lioy, Antonio; Scozzi, Salvatore; Vallini, Marco. - In: JOURNAL OF INFORMATION ASSURANCE AND SECURITY. - ISSN 1554-1010. - STAMPA. - 5:(2010), pp. 437-445. 1-gen-2010 BASILE, CATALDOLIOY, ANTONIOSCOZZI, SalvatoreVALLINI, MARCO -
Automated Dependability Planning in Virtualised Information System / Aime, MARCO DOMENICO; Pomi, PAOLO CARLO; Vallini, Marco. - In: INTERNATIONAL JOURNAL ON ADVANCES IN INTELLIGENT SYSTEMS. - ISSN 1942-2679. - ELETTRONICO. - 2:4(2009), pp. 457-476. 1-gen-2009 AIME, MARCO DOMENICOPOMI, PAOLO CARLOVALLINI, MARCO -