Simon N. Foley: Supporting Imprecise Delegation in KeyNote. Security Protocols Workshop 2002: 179-188