Workshop on Formal Methods and Security Protocols (1998 : Indianapolis, Ind.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Indianapolis, Ind.