|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 19 keywords
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Jan Jürjens, Pasha Shabalin |
Automated Verification of UMLsec Models for Security Requirements. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
91 | Jan Jürjens, Jörg Schreck, Peter Bartmann |
Model-based security analysis for mobile communications. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
mobile telecommunication systems, umlsec, uml, model-based software engineering |
89 | Bastian Best, Jan Jürjens, Bashar Nuseibeh |
Model-Based Security Engineering of Distributed Information Systems Using UMLsec. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
89 | Siv Hilde Houmb, Jan Jürjens |
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
80 | John Lloyd, Jan Jürjens |
Security Analysis of a Biometric Authentication System Using UMLsec and JML. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
UMLsec, Security analysis, biometric authentication, JML |
80 | Jan Jürjens |
Using UMLsec and goal trees for secure systems development. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
UMLsec, goal trees, secure systems development, Unified Modeling Language (UML), UML, formal semantics |
69 | Jan Jürjens |
UMLsec: Extending UML for Secure Systems Development. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
60 | Jan Jürjens |
Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
security software engineering, formal methods in security, electronic purses, cryptographic protocols, security models, security engineering, security evaluation, high assurance systems, security verification |
40 | Jan Jürjens, Pasha Shabalin |
Tools for secure systems development with UML. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
Security, UML, Formal verification, Tool-support, Model-based development |
40 | Jan Jürjens |
Model-Based Security Engineering with UML: Introducing Security Aspects. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Jan Jürjens |
Sound methods and effective tools for model-based security engineering with UML. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
verification biometric authentication, verification framework, security, UML, unified modeling language, cryptographic protocol |
40 | Jan Jürjens, Pasha Shabalin |
Tools for Secure Systems Development with UML: Security Analysis with ATPs. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Jan Jürjens |
Model-Based Security Engineering with UML. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Sven Smolka, Jan Laufer 0001, Zoltán Ádám Mann, Klaus Pohl |
UMLsec4Edge: Extending UMLsec to model data-protection-compliant edge computing systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Shouki A. Ebad |
An Exploratory Study of Why UMLsec Is Not Adopted. |
ICISSP |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Sven Smolka, Jan Laufer 0001, Zoltán Ádám Mann, Klaus Pohl |
UMLsec4Edge: Extending UMLsec to model data-protection-compliant edge computing systems. |
SEAA |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Jan Laufer 0001, Zoltán Ádám Mann, Andreas Metzger |
Modelling Data Protection in Fog Computing Systems using UMLsec and SysML-Sec. |
MoDELS (Companion) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Ibukun Fadahunsi, Oluwasefunmi 'Tale Arogundade, Adesina S. Sodiya, Bakai Olajuwon |
Towards a UMLsec-Based Proctored Examination Model. |
Int. J. Syst. Softw. Secur. Prot. |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Ruhroth, Jan Jürjens |
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Holger Schmidt 0001, Jan Jürjens |
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec. |
CAiSE |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt 0001 |
Incremental Security Verification for Evolving UMLsec models. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt 0001 |
Systematic Development of UMLsec Design Models Based on Security Requirements. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Siv Hilde Houmb, Shareeful Islam, Eric Knauss, Jan Jürjens, Kurt Schneider |
Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec. |
Requir. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Raimundas Matulevicius, Marlon Dumas |
Towards Model Transformation between SecureUML and UMLsec for Role-based Access Control. |
DB&IS |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint |
Tool support for code generation from a UMLsec property. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Jan Jürjens |
Model-based Security Testing Using UMLsec: A Case Study. |
MBT@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Ralph Herkenhöner |
Process Modeling for Privacy - Conformant Biobanking: Case Studies on Modeling in UMLsec. |
WOSIS |
2008 |
DBLP BibTeX RDF |
|
29 | Shareeful Islam, Jan Jürjens |
Incorporating Security Requirements from Legal Regulations into UMLsec model. |
MODSEC@MoDELS |
2008 |
DBLP BibTeX RDF |
|
29 | Jan Jürjens, Jörg Schreck, Yijun Yu |
Automated Analysis of Permission-Based Security Using UMLsec. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Jan Jürjens, Siv Hilde Houmb |
Risk-Driven Development Of Security-Critical Systems Using UMLsec. |
IFIP Congress Tutorials |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Robert Schmidt, Jan Jürjens |
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem. |
Modellierung |
2004 |
DBLP BibTeX RDF |
|
29 | Jan Jürjens |
Developing Secure Systems with UMLsec - From Business Processes to Implementation. |
VIS |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Jan Jürjens |
Towards Development of Secure Systems Using UMLsec. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Feng Chen 0002, Weihua Li, Dingyi Fang, Xiaojiang Chen |
Research on Integration of Safety Analysis in Model-Driven Software Development. |
IAS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Haralambos Mouratidis, Ali Sunyaev, Jan Jürjens |
Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Jan Jürjens |
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jan Jürjens, Yijun Yu |
Tools for model-based security engineering: models vs. code. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
security hardening, verification framework, security, UML, refactoring, code analysis, model-based software engineering |
20 | Haralambos Mouratidis, Jan Jürjens, Jorge Fox |
Towards a Comprehensive Framework for Secure Systems Development. |
CAiSE |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu |
Security-Critical System Development with Extended Use Cases. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|