PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 48
Citazione Data di pubblicazione Autori File
Towards an algebraic approach to solve policy conflicts / Basile, Cataldo; Lioy, Antonio. - STAMPA. - (2004), pp. 319-338. (Intervento presentato al convegno FCS'04: Foundations of Computer Security tenutosi a Turku (Finland) nel July 12-13, 2004). 1-gen-2004 BASILE, CATALDOLIOY, ANTONIO -
POSITIF: un approccio olistico alla sicurezza basato su politiche formali / Basile, Cataldo; Lioy, Antonio; Marian, Marius Adrian. - STAMPA. - (2005), pp. 710-719. (Intervento presentato al convegno AICA-2005 tenutosi a Udine (Italy) nel October 5-7, 2005). 1-gen-2005 BASILE, CATALDOLIOY, ANTONIOMARIAN, Marius Adrian -
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 -
Modern standard-based access control in network services: XACML in action / Scaglioso, PIERVITO GIOVANNI; Basile, Cataldo; Lioy, Antonio. - In: INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY. - ISSN 1738-7906. - STAMPA. - 8, no. 12:(2008), pp. 296-305. 1-gen-2008 SCAGLIOSO, PIERVITO GIOVANNIBASILE, CATALDOLIOY, ANTONIO torsec_ijcsns2008_access_control_xacml.pdf
Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC) / Basile, Cataldo; Pomi, PAOLO CARLO; Scaglioso, PIERVITO GIOVANNI. - (2008), pp. 611-615. (Intervento presentato al convegno PDP2008: 16th Euromicro Conference on Parallel, Distributed and Network- Based Processing tenutosi a Toulouse, France nel February 13-15, 2008). 1-gen-2008 BASILE, CATALDOPOMI, PAOLO CARLOSCAGLIOSO, PIERVITO GIOVANNI -
Geometric Interpretation of Policy Specification / Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio. - STAMPA. - (2008), pp. 78-81. (Intervento presentato al convegno POLICY-2008: IEEE Int. workshop on Policies for Distributed Systems and Networks tenutosi a Palisades (NY, USA) nel June 2-4, 2008) [10.1109/POLICY.2008.36]. 1-gen-2008 BASILE, CATALDOCAPPADONIA, ALBERTOLIOY, ANTONIO -
Ontology-based policy translation / Basile, Cataldo; Lioy, Antonio; Scozzi, Salvatore; Vallini, Marco. - STAMPA. - (2009), pp. 117-126. (Intervento presentato al convegno CISIS'09 - Int. Workshop on Computational Intelligence in Security for Information Systems tenutosi a Burgos (Spain) nel 23-26 September 2009) [10.1007/978-3-642-04091-7_15]. 1-gen-2009 BASILE, CATALDOLIOY, ANTONIOSCOZZI, SalvatoreVALLINI, MARCO torsec_cisis2009_ontology-based_policy_translation.pdf
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 -
Towards a Network-Independent Policy Specification / Basile, Cataldo; Lioy, Antonio; Vallini, Marco. - STAMPA. - (2010), pp. 649-653. (Intervento presentato al convegno PDP 2010, 18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing tenutosi a Pisa (Italy) nel 17-19 Feb. 2010) [10.1109/PDP.2010.45]. 1-gen-2010 BASILE, CATALDOLIOY, ANTONIOVALLINI, MARCO -
FPGA based remote code integrity verification of programs in distributed embedded systems / Basile, Cataldo; DI CARLO, Stefano; Scionti, A.. - In: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. PART C, APPLICATIONS AND REVIEWS. - ISSN 1094-6977. - STAMPA. - 42:2(2012), pp. 187-200. [10.1109/TSMCC.2011.2106493] 1-gen-2012 BASILE, CATALDODI CARLO, STEFANO + 2012-TSMCC-SoftwareMonitoring-AuthorVersion.pdf
Network-level access control policy analysis and transformation / Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 20:4(2012), pp. 985-998. [10.1109/TNET.2011.2178431] 1-gen-2012 BASILE, CATALDOCAPPADONIA, ALBERTOLIOY, ANTONIO 2379363.pdf
Improved reachability analysis for security management / Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian. - STAMPA. - (2013), pp. 534-541. (Intervento presentato al convegno PDP-2013: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing tenutosi a Belfast (UK) nel February 27 - March 1, 2013) [10.1109/PDP.2013.86]. 1-gen-2013 BASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIOPITSCHEIDER, CHRISTIAN -
Towards a unified software attack model to assess software protections / Basile, Cataldo; Ceccato, M.. - STAMPA. - (2013), pp. 219-222. (Intervento presentato al convegno IEEE International Conference on Program Comprehension (ICPC) tenutosi a San Francisco, California (USA) nel May 20-21, 2013) [10.1109/ICPC.2013.6613852]. 1-gen-2013 BASILE, CATALDO + BasileICPC2013.pdf
Policy-driven system management / Platte, H.; Basile, Cataldo; Paraboschi, S. - In: Computer and Information Security Handbook / Vacca J.. - STAMPA. - [s.l] : Morgan Kaufmann, 2013. - ISBN 9780123943972. - pp. 773-792 1-gen-2013 BASILE, CATALDO + -
Detection of conflicts in security policies / Basile, Cataldo; Casalino, M. M.; Mutti, S.; Paraboschi, S. - In: Computer and Information Security Handbook / Vacca J.. - STAMPA. - [s.l] : Morgan Kaufmann, 2013. - ISBN 9780123943972. - pp. 415-448 1-gen-2013 BASILE, CATALDO + -
Inter-technology conflict analysis for communication protection policies / Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio. - STAMPA. - (2015), pp. 148-163. (Intervento presentato al convegno CRiSIS-2014: 9th International Conference on Risks and Security of Internet and Systems tenutosi a Trento (Italy) nel 27-29 August 2014) [10.1007/978-3-319-17127-2_10]. 1-gen-2015 VALENZA, FULVIOBASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIO 2015CRISIS_author.pdf; 2015CRISIS.pdf
Analysis of application-layer filtering policies with application to HTTP / Basile, Cataldo; Lioy, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 23:1(2015), pp. 28-41. [10.1109/TNET.2013.2293625] 1-gen-2015 BASILE, CATALDOLIOY, ANTONIO torsec_ieee_ton_2015.pdf; torsec_tnet_application_firewall_policies.pdf
Automatic discovery of software attacks via backward reasoning / Basile, Cataldo; Canavese, Daniele; D’Annoville, Jerome; De Sutter, Bjorn; Valenza, Fulvio. - ELETTRONICO. - ICSE 2015 International Workshop on Software Protection (SPRO 2015):(2015). (Intervento presentato al convegno ICSE International Workshop on Software Protection (SPRO 2015) tenutosi a Firenze nel 19 Maggio 2015) [10.1109/SPRO.2015.17]. 1-gen-2015 BASILE, CATALDOCANAVESE, DANIELEVALENZA, FULVIO + 2015SPRO_author.pdf; 2015SPRO.pdf
Virtualized Security at the Network Edge: A User-centric Approach / Montero, D.; Yannuzzi, M.; Shaw, A.; Jacquin, L.; Pastor, A.; Serral Gracià, R.; Lioy, Antonio; Risso, FULVIO GIOVANNI OTTAVIO; Basile, Cataldo; Sassu, Roberto; Nemirovsky, M.; Ciaccia, Francesco; Georgiades, M.; Charalambides, S.; Kuusijarvi, J.; Bosco, F.. - In: IEEE COMMUNICATIONS MAGAZINE. - ISSN 0163-6804. - STAMPA. - 53:4(2015), pp. 176-186. [10.1109/MCOM.2015.7081092] 1-gen-2015 LIOY, ANTONIORISSO, FULVIO GIOVANNI OTTAVIOBASILE, CATALDOSASSU, ROBERTOCIACCIA, FRANCESCO + SECURED_IEEE_CommMag_1504.pdf; SECURED_IEEE_CommMag_1504_preprint.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
Mostrati risultati da 1 a 20 di 48
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile