Towards Trustworthy Communication Systems - Experiences with the Security Toolkit SecuDE. - Rüdiger Grimm; Jan Lühe; Wolfgang Schneider (ULPAA, 1994)