[1] Sicherheitsklasse des TCSEC mit verifizierbaren Sicherheitsmassnahmen (formelles Modell, formelle Analyse)

[2] GSM-Funktelefonnetz der Österreichischen PTT ab 1994.