Jan Jürjens
Jan Jürjens
Universität Koblenz-Landau
Verified email at jurjens.de - Homepage
Title
Cited by
Cited by
Year
Secure systems development with UML
J Jürjens
Springer Science & Business Media, 2005
10162005
UMLsec: Extending UML for secure systems development
J Jürjens
International Conference on The Unified Modeling Language, 412-425, 2002
9012002
Towards development of secure systems using UMLsec
J Jürjens
International Conference on Fundamental Approaches to Software Engineering …, 2001
2092001
Formal eavesdropping and its computational interpretation
M Abadi, J Jürjens
International Symposium on Theoretical Aspects of Computer Software, 82-94, 2001
1672001
Comparing bug finding tools with reviews and tests
S Wagner, J Jürjens, C Koller, P Trischberger
IFIP International Conference on Testing of Communicating Systems, 40-55, 2005
1522005
Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec
SH Houmb, S Islam, E Knauss, J Jürjens, K Schneider
Requirements Engineering 15 (1), 63-93, 2010
1442010
Sound methods and effective tools for model-based security engineering with UML
J Jurjens
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
1302005
Integrating Security and Software Engineering: Advances and Future Visions: Advances and Future Visions
H Mouratidis
Igi Global, 2006
1142006
Using UMLsec and goal trees for secure systems development
J Jürjens
Proceedings of the 2002 ACM symposium on Applied computing, 1026-1030, 2002
1002002
Model-based security engineering of distributed information systems using UMLsec
B Best, J Jurjens, B Nuseibeh
29th International Conference on Software Engineering (ICSE'07), 581-590, 2007
922007
Specification-based testing of firewalls
J Jürjens, G Wimmel
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
842001
Specification-based test generation for security-critical systems using mutations
G Wimmel, J Jürjens
International Conference on Formal Engineering Methods, 471-482, 2002
822002
From goal‐driven security requirements engineering to secure design
H Mouratidis, J Jurjens
International Journal of Intelligent Systems 25 (8), 813-840, 2010
742010
Extracting and verifying cryptographic models from C protocol code by symbolic execution
M Aizatulin, AD Gordon, J Jürjens
Proceedings of the 18th ACM conference on Computer and communications …, 2011
682011
Model-based security testing using umlsec: A case study
J Jürjens
Electronic Notes in Theoretical Computer Science 220 (1), 93-104, 2008
682008
Tools for secure systems development with UML
J Jürjens, P Shabalin
International Journal on Software Tools for Technology Transfer 9 (5-6), 527-544, 2007
682007
Secrecy-preserving refinement
J Jürjens
International Symposium of Formal Methods Europe, 135-152, 2001
682001
Security-critical system development with extended use cases
G Popp, J Jurjens, G Wimmel, R Breu
Tenth Asia-Pacific Software Engineering Conference, 2003., 478-487, 2003
632003
Model-based security analysis for mobile communications
J Jürjens, J Schreck, P Bartmann
2008 ACM/IEEE 30th International Conference on Software Engineering, 683-692, 2008
622008
Sound development of secure service-based systems
M Deubler, J Grünbauer, J Jürjens, G Wimmel
Proceedings of the 2nd international conference on Service oriented …, 2004
622004
The system can't perform the operation now. Try again later.
Articles 1–20