Search results for "UMLsec"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
2	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
2	Bastian Best, Jan Jürjens, Bashar Nuseibeh	Model-Based Security Engineering of Distributed Information Systems Using UMLsec.	ICSE	2007	DBLP DOI BibTeX RDF
2	Jan Jürjens, Pasha Shabalin	Automated Verification of UMLsec Models for Security Requirements.	UML	2004	DBLP DOI BibTeX RDF
2	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
2	Jan Jürjens	UMLsec: Extending UML for Secure Systems Development.	UML	2002	DBLP DOI BibTeX RDF
1	Holger Schmidt, Jan Jürjens	Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec.	CAiSE	2011	DBLP DOI BibTeX RDF
1	Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt	Incremental Security Verification for Evolving UMLsec models.	ECMFA	2011	DBLP DOI BibTeX RDF
1	Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt	Systematic Development of UMLsec Design Models Based on Security Requirements.	FASE	2011	DBLP DOI BibTeX RDF
1	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
1	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
1	Raimundas Matulevicius, Marlon Dumas	Towards Model Transformation between SecureUML and UMLsec for Role-based Access Control.	DB&IS	2010	DBLP DOI BibTeX RDF
1	Feng Chen, Weihua Li, Dingyi Fang, Xiaojiang Chen	Research on Integration of Safety Analysis in Model-Driven Software Development.	IAS	2009	DBLP DOI BibTeX RDF
1	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
1	Jan Jürjens	Model-based Security Testing Using UMLsec: A Case Study.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Jan Jürjens, Jörg Schreck, Yijun Yu	Automated Analysis of Permission-Based Security Using UMLsec.	FASE	2008	DBLP DOI BibTeX RDF
1	Ralph Herkenhöner	Process Modeling for Privacy - Conformant Biobanking: Case Studies on Modeling in UMLsec.	WOSIS	2008	DBLP BibTeX RDF
1	Jan Jürjens	Model-Based Run-Time Checking of Security Permissions Using Guarded Objects.	RV	2008	DBLP DOI BibTeX RDF
1	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
1	Jan Jürjens, Pasha Shabalin	Tools for secure systems development with UML.	STTT	2007	DBLP DOI BibTeX RDF	Security, UML, Formal verification, Tool-support, Model-based development
1	Haralambos Mouratidis, Jan Jürjens, Jorge Fox	Towards a Comprehensive Framework for Secure Systems Development.	CAiSE	2006	DBLP DOI BibTeX RDF
1	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
1	Jan Jürjens, Pasha Shabalin	Tools for Secure Systems Development with UML: Security Analysis with ATPs.	FASE	2005	DBLP DOI BibTeX RDF
1	Jan Jürjens	Model-Based Security Engineering with UML: Introducing Security Aspects.	FMCO	2005	DBLP DOI BibTeX RDF
1	Jan Jürjens, Siv Hilde Houmb	Risk-Driven Development Of Security-Critical Systems Using UMLsec.	IFIP Congress Tutorials	2004	DBLP BibTeX RDF
1	Robert Schmidt, Jan Jürjens	Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem.	Modellierung	2004	DBLP BibTeX RDF
1	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
1	Jan Jürjens	Model-Based Security Engineering with UML.	FOSAD	2004	DBLP DOI BibTeX RDF
1	Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu	Security-Critical System Development with Extended Use Cases.	APSEC	2003	DBLP DOI BibTeX RDF
1	Jan Jürjens	Towards Development of Secure Systems Using UMLsec.	FASE	2001	DBLP DOI BibTeX RDF