Belief in information flow (2005)

by Michael R Clarkson, Andrew C Myers, Fred B Schneider
Venue:In 18th IEEE Computer Security Foundations Workshop