Incremental Security Verification for Evolving UMLsec models
Submitted by TUD on Fri, 2012-01-27 11:04
| Title | Incremental Security Verification for Evolving UMLsec models |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Jürjens, J., L. Marchal, M. Ochoa, and H. Schmidt |
| Conference Name | Proc. of the 7th European Conference on Modelling Foundations and Applications (ECMFA'11) |
| Conference Location | Birmingham, UK |
| DOI | http://dx.doi.org/10.1007/978-3-642-21470-7_5 |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
