88
Voted
CSFW
2012
IEEE
13 years 23 hour ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...