Automated Verification of UMLsec Models for Security Requirements

  title={Automated Verification of UMLsec Models for Security Requirements},
  author={Jan J{\"u}rjens and Pasha Shabalin},
For model-based development to be a success in practice, it needs to have a convincing added-value associated with its use. Our goal is to provide such added-value by developing tool-support for the analysis of UML models against difficult system requirements. Towards this goal, we describe a UML verification framework supporting the construction of automated requirements analysis tools for UML diagrams. The framework is connected to industrial CASE tools using XMI and allows convenient access… CONTINUE READING
Highly Cited
This paper has 129 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 37 extracted citations

A Static Verification Framework for Secure Peer-to-Peer Applications

Second International Conference on Internet and Web Applications and Services (ICIW'07) • 2007
View 3 Excerpts
Highly Influenced

An enhancement on class diagram to model a secure context aware system

2017 International Conference on Innovations in Green Energy and Healthcare Technologies (IGEHT) • 2017
View 1 Excerpt

Generating attacks in SysML activity diagrams by detecting attack surfaces

J. Ambient Intelligence and Humanized Computing • 2015
View 1 Excerpt

A Security Risk Assessment Framework for SysML Activity Diagrams

2013 IEEE 7th International Conference on Software Security and Reliability • 2013
View 1 Excerpt

130 Citations

Citations per Year
Semantic Scholar estimates that this publication has 130 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…