Model-Driven Code Generation for Secure Smart Card Applications

被引：5
|
作者：
Moebius, Nina [1 ]
Stenzel, Kurt [1 ]
Grandy, Holger [1 ]
Reif, Wolfgang [1 ]
机构：
[1] Univ Augsburg, Dept Software Engn & Programming Languages, D-8900 Augsburg, Germany
来源：
ASWEC 2009: 20TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2009年
关键词：
Code generation; model-driven software development; UML; !text type='Java']Java[!/text] Card; security;
D O I：
10.1109/ASWEC.2009.15
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
SecureMDD is a model-driven approach to develop secure systems with a special focus on smart card applications. Based on a platform-dependent UML model of the system under development we generate a platform-specific model, and finally executable code. The SecureMDD approach also allows to generate a formal specification where security properties can be proven formally. In this paper we describe the automatic generation of Java Card code from UML class and activity diagrams in detail. The full code running on the smart card is generated which is not trivial because of the limitations of smart cards and the specialties of Java Card.
引用
收藏
页码：44 / 53
页数：10
相关论文
共 50 条
  • [31] Model-Driven Engineering of Machine Executable Code
    Eichberg, Michael
    Monperrus, Martin
    Kloppenburg, Sven
    Mezini, Mira
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2010, 6138 : 104 - +
  • [32] A Baseline Domain Specific Language Proposal for Model-Driven Web Engineering Code Generation
    Morales, Zuriel
    Magana, Cristina
    Alfonso Aguilar, Jose
    Zaldivar-Colado, Anibal
    Tripp-Barba, Carolina
    Misra, Sanjay
    Garcia, Omar
    Zurita, Eduardo
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2016, PT V, 2016, 9790 : 50 - 59
  • [33] Model-driven Query Generation for Elasticsearch
    Akdal, Berkay
    Keskin, Zehra Gul Cabuk
    Ekinci, Erdem Eser
    Kardas, Geylani
    [J]. PROCEEDINGS OF THE 2018 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2018, : 853 - 862
  • [34] Model-driven Rich Form Generation
    Cerny, Tomas
    Song, Eunjee
    [J]. INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2012, 15 (07): : 2695 - 2714
  • [35] An approach for Model-Driven test generation
    Gutierrez, J. J.
    Escalona, M. J.
    Mejias, M.
    Ramos, I.
    Torres, J.
    [J]. RCIS 2009: PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE, 2009, : 303 - 311
  • [36] Model-driven generation of performance prototypes
    Becker, Steffen
    Dencker, Tobias
    Happe, Jens
    [J]. PERFORMANCE EVALUATION: METRICS, MODELS AND BENCHMARKS, PROCEEDINGS, 2008, 5119 : 79 - +
  • [37] Trusted Operating System-Based Model-Driven Development of Secure Web Applications
    Pathak, Nitish
    Sharma, Girish
    Singh, B. M.
    [J]. SOFTWARE ENGINEERING (CSI 2015), 2019, 731 : 421 - 432
  • [38] Supporting Energy-Efficient Mobile Application Development with Model-Driven Code Generation
    Kelenyi, Imre
    Nurminen, Jukka K.
    Siekkinen, Matti
    Lengyel, Laszlo
    [J]. ADVANCED COMPUTATIONAL METHODS FOR KNOWLEDGE ENGINEERING, 2014, 282 : 143 - 156
  • [39] Model-driven Privacy Assessment in the Smart Grid
    Knirsch, Fabian
    Engel, Dominik
    Neureiter, Cristian
    Frincu, Marc
    Prasanna, Viktor
    [J]. 2015 INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY (ICISSP), 2015, : 173 - 181
  • [40] Model-driven development of enterprise applications
    Kulkarni, V
    Reddy, S
    [J]. UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 118 - 128
12345