Joseph Y. Halpern Kevin R. O'Neill Secrecy in Multiagent Systems. 32- 2002 conf/csfw/2002 CSFW http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890032abs.htm db/conf/csfw/csfw2002.html#HalpernO02