Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values.
['Afshin Lamei', 'Mehran S. Fallah']
Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values.