Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values. - Afshin Lamei; Mehran S. Fallah (J. Univers. Comput. Sci., 2016)