Incremental security verification for evolving UMLsec models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6698 LNCS, Issue , 2011, Pages 52-68

  Jürjens, Jan ^a,b   Marchal, Loïc ^c   Ochoa, Martín ^a   Schmidt, Holger ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

^b Fraunhofer ISST ^*  (Germany)

^c Hermes Engineering   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

INCREMENTAL VERIFICATION; SECURE SOFTWARE DEVELOPMENT; SECURITY ANALYSIS; SECURITY PROPERTIES; SECURITY VERIFICATION; SYSTEM DEVELOPMENT; TOOL SUPPORT; VERIFICATION TECHNIQUES; SECURITY-CRITICAL; TECHNIQUES AND TOOLS;

SOFTWARE DESIGN;

SOFTWARE ENGINEERING;

EID: 79959249133     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21470-7_5     Document Type: Conference Paper

References (17)

1. Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Schürr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming 34(1), 1-54 (1999)
2. Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? Transformation models! In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 440-453. Springer, Heidelberg (2006)
3. Garlan, D., Barnes, J., Schmerl, B., Celiku, O.: Evolution styles: Foundations and tool support for software architecture evolution. In: WICSA/ECSA 2009, pp. 131-140 (September 2009)
4. Heckel, R.: Compositional verification of reactive systems specified by graph transformation. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 138-153. Springer, Heidelberg (1998)
5. Johann, S., Egyed, A.: Instant and incremental transformation of models. In: Proceedings of the International Conference on Automated Software Engineering (ASE), pp. 362-365. IEEE Computer Society, Washington, DC, USA (2004)
6. Jürjens, J.: Principles for Secure Systems Design. PhD thesis, Oxford University Computing Laboratory (2002)
7. Jürjens, J., Ochoa, M., Schmidt, H., Marchal, L., Houmb, S., Islam, S.: Modelling secure systems evolution: Abstract and concrete change specifications (invited lecture). In: Bernardo, I. (ed.) 11th School on Formal Methods (SFM 2011), Bertinoro, Italy, June 13-18. LNCS. Springer, Heidelberg (2011)
8. Jürjens, J., Shabalin, P.: Tools for secure systems development with UML. Intern. Journal on Software Tools for Technology Transfer 9(5-6), 527-544 (2007); Invited submission to the special issue for FASE 2004/05
9. Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the small with the epsilon wizard language. Journal of Object Technology 6(9), 53-69 (2007)
10. Lehman, M.M., Ramil, J.F., Wernick, P.D., Perry, D.E., Turski, W.M.: Metrics and Laws of Software Evolution - The Nineties View. In: METRICS 1997, pp. 20-32. IEEE Computer Society, Washington, DC, USA (1997)
11. Mellado, D., Rodriguez, J., Fernandez-Medina, E., Piattini, M.: Automated Support for Security Requirements Engineering in Software Product Line Domain Engineering. In: AReS 2009, pp. 224-231. IEEE Computer Society, Los Alamitos, CA, USA (2009)
12. Mens, T., D'Hondt, T.: Automating support for software evolution in UML. Automated Software Engineering Journal 7(1), 39-59 (2000)
13. Mens, T., Magee, J., Rumpe, B.: Evolving Software Architecture Descriptions of Critical Systems. Computer 43(5), 42-48 (2010)
14. Rensink, A., Schmidt, Á., Varró, D.: Model checking graph transformations: A comparison of two approaches. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 226-241. Springer, Heidelberg (2004)
15. Secure Change Project. Deliverable 4.2, http://www-jj.cs.tu-dortmund.de/ jj/deliverable-4-2.pdf
16. Shin, M.E., Gomaa, H.: Software requirements and architecture modeling for evolving non-secure applications into secure applications. Science of Computer Programming 66(1), 60-70 (2007)
17. Tun, T.T., Yu, Y., Haley, C.B., Nuseibeh, B.: Model-based argument analysis for evolving security requirements. In: SSIRI 2010, pp. 88-97. IEEE Computer Society, Los Alamitos (2010)