Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan; Buda, Lidiya
Geldautomatensicherheit: Die Software bleibt das größte RisikoWIK : Zeitschrift für die Sicherheit der Wirtschaft. Bd. 4. Ingelheim: SecuMedia 2004 S. keine Angaben
Jürjens, Jan; Grünbauer, Johannes; Buda, Lidiya
Hochschulen bauen ihr IT-Security-Angebot ausDie Computer-Zeitung. Stuttgart: Konradin 2004 S. 1 - 3
Jürjens, Jan
IT Sicherheit2004
Jürjens, Jan; Buda, Lidiya
Kopierschutzmechanismen für Digitales VideoSicherheit + Management. Bd. 4. Weinheim: GIT 2004 S. keine Angaben
Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret et al.
Living Book - Deduction, Slicing, and InteractionJournal of Automated Reasoning. Bd. 32. H. 3. Dordrecht: Springer 2004 S. 259 - 286
Jürjens, Jan
Logic for SecuritySpring School Logic in Computer Science. Venezia. 2004
Balcerak, Elisabeth; Schikora, Jacek; Wojke, Philipp et al.
Maneuver-based assistance for backing up articulated vehiclesDanwei Wang (Hrsg). Proceedings of the IEEE Conference on Robotics, Automation and Mechatronics RAM 2004: 1 - 3 December, 2004; Singapore; Volume 2. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2004 S. 1066 - 1071
Jürjens, Jan
Model-based Security with UMLsec - Web-castUMLchina. 2004
Jürjens, Jan
Model-driven engineering of dependable critical systems with UML: A TutorialInternational Symposium on Software Reliability Engineering (ISSRE 2004). Saint-Malo, Bretagne. 2004
Jürjens, Jan
Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement - Invited talkSystems 2004 (Software Development & Architecture Forum). München. 2004