Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (2006 : Seattle, Wash.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Seattle, Wash.