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; Wimmel, Guido

Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications

Beat Schmid; Katarina Stanoevska-Slabeva; Volker Tschammer (Hrsg). Towards the E-Society: E-Commerce, E-Business, and E-Government The First IFIP Conference on E-Commerce, E-Business, E-Government I3E 2001: October 3-5, 2001; Zürich, Switzerland. New York: Kluwer Academic Publishers 2001 S. 489 - 505


Jürjens, Jan; Wimmel, Guido

Specification-Based Testing of Firewalls

Dines Bjørner; Manfred Broy; Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers. Berlin: Springer 2001 S. 308 - 316


Werr, U.; Wehling, C.; Ebert, J. et al.

TECHNOLOGIE-FORUM - Wissensmanagement -- interaktive keramische Fehlerdatenbank FGK-IST-CeraNet(R)

Keramische Zeitschrift. Bd. 53. H. 9. Düsseldorf: DVS-Verl. 2001 S. 802 - 807


Ebert, Jürgen; Riediger, V.

The GUPRO C Parser

2001 S. 8


Ebert, Jürgen; Riediger, V.

The GUPRO C Preprocessor

2001 S. 21


Jürjens, Jan

Towards Development of Secure Systems Using UMLsec

Heinrich Hussmann (Hrsg). Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Berlin: Springer 2001 S. 187 - 200


Jürjens, Jan

Transformations for Introducing Patterns - A Secure Systems Case Study

Workshop on Transformations in UML (WTUML, ETAPS 2001 Satellite Event). Genova. 2001 S. 1 - 5


Frey, Hannes

Verteilter Datenabgleich in Spontanen Netzen

Trier: Universität Trier, Fachbereich IV Informatik 2001


Jürjens, Jan

Bridging the gap: Formal vs. Complexity-Theoretical Reasoning about Cryptography

Dagstuhl Seminar Reports. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2000 S. 10


Ganzinger, Harald; Sofronie-Stokkermans, Viorica

Chaining Techniques for Automated Theorem Proving in Many-Valued Logics

Marek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344