Model-driven development of a secure ehealth application

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

Volumn 8431, Issue , 2014, Pages 97-118

  De García Dios, Miguel A ^a   Dania, Carolina ^a   Basin, David ^b   Clavel, Manuel ^a  

^a IMDEA SOFTWARE INSTITUTE   (Spain)

^b ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; INFORMATION MANAGEMENT; QUALITY ASSURANCE;

ASSOCIATED TOOL; E-HEALTH APPLICATIONS; MANAGEMENT APPLICATIONS; MODEL DRIVEN DEVELOPMENT; MODEL-DRIVEN METHODOLOGY; SECURE DATA MANAGEMENTS; SEPARATION OF CONCERNS; WEB APPLICATION;

MOBILE SECURITY;

EID: 84925011585     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (16)

1. ActionGUI. The ActionGUI project (2013), http://www.actiongui.org.
2. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, UK (2010).
3. Basin, D., Clavel, M., Egea, M., de Dios, M. A. G., Dania, C.: A model-driven methodology for developing secure data-management applications. IEEE Transactions on Software Engineering (to appear, 2014).
4. Basin, D., Doser, J., Lodderstedt, T.: Model driven security: From UML models to access control infrastructures. ACM Transactions on Software Engineering and Methodology 15(1), 39-91 (2006).
5. Basin, D. A., Clavel, M., Egea, M.: A decade of model-driven security. In: Proceedings of the 16th ACM Symposium on Access Control Models and Technologies (SACMAT 2011), Innsbruck, Austria, vol. 1998443, pp. 1-10 (2011).
6. Busch, M.: Integration of security aspects in web engineering. Master’s thesis, Institut für Informatik, Ludwig-Maximilians-Universität, München, Germany (2011).
7. Busch, M., Koch, N.: MagicUWE- a case tool plugin for modeling web applications. In: Gaedke, M., Grossniklaus, M., Díaz, O. (eds.) ICWE 2009. LNCS, vol. 5648, pp. 505-508. Springer, Heidelberg (2009).
8. Dania, C., Clavel, M.: OCL2FOL+: Coping with Undefinedness. In: Cabot, J., Gogolla, M., Ráth, I., Willink, E. D. (eds.) OCL@MoDELS. CEUR Workshop Proceedings, vol. 1092, pp. 53-62. CEUR-WS. org (2013).
9. Ferraiolo, D. F., Sandhu, R. S., Gavrila, S., Kuhn, D. R., Chandramouli, R.: Proposed NIST standard for role-based access control. ACM Transactions on Information and System Security 4(3), 224-274 (2001).
10. Jia, X., Steele, A., Qin, L., Liu, H., Jones, C.: Executable visual software modeling—the ZOOM approach. Software Quality Control 15, 27-51 (2007).
11. Kroiss, C., Koch, N., Knapp, A.: UWE4JSF: A model-driven generation approach for web applications. In: Gaedke, M., Grossniklaus, M., Díaz, O. (eds.) ICWE 2009. LNCS, vol. 5648, pp. 493-496. Springer, Heidelberg (2009).
12. NESSoS. The European Network of Excellence on Engineering Secure Future internet Software Services and Systems (2010), http://www.nessos-project.eu.
13. Object Management Group. Object constraint language specification version 2. 3. 1. Technical report, OMG (2012),http://www.omg.org/spec/OCL/2.3.1.
14. Weidenbach, C.: SPASS input syntax version 1. 5 (1999).
15. Weidenbach, C., Dimova, D., Fietzke, A., Kumar, R., Suda, M., Wischnewski, P.: SPASS version 3. 5. In: Schmidt, R. A. (ed.) CADE-22. LNCS, vol. 5663, pp. 140-145. Springer, Heidelberg (2009).
16. Woodcock, J., Davies, J.: Using Z: specification, refinement, and proof. Prentice-Hall, Inc., Upper Saddle River (1996).