K.R.: Secrecy in multiagent systems. (2008)

by J Y Halpern, O’Neill
Venue:ACM Trans. Inf. Syst. Secur.