Alberto Cappadonia

Dottorato in Ingegneria Informatica E Dei Sistemi , 22^o ciclo (2007-2009)

Dottorato concluso nel 2011

A set based model for security policy analysis and transformation.

Algoritmi e programmazione avanzata. A.A. 2008/9, INGEGNERIA ELETTRONICA. Collaboratore del corso
Informatica. A.A. 2008/9, INGEGNERIA MECCANICA. Collaboratore del corso

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)