Graph transformation for specification and programming
Science of Computer Programming
Automating Support for Software Evolution in UML
Automated Software Engineering
Metrics and Laws of Software Evolution - The Nineties View
METRICS '97 Proceedings of the 4th International Symposium on Software Metrics
Instant and Incremental Transformation of Models
Proceedings of the 19th IEEE international conference on Automated software engineering
Sound methods and effective tools for model-based security engineering with UML
Proceedings of the 27th international conference on Software engineering
On the architectural alignment of ATL and QVT
Proceedings of the 2006 ACM symposium on Applied computing
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Science of Computer Programming
Tools for secure systems development with UML
International Journal on Software Tools for Technology Transfer (STTT)
Tools for model-based security engineering: models vs. code
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
On Challenges for a Graphical Transformation Notation and the UMLX Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Rubacon: automated support for model-based compliance engineering
Proceedings of the 30th international conference on Software engineering
ATL: A model transformation tool
Science of Computer Programming
Automated analysis of security-design models
Information and Software Technology
A UML-based static verification framework for security
Requirements Engineering - Special Issue on RE'09: Security Requirements Engineering; Guest Editors: Eric Dubois and Haralambos Mouratidis
Model-Based Argument Analysis for Evolving Security Requirements
SSIRI '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
Conflicts as first-class entities: a UML profile for model versioning
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Incremental security verification for evolving UMLsec models
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Model-Based Security Verification and Testing for Smart-cards
ARES '11 Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model transformation language MOLA
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
A sound decision procedure for the compositionality of secrecy
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Non-interference on UML state-charts
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
| Hi-index | 0.00 |
In model-based development, quality properties such as consistency of security requirements are often verified prior to code generation. Changed models have to be re-verified before re-generation. If several alternative evolutions of a model are possible, each alternative has to be modeled and verified to find the best model for further development. We present a verification strategy to analyze whether evolution preserves given security properties. The UMLchange profile is used for specifying potential evolutions of a given model simultaneously. We present a tool that reads these annotations and computes a delta containing all possible evolution paths. The paths can be verified wrt. security properties, and for each successfully verified path a new model version is generated automatically.