Publications with Keyword FORMAL TECHNIQUE

Keck, D.O.*: Erkennung von Wechselwirkungen zwischen Dienstmerkmalen im Intelligenten Netz mit Hilfe formaler Techniken. Beiträge zur 10. ITG/GI-Fachtagung Kommunikation in Verteilten Systemen (KiVS '97), Braunschweig, February 1997, pp. 167-181. [Show full record] / Download [PS]

Hauser, C.*: Protecting Virtual Identities in Mobile IP-based Communication - Communication Networks and Computer Engineering Report No. 98. Dissertation, Universität Stuttgart, EI, 2008. [Show full record] / Download [PDF]

Kabatnik, M.: Grammatikbasierte Zertifikate am Beispiel von Sicherheitsauditierungen in verteilten Systemen. Dissertation, Universität Stuttgart, Informatik, Elektrotechnik- und Informationstechnik, 2015. [Show full record] / Download [PDF]