Dottorato in Ingegneria Informatica E Dei Sistemi , 22o ciclo (2007-2009)
Dottorato concluso nel 2011
Tesi:
A set based model for security policy analysis and transformation.
Tutori:
Antonio LioyPubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio (2012)
Network-level access control policy analysis and transformation. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 20, pp. 985-998. ISSN 1063-6692
Contributo su Rivista - Bottino, ANDREA GIUSEPPE; Cappadonia, Alberto (2010)
Introduzione alla programmazione in C. teoria ed esercizi. TORINO, CLUT, P. 338. ISBN: 9788879922845
Libro - ABOU EL KALAM, A; Atzeni, Andrea; Cappadonia, Alberto; Cesena, Emanuele; FISCHER HUBNER, ... (2009)
Toward a formal framework to evaluate wireless sensor network security. In: ?Congresso?, Barcelona, March 30-April 1
Contributo in Atti di Convegno (Proceeding) - Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio (2008)
Geometric Interpretation of Policy Specification. In: POLICY-2008: IEEE Int. workshop on Policies for Distributed Systems and Networks, Palisades (NY, USA), June 2-4, 2008, pp. 78-81. ISBN: 9780769531335
Contributo in Atti di Convegno (Proceeding) - Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio (2007)
Algebraic Models to Detect and Solve Policy Conflicts. In: MMM-ACNS 2007: 4th Int. Conf. on Mathematical Methods, Models, and Architectures for Computer Network Security, St. Petersburg (Russia), September 13–15, 2007, pp. 242-247. ISBN: 9783540739852
Contributo in Atti di Convegno (Proceeding)