Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Whittle, Jon; Jürjens, Jan; Nuseibeh, Bashar et al.
Proceedings of the Workshop on Modeling Security MODSEC 08 held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems MODELS: Toulouse, France, September 28, 2008Aachen: CEUR/RWTH 2008
Jürjens, Jan
Quality Assurance for Security-Critical Systems13th Software & Systems Quality Conferences (SQC08). Congress Center Düsseldorf, Germany. 2008 S. 1 - 40
Höhn, Sebastian; Jürjens, Jan
Rubacon: Automated Support for Model-based Compliance EngineeringWilhelm Schäfer;Matthew B. Dwyer;Volker Gruhn (Hrsg). Proceeding of the 30th International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 875 - 878
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 monitoringBart 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 DevelopmentPaola 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 VerificationSamson 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