Keith Irwin, Ting Yu, William H. Winsborough. On the modeling and analysis of obligations. In Ari Juels, Rebecca N. Wright, Sabrina De Capitani di Vimercati, editors, Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, Ioctober 30 - November 3, 2006. pages 134-143, ACM, 2006. [doi]
Abstract is missing.