Information flow for secure distributed applications. - Winnie Wing-Yee Cheng (2009)