Properties of secure transaction protocols. - Douglas H. Steves; Chris Edmondson-Yurkanan; Mohamed G. Gouda (Comput. Networks ISDN Syst., 1997)