Giampaolo Bella, Lawrence C. Paulson. Analyzing Delegation Properties. In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols, 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers. Volume 2845 of Lecture Notes in Computer Science, pages 120-127, Springer, 2002. [doi]
Abstract is missing.