Gustavus J. Simmons Invited talk: An Introductions to the Mathematics of Trust in Security Protocols. 121-127 1993 CSFW db/conf/csfw/csfw1993.html#Simmons93