Secrecy in multiagent systems (2002)

by J Y Halpern, K O’Neill
Venue:In Proc. 15th IEEE Computer Security Foundations Workshop