2008 | ||
---|---|---|
7 | EE | Joseph Y. Halpern, Kevin R. O'Neill: Secrecy in Multiagent Systems. ACM Trans. Inf. Syst. Secur. 12(1): (2008) |
2006 | ||
6 | EE | Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong: Information-Flow Security for Interactive Programs. CSFW 2006: 190-201 |
2005 | ||
5 | EE | Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and information hiding in multiagent systems. Journal of Computer Security 13(3): 483-512 (2005) |
2004 | ||
4 | EE | Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and Information Hiding in Multiagent Systems CoRR cs.CR/0402042: (2004) |
2003 | ||
3 | EE | Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and Information Hiding in Multiagent Systems. CSFW 2003: 75-88 |
2 | EE | Kevin R. O'Neill, Joseph Y. Halpern: Secrecy in Multiagent Systems CoRR cs.CR/0307057: (2003) |
2002 | ||
1 | EE | Joseph Y. Halpern, Kevin R. O'Neill: Secrecy in Multiagent Systems. CSFW 2002: 32- |
1 | Stephen Chong | [6] |
2 | Michael R. Clarkson | [6] |
3 | Joseph Y. Halpern | [1] [2] [3] [4] [5] [7] |