Analyzing Non-Interference with respect to Classes

Damiano Zanardini. Analyzing Non-Interference with respect to Classes. In Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura, editors, Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings. pages 57-69, World Scientific, 2007.

Abstract

Abstract is missing.