Search results for "UMLsec"

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