Workshop on Formal Methods in Security Engineering (3 : 2005 : Fairfax, Va.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Fairfax, Va.