Piero A. Bonatti Sarit Kraus V. S. Subrahmanian Secure Agents. 169-235 2003 37 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai37.html#BonattiKS03