Funktionelle Analyse von Kommunikationsprotokollen