Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Jürjens, Jan

Composability of Secrecy

Vladimir I. Gorodetski; Victor A. Skormin; Leonard J. Popyack (Hrsg). Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings. Berlin: Springer 2001 S. 28 - 38


Jürjens, Jan

Developing Secure Systems with UMLsec - From Business Processes to Implementation

Dirk Fox;Marit Köhntopp;Andreas Pfitzmann (Hrsg). Verlässliche IT-Systeme 2001: Sicherheit in komplexen IT-Infrastrukturen. Wiesbaden: Vieweg + Teubner 2001 S. 151 - 161 (DuD-Fachbeiträge)


Ebert, Jürgen; Kullbach, B.; Schmitz, G.

Dokumentation des Ada-Parsers für GUPRO

2001


Jürjens, Jan

Encapsulating Rules of Prudent Security Engineering: (Position Paper)

Bruce Christianson; James A. Malcolm; Bruno Crispo; Michael Roe (Hrsg). Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers. Berlin: Springer 2001 S. 95 - 101


Jürjens, Jan

Encapsulating Rules of Prudent Security Engineering: (Transcript of Discussion)

Bruce Christianson; James A. Malcolm; Bruno Crispo; Michael Roe (Hrsg). Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers. Berlin: Springer 2001 S. 102 - 106




Kullbach, Bernt; Riediger, Volker; Ebert, Jürgen

Folding : an approach to enable program understanding of preprocessed languages

Koblenz-Landau: Univ., Inst. für Informatik 2001 0 S. (Fachberichte Informatik ; 2001,7-13)



Abadi, Martín; Jürjens, Jan

Formal Eavesdropping and Its Computational Interpretation

Naoki Kobayashi; Benjamin C. Pierce (Hrsg). Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. Berlin: Springer 2001 S. 82 - 94