APPLICATION OF AUTOMATA-BASED APPROACH FOR JAVA CARD-APPLICATIONS DEVELOPMENT

Andrey Zakonov

2008 , VOLUME 08, NUMBER 8 ( April )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

APPLICATION OF AUTOMATA-BASED APPROACH FOR JAVA CARD-APPLICATIONS DEVELOPMENT

A. Zakonov

Read the full article

Abstract

The article proposes an approach that increases the reliability of the development of Java Card applets. Features of applet developing using automata-based approach are formulated. Enhanced representation model to describe the functionality, code generator with plugs and tools for automatic testing of applets are provided.

Keywords: program verification, Java Card, automata-based programming

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License