Information Flow Security for Boxed Ambients

Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
2002 Electronical Notes in Theoretical Computer Science  
doi:10.1016/s1571-0661(04)80417-1 fatcat:b3ai4s7oojbnjfkkmjd2svszke