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 条
  • [1] SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications
    Moebius, Nina
    Stenzel, Kurt
    Grandy, Holger
    Reif, Wolfgang
    [J]. 2009 INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY (ARES), VOLS 1 AND 2, 2009, : 841 - 846
  • [2] A model-driven approach for smart card configuration
    Bonnet, S
    Potonniée, O
    Marvie, R
    Geib, JM
    [J]. GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2004, PROCEEDINGS, 2004, 3286 : 416 - 435
  • [3] Model-Driven Test Code Generation
    Perez Lamancha, Beatriz
    Reales, Pedro
    Polo, Macario
    Caivano, Danilo
    [J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2011, 2013, 275 : 155 - 168
  • [4] Model-Driven Development of Secure Service Applications
    Borek, Marian
    Moebius, Nina
    Stenzel, Kurt
    Reif, Wolfgang
    [J]. PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), 2012, : 62 - 71
  • [5] Semantic Research on Model-Driven Code Generation
    Wang, Jianxin
    Xu, Hongke
    Xiao, Chaoen
    Zhang, Lei
    Zheng, Yuzheng
    Wu, Xinwei
    Chang, Xiangze
    Zhang, Xuanrui
    [J]. 2024 4TH INTERNATIONAL CONFERENCE ON ELECTRONIC MATERIALS AND INFORMATION ENGINEERING, EMIE 2024, 2024, : 87 - 90
  • [6] Modernizing Secure OLAP Applications with a Model-Driven Approach
    Blanco, Carlos
    Fernandez-Medina, Eduardo
    Trujillo, Juan
    [J]. COMPUTER JOURNAL, 2015, 58 (10): : 2351 - 2367
  • [7] Performing Incremental Generation of Code in Model-driven Engineering
    Garcia-Diaz, Vicente
    Pelayo G-Bustelo, B. Cristina
    Sanjuan-Martinez, Oscar
    Cueva Lovelle, Juan Manuel
    [J]. JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, 2012, 44 (04): : 365 - 385
  • [8] Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development
    Jurgelaitis, Mantas
    Ceponiene, Lina
    Butkiene, Rita
    [J]. IEEE ACCESS, 2022, 10 : 33465 - 33481
  • [9] MOBICAT: a model-driven engineering approach for automatic GUI code generation for Android applications
    Zafar, Haroon
    Khan, Saif Ur Rehman
    Mashkoor, Atif
    Nisa, Habib Un
    [J]. FRONTIERS IN COMPUTER SCIENCE, 2024, 6
  • [10] Smart Grid Reference Architecture, an Approach on a Secure and Model-Driven Implementation
    Wilker, Stefan
    Meisel, Marcus
    Piatkowska, Ewa
    Sauter, Thilo
    Jung, Oliver
    [J]. 2018 IEEE 27TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2018, : 74 - 79
12345