Anonymity and information hiding in multiagent systems. - Joseph Y. Halpern; Kevin R. O'Neill (J. Comput. Secur., 2005)

Information-Flow Security for Interactive Programs. - Kevin R. O'Neill; Michael R. Clarkson; Stephen Chong (CSFW, 2006)

Secrecy and Anonymity in Interactive Systems. - Kevin R. O'Neill (2006)

Secrecy in Multiagent Systems. - Joseph Y. Halpern; Kevin R. O'Neill (ACM Trans. Inf. Syst. Secur., 2008)