End-to-end multilevel hybrid information flow control (2012)

by L Beringer
Venue:In 10th Asian Symposium on Programming Languages and Systems (APLAS