Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Ebert, Jürgen; Widmann, F.; Winter, A.
Entwicklung von Batch-Jobs bei der Debeka. Ist-Analyse und Anforderungsbeschreibung2001 S. 38
Ebert, Jürgen; Widmann, F.
Entwicklung von Batch-Jobs bei der Debeka. Konzeptvorschlag für eine Datenstruktur des Repositories2001 S. 120
Kullbach, Bernt; Riediger, Volker; Ebert, Jürgen
Folding : an approach to enable program understanding of preprocessed languagesKoblenz-Landau: Univ., Inst. für Informatik 2001 0 S. (Fachberichte Informatik ; 2001,7-13)
Jürjens, Jan
Formal Development and Verification of Security-Critical Systems with UML. In Workshop on Automated Verification of Critical Systems AVoCS 2001; 19. - 21. April, 2001; Oxford: Published as OUCL Technical Report PRG-RR-01-07Workshop on Automated Verification of Critical Systems (AVoCS 2001). Oxford. 2001 S. 1 - 4
Abadi, Martín; Jürjens, Jan
Formal Eavesdropping and Its Computational InterpretationNaoki 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
Wimmel, Guido; Jürjens, Jan
Formally Testing Fail-safety of Electronic Purse ProtocolsDebra Richardson; Martin S. Feather; Michael Goedicke (Hrsg). Proceedings of the16th Annual International Conference on Automated Software Engineering ASE 2001: 26-29 November 2001; Loew’s Coronado Bay Resort, Coronado Island, San Diego, California. Los Alamitos, CA: IEEE Computer Society 2001 S. 408 - 411
Ebert, Jürgen; Kamp, M.; Kullbach, B.
GReQL -- Eine Anfragesprache für das GUPRO-Repository -- Sprachbeschreibung (Version 1.3)2001 S. 35
Baumgartner, P.
Knowledge Management Systemhttp://www.uni-koblenz.de/~peter/KMS-deliverable.pdf. 2001
Jürjens, Jan
Modelling Audit Security for Smart-Cart Payment Schemes with UML-SECMichel Dupuy; Pierre Paradinas (Hrsg). Trusted Information: The New Decade Challenge. Boston: Springer 2001 S. 93 - 107