203
Voted
CSFW
2013
IEEE
11 years 10 months ago
2013
IEEE
Abstract—The security literature offers a multitude of calculi, languages, and systems for information-flow control, each with some set of labels encoding security policies that...