1 January 2008

The journal article “Information flow security in Boundary Ambients”, by Braghin, C., Cortesi, A., Focardi, R., has just been published in “Information and Computation”! Available here.