Starten Sie Ihre Suche...


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

Prof. Dr. Jan Jürjens

Institut für Softwaretechnik, Universität Koblenz

Publikationen
Ergebnisse pro Seite:  10

Höhn, Sebastian; Jürjens, Jan

Rubacon: automated support for model-based compliance engineering.

ICSE. 2008 S. 875 - 878


Jürjens, Jan

Security protocols, properties, and their monitoring

Bart De Win;Seok-Won Lee;Mattia Monga (Hrsg). Proceedings of the 4th International Workshop on Software Engineering for Secure Systems SESS 2008 held at the Thirteenth International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 33 - 40


Bauer, Andreas; Jürjens, Jan

Security protocols, properties, and their monitoring.

SESS. 2008 S. 33 - 40


Yu, Yijun; Jürjens, Jan; Schreck, Jörg

Tools for Traceability in Secure Software Development

Paola Inverardi;Andrew Ireland;Willem Visser (Hrsg). Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering ASE 2008: 15-19 September, 2008; L’Aquila , Italy. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2008 S. 503 - 504


Yu, Yijun; Jürjens, Jan; Schreck, Jörg

Tools for Traceability in Secure Software Development.

ASE. 2008 S. 503 - 504


Jürjens, Jan; Yu, Yijun; Bauer, Andreas

Tools for Traceable Security Verification

Samson Abramsky;Erol Gelenbe;Vladimiro Sassone (Hrsg). Visions of Computer Science - BCS Research Conference: Proceedings of Visions of Computer Science BCS Research Conference; Imperial College, London, UK; 22–24 September 2008. Swindon: British Computer Society 2008 S. 367 - 378


Jürjens, Jan; Yu, Yijun; Bauer, Andreas

Tools for Traceable Security Verification.

BCS Int. Acad. Conf. 2008 S. 367 - 390


Ratiu, Daniel; Feilkas, Martin; Deissenböck, Florian et al.

Towards a Repository of Common Programming Technologies Knowledge

International Workshop on Semantic Technologies in System Maintenance (STSM 2008). 2008 S. 1 - 24


Jürjens, Jan

Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets Extension

ABZ 2008 VSRnet Workshop. 2008 S. 1 - 31


Yu, Yijun; Jürjens, Jan; Mylopoulos, John

Traceability for the maintenance of secure software.

ICSM. 2008 S. 297 - 306