Hard Life with Weak BindersMassimo Bartoletti; Pierpaolo Degano; Gian Luigi Ferrari; Roberto Zunino · 2009

Model checking usage policiesBARTOLETTI, MASSIMO; DEGANO, PIERPAOLO; FERRARI, GIAN LUIGI; ZUNINO, ROBERTO · Mathematical Structures in Computer Science · 2015

Stack inspection and secure program transformationsMassimo Bartoletti; Pierpaolo Degano; Gian Luigi Ferrari · International Journal of Information Security · 2004

Local policies for resource usage analysisBartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian-Luigi; Zunino, Roberto · ACM Transactions on Programming Languages and Systems · 2009

[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Policy framings for access controlBartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi · 2005