Analyse und wissenschaftliche Bewertung des L4Re Mikrokernels und Adaption, Installation, Konfiguration, und prototypische Integration in das Secure Exchange Gateway. Mit dem Projekt soll ein Level an Sicherheit des Secure Echange Gateways über den kompletten Lebenszyklus hinweg aufrechterhalten werden.