Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Fox, Jorge; Jürjens, Jan
A Framework for Analyzing Composition of Security AspectsEd Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel Wieringa (Hrsg). Methods for Modelling Software Systems MMOSS - Dagstuhl Seminar Proceedings 06351: 27.08. - 01.09.2006; Schloß Dagstuhl. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2006 S. 1 - 25
Jürjens, Jan
Building Biometric Authentication Systems: Pitfalls and How to Avoid ThemAnnual Computer Security Applications Conference (ACSAC 2006). 2006
Jürjens, Jan
Foundations for Designing Secure ArchitecturesElectronic Notes in Theoretical Computer Science. Bd. 142. H. 3. Amsterdam: Elsevier 2006 S. 31 - 46
Jürjens, Jan
Model-Based Security Engineering for RealJayadev Misra; Tobias Nipkow; Emil Sekerinski (Hrsg). FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin: Springer 2006 S. 600 - 606
Jürjens, Jan
Model-Based Security Engineering with UML: Introducing Security AspectsFrank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever (Hrsg). Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Berlin: Springer 2006 S. 64 - 87
Jürjens, Jan
Model-based Security Engineering: KeynoteSECRYPT. 2006
Jürjens, Jan
Modeling and Compositional Design for Secure Embedded Systems (Invited Talk)NSF-IST workshop: Long Term Challenges in High Confidence Composable Embedded Systems, Helsinki (Finland), June 20--23, 2006. 2006
Jürjens, Jan
Security Analysis of Crypto-based Java Programs using Automated Theorem ProversShinichi Honiden; Sebastian Uchitel; Steve Easterbrook (Hrsg). Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006: 18 - 22 September 2006; Tokyo, Japan. Los Alamitos, CA: IEEE Computer Society 2006 S. 167 - 176
Jürjens, Jan
Sicherheit - Wo stehen wir heute aus Sicht der Wissenschaft?Microsoft DevDays Security 2006. Munich. 2006
Jürjens, Jan; Fox, J.
Tools for Model-based Security Engineering28th International Conference on Software Engineering (ICSE 2006). ACM 2006 (ICSE)