Starten Sie Ihre Suche...


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

Institut für Softwaretechnik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2722
  • 0261/287-2721
Publikationen
Ergebnisse pro Seite:  10

Jürjens, Jan

Model-based Security Engineering: Keynote

SECRYPT. 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 Provers

Shinichi 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 Engineering

28th International Conference on Software Engineering (ICSE 2006). ACM 2006 (ICSE)


Jürjens, Jan; Fox, Jorge

Tools for Model-based Security Engineering

Leon J. Osterweil; Dieter Rombach; Mary Lou Soffa (Hrsg). Proceedings of the 28th International Conference on Software Engineering ICSE 2006: May 20. - 28., 2006; Shanghai, China. New York, NY: ACM Association for Computing Machinery 2006 S. 819 - 822


Mouratidis, Haralambos; Jürjens, Jan; Fox, Jorge

Towards a Comprehensive Framework for Secure Systems Development

Eric Dubois; Klaus Pohl (Hrsg). Advanced Information Systems Engineering: 18th International Conference, CAiSE 2006: Luxembourg, Luxembourg, June 5-9, 2006; Proceedings. Berlin: Springer 2006 S. 48 - 62


Jürjens, Jan

Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers

Dan Thomsen; Christoph Schuba; Charles Payne (Hrsg). Proceedings of the 21st Annual Computer Security Applications Conference ACSAC 2005: 5-9 December 2005; Tucson, Arizona. Los Alamitos, CA: IEEE Computer Society 2005 S. 138 - 149


Jürjens, Jan; Yampolskiy, Mark

Code security analysis with assertions

David F. Redmiles; Tom Ellman; Andrea Zisman (Hrsg). Proceeding of the 20th IEEE/ACM International Conference on Automated Software Engineering ASE 2005: Long Beach, California, USA; November 7-11, 2005. New York, NY: ACM Association for Computing Machinery 2005 S. 392 - 395


Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.

Comparing Bug Finding Tools with Reviews and Tests

Ferhat Khendek; Rachida Dssouli (Hrsg). Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005. Proceedings. Berlin: Springer 2005 S. 40 - 55