35
Voted
CSFW
2013
IEEE
10 years 4 hour 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...