Follow
Jan Jürjens
Jan Jürjens
Universität Koblenz-Landau, Germany
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
11082005
UMLsec: Extending UML for secure systems development
J Jürjens
≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002
10342002
Towards development of secure systems using UMLsec
J Jürjens
Fundamental Approaches to Software Engineering: 4th International Conference …, 2001
2272001
Data security and consumer trust in FinTech innovation in Germany
H Stewart, J Jürjens
Information & Computer Security, 2018
1892018
Comparing bug finding tools with reviews and tests
S Wagner, J Jürjens, C Koller, P Trischberger
Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International …, 2005
1802005
Formal eavesdropping and its computational interpretation
M Abadi, J Jürjens
Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001
1802001
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, 63-93, 2010
1702010
An integrated security verification and security solution design trade-off analysis approach
SH Houmb, G Georg, J Jurjens, R France
Information Security and Ethics: Concepts, Methodologies, Tools, and …, 2008
155*2008
Sound methods and effective tools for model-based security engineering with UML
J Jürjens
Proceedings of the 27th international Conference on Software Engineering …, 2005
1422005
Using UMLsec and goal trees for secure systems development
J Jürjens
Proceedings of the 2002 ACM symposium on Applied computing, 1026-1030, 2002
1092002
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
1062007
Information security management and the human aspect in organizations
H Stewart, J Jürjens
Information & Computer Security, 2017
952017
Specification-based testing of firewalls
J Jürjens, G Wimmel
Perspectives of System Informatics: 4th International Andrei Ershov Memorial …, 2001
912001
Specification-based test generation for security-critical systems using mutations
G Wimmel, J Jürjens
Formal Methods and Software Engineering: 4th International Conference on …, 2002
902002
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
862011
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
842007
From goal‐driven security requirements engineering to secure design
H Mouratidis, J Jurjens
International Journal of Intelligent Systems 25 (8), 813-840, 2010
832010
Model-based security testing using umlsec: A case study
J Jürjens
Electronic Notes in Theoretical Computer Science 220 (1), 93-104, 2008
782008
Reference Architecture Model. Version 3.0
B Otto, S Steinbuß, A Teuscher, S Lohmann, S Bader, P Birnstil, ...
International Data Spaces Association, 2019
772019
Secrecy-preserving refinement
J Jürjens
FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001
752001
The system can't perform the operation now. Try again later.
Articles 1–20