228
click to vote
CSFW
2013
IEEE
12 years 11 days 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...