Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


39155 Treffer


× Universität Koblenz
× Universität Trier
× Hochschule Kaiserslautern
× Theologische Fakultät Trier
× Hochschule für Wirtschaft und Gesellschaft Ludwigshafen










  • Grünbauer, Johannes; Hollmann, Helia; Jürjens, Jan et al.
  • Modelling and Verification of Layered Security Protocols: A Bank Application
  • Stuart Anderson;Massimo Felici;Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129 (Lecture Notes in Computer Science)