Model-Based Security Engineering for Real

FM 2006: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/11813040_42 ◽

2006 ◽

pp. 600-606 ◽

Cited By ~ 1

Author(s):

Jan Jürjens

Keyword(s):

Security Engineering ◽

Model Based

Download Full-text

Sound methods and effective tools for model-based security engineering with UML

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. ◽

10.1145/1062455.1062519 ◽

2005 ◽

Cited By ~ 23

Author(s):

Jan Jürjens

Keyword(s):

Security Engineering ◽

Model Based

Download Full-text

Model-based security engineering for cyber-physical systems: A systematic mapping study

Information and Software Technology ◽

10.1016/j.infsof.2016.11.004 ◽

2017 ◽

Vol 83 ◽

pp. 116-135 ◽

Cited By ~ 37

Author(s):

Phu H. Nguyen ◽

Shaukat Ali ◽

Tao Yue

Keyword(s):

Cyber Physical Systems ◽

Systematic Mapping Study ◽

Mapping Study ◽

Systematic Mapping ◽

Security Engineering ◽

Physical Systems ◽

Model Based

Download Full-text

Model-Based Security Engineering with UML: The Last Decade and towards the Future (Keynote)

2010 IEEE Symposium on Visual Languages and Human-Centric Computing ◽

10.1109/vlhcc.2010.10 ◽

2010 ◽

Author(s):

Jan Jurjens

Keyword(s):

Security Engineering ◽

Model Based ◽

The Future

Download Full-text

Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2018.00056 ◽

2018 ◽

Author(s):

Armin Lunkeit ◽

Ina Schieferdecker

Keyword(s):

Security Testing ◽

Security Engineering ◽

Model Based ◽

Test Models

Download Full-text

Model-based Security Engineering with UML

Secure Systems Development with UML ◽

10.1007/3-540-26494-9_4 ◽

2005 ◽

pp. 49-74

Keyword(s):

Security Engineering ◽

Model Based

Download Full-text

Model-Based Security Engineering of Distributed Information Systems Using UMLsec

29th International Conference on Software Engineering (ICSE'07) ◽

10.1109/icse.2007.55 ◽

2007 ◽

Cited By ~ 26

Author(s):

Bastian Best ◽

Jan Jurjens ◽

Bashar Nuseibeh

Keyword(s):

Information Systems ◽

Distributed Information Systems ◽

Security Engineering ◽

Distributed Information ◽

Model Based

Download Full-text

A Model-Based Approach to Support Systems-of-Systems Security Engineering for Data Policies

Insight ◽

10.1002/inst.201114218 ◽

2011 ◽

Vol 14 (2) ◽

pp. 18-22 ◽

Cited By ~ 1

Author(s):

Daniele Gianni ◽

Lindman Niklas ◽

Fuchs Joachim ◽

Suzic Robert ◽

Fischer Daniel

Keyword(s):

Support Systems ◽

Systems Of Systems ◽

Security Engineering ◽

Model Based ◽

Systems Security ◽

Systems Security Engineering

Download Full-text

Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models

Foundations of Security Analysis and Design VII - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10082-1_2 ◽

2014 ◽

pp. 34-53 ◽

Cited By ~ 6

Author(s):

Jens Bürger ◽

Jan Jürjens ◽

Thomas Ruhroth ◽

Stefan Gärtner ◽

Kurt Schneider

Keyword(s):

Security Engineering ◽

Model Based ◽

Software Models

Download Full-text

15 Years of Model-Based Security Engineering with UML - Supporting Secure Evolution

Proceedings of the Sixth International Symposium on Business Modeling and Software Design ◽

10.5220/0006221500050006 ◽

2016 ◽

Author(s):

Jan Jürjens

Keyword(s):

Security Engineering ◽

Model Based

Download Full-text

A Semantic Model-Based Security Engineering Framework for Cyber-Physical Systems

2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) ◽

10.1109/trustcom50675.2020.00250 ◽

2020 ◽

Author(s):

Andreas Aigner ◽

Abdelmajid Khelil

Keyword(s):

Cyber Physical Systems ◽

Semantic Model ◽

Security Engineering ◽

Physical Systems ◽

Model Based

Download Full-text