PORTO @ Archivio Istituzionale della Ricerca

LIOY, ANTONIO

LIOY, ANTONIO  

Dipartimento di Automatica e Informatica  

001847  

Mostra records
Risultati 1 - 20 di 164 (tempo di esecuzione: 0.04 secondi).
Citazione Data di pubblicazione Autori File
A flexible management framework for certificate status validation / Berbecaru, DIANA GRATIELA; Corradi, A.; Lioy, Antonio; Maino, Fabio Rodolfo; Montanari, R.; Stefanelli, C.. - STAMPA. - (2000), pp. 481-490. (Intervento presentato al convegno IFIP/SEC-2000: 15th IFIP Int. Conf. on Information Security tenutosi a Bejing (China) nel August 22-24, 2000). 1-gen-2000 BERBECARU, DIANA GRATIELALIOY, ANTONIOMAINO, Fabio Rodolfo + -
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 Formal Model of Network Policy Analysis / Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio. - STAMPA. - (2015), pp. 516-522. (Intervento presentato al convegno RTSI 2015 - First International Forum on Research and Technologies for Society and Industry tenutosi a Torino, Italy nel 16-18 September 2015) [10.1109/RTSI.2015.7325150]. 1-gen-2015 VALENZA, FULVIOSPINOSO, SERENABASILE, CATALDOSISTO, RiccardoLIOY, ANTONIO 2015RTSI.pdf; 2015RTSI_author.pdf
A formal model of policy reconciliation / Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Zhao, Shilong. - STAMPA. - (2015), pp. 587-594. (Intervento presentato al convegno PDP-2015: 23rd EuroMicro International Conference on Parallel, Distributed and network-based Processing tenutosi a Turku (Finland) nel March 4-6, 2015) [10.1109/PDP.2015.42]. 1-gen-2015 BASILE, CATALDOLIOY, ANTONIOPITSCHEIDER, CHRISTIANZHAO, SHILONG -
A Framework for Secure Digital Administration / Berbecaru, DIANA GRATIELA; Lioy, Antonio; Marian, Marius Adrian. - STAMPA. - (2001), pp. 119-133. (Intervento presentato al convegno EuroWeb 2001 - the web in Public Administration tenutosi a Pisa (Italy) nel December 18-20, 2001). 1-gen-2001 BERBECARU, DIANA GRATIELALIOY, ANTONIOMARIAN, Marius Adrian -
A generic overall framework for network security evaluation / Atzeni, Andrea; Lioy, Antonio; Tamburino, Lucia. - STAMPA. - (2005), pp. 605-615. (Intervento presentato al convegno AICA-2005 tenutosi a Udine (Italy) nel October 5-7, 2005). 1-gen-2005 ATZENI, ANDREALIOY, ANTONIOTAMBURINO, Lucia -
A Hierarchical Multi-Level Test Generation System / Lioy, Antonio; Poncino, Massimo. - (1991). (Intervento presentato al convegno GLS-VLSI'91: 1st Great Lake State Symposium) [10.1109/GLSV.1991.143942]. 1-gen-1991 LIOY, ANTONIOPONCINO, MASSIMO -
A model of capabilities of Network Security Functions / Basile, C.; Canavese, D.; Regano, L.; Pedone, I.; Lioy, A.. - STAMPA. - (2022), pp. 474-479. (Intervento presentato al convegno 2022 IEEE 8th International Conference on Network Softwarization tenutosi a Milano (Italy) nel 27 June - 1 July 2022) [10.1109/NetSoft54395.2022.9844057]. 1-gen-2022 Basile C.Canavese D.Regano L.Pedone I.Lioy A. A_model_of_capabilities_of_Network_Security_Functions.pdf
A novel approach for integrating security policy enforcement with dynamic network virtualization / Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio; Vallini, Marco. - STAMPA. - (2015). (Intervento presentato al convegno 1st IEEE Conference on Network Softwarization (NetSoft-2015) tenutosi a London (UK) nel 13-17 April 2015) [10.1109/NETSOFT.2015.7116152]. 1-gen-2015 BASILE, CATALDOLIOY, ANTONIOPITSCHEIDER, CHRISTIANVALENZA, FULVIOVALLINI, MARCO 2015Netsoft.pdf; 2015Netsoft_author.pdf
A novel architecture to virtualise a hardware-bound trusted platform module / DE BENEDICTIS, Marco; Jacquin, Ludovic; Pedone, Ignazio; Atzeni, Andrea; Lioy, Antonio. - In: FUTURE GENERATION COMPUTER SYSTEMS. - ISSN 0167-739X. - STAMPA. - 150:January(2024), pp. 21-36. [10.1016/j.future.2023.08.012] 1-gen-2024 Marco De BenedictisIgnazio PedoneAndrea AtzeniAntonio Lioy + 1-s2.0-S0167739X2300314X-main.pdf
A Parallel Approach to Symbolic Traversal Based on Set Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano. - (1997). (Intervento presentato al convegno CHARME’97: Correct Hardware Methodologies). 1-gen-1997 CABODI, GianpieroCAMURATI, Paolo EnricoLIOY, ANTONIOM. PoncinoQUER, Stefano -
A proposal for trust monitoring in a Network Functions Virtualisation Infrastructure / De Benedictis, M.; Lioy, A.. - STAMPA. - (2019), pp. 1-9. (Intervento presentato al convegno IEEE Conference on Network Softwarization (NetSoft-2019) tenutosi a Paris (France) nel 24/6/2019) [10.1109/NETSOFT.2019.8806655]. 1-gen-2019 M. De BenedictisA. Lioy -
A psychological approach to information technology security / Enrici, I.; Ancilli, M.; Lioy, Antonio. - STAMPA. - (2010), pp. 459-466. (Intervento presentato al convegno HSI-2010: 3rd Int. Conf. on Human System Interactions tenutosi a Rzeszow (Poland) nel May 13-15, 2010) [10.1109/HSI.2010.5514528]. 1-gen-2010 LIOY, ANTONIO + A_psychological_approach_to_information_technology_security.pdf
A unified and flexible solution for integrating CRL and OCSP into PKI applications / Berbecaru, DIANA GRATIELA; Desai, AMARKUMAR GUNVANTRAI; Lioy, Antonio. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - STAMPA. - 39:19(2009), pp. 891-921. [10.1002/spe.918] 1-gen-2009 BERBECARU, DIANA GRATIELADESAI, AMARKUMAR GUNVANTRAILIOY, ANTONIO CRL_OCSP_PKI_abstract.pdf
A wireless distributed intrusion detection system and a new attack model / Aime, MARCO DOMENICO; Calandriello, Giorgio; Lioy, Antonio. - STAMPA. - (2006), pp. 35-40. (Intervento presentato al convegno ISCC-2006: 11th IEEE Int. Symp. on Computers and Communications tenutosi a Cagliari (Italy) nel June 26-29, 2006) [10.1109/ISCC.2006.22]. 1-gen-2006 AIME, MARCO DOMENICOCALANDRIELLO, GIORGIOLIOY, ANTONIO -
Accurate entropy calculation for large logic circuits based on output clustering / Lioy, Antonio; Macii, Enrico; Poncino, Massimo; M., Rossello. - (1997), pp. 70-75. (Intervento presentato al convegno 7th Great Lakes Symposium on VLSI tenutosi a Urbana-Champaign, IL (USA) nel 13-15 Mar 1997) [10.1109/GLSV.1997.580413]. 1-gen-1997 LIOY, ANTONIOMACII, EnricoPONCINO, MASSIMO + -
Adding Support for Automatic Enforcement of Security Policies in NFV Networks / Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio; Lopez, Diego R.; Pastor Perales, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 27:2(2019), pp. 707-720. [10.1109/TNET.2019.2895278] 1-gen-2019 Cataldo BasileFulvio ValenzaAntonio Lioy + IEEE_ACM_10.1109_TNET.2019.2895278_preprint.pdf; 08637976.pdf
Advanced Fault Collapsing / Lioy, A.. - In: IEEE DESIGN & TEST OF COMPUTERS. - ISSN 0740-7475. - STAMPA. - 9:1(1992), pp. 64-71. [10.1109/54.124518] 1-gen-1992 Lioy A. -
Algebraic Models to Detect and Solve Policy Conflicts / Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio. - STAMPA. - 1:(2007), pp. 242-247. (Intervento presentato al convegno MMM-ACNS 2007: 4th Int. Conf. on Mathematical Methods, Models, and Architectures for Computer Network Security tenutosi a St. Petersburg (Russia) nel September 13–15, 2007) [10.1007/978-3-540-73986-9_20]. 1-gen-2007 BASILE, CATALDOCAPPADONIA, ALBERTOLIOY, ANTONIO -
An Algebraic Approach to Test Generation for Sequential Circuits / Lioy, Antonio; Macii, Enrico; Meo, A. R.; SONZA REORDA, Matteo. - (1991), pp. 115-120. (Intervento presentato al convegno GLS-VLSI-91: IEEE/ACM 1st Great Lakes Symposium on VLSI tenutosi a Kalamazoo, MI) [10.1109/GLSV.1991.143952]. 1-gen-1991 LIOY, ANTONIOMACII, EnricoSONZA REORDA, Matteo + -