Belief in information flow (2009)

by M R Clarkson, A C Myers, F B Schneider
Venue:Journal of Computer Security