Assuring Computer Agent Communications. - William M. Tepfenhart; Mark Holder (ICCS, 1999)