Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Na minha lista:

Detalhes bibliográficos
Principais autores:	Costa, Umberto Souza da, Moreira, Anamaria Martins, Musicante, Martin A., Souza Neto, Plácido A.
Formato:	article
Idioma:	eng
Publicado em:	Elsevier
Assuntos:	Java Card. Compile Runtime Verification
Endereço do item:	https://repositorio.ufrn.br/jspui/handle/1/6230
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

id	ri-1-6230
record_format	dspace
spelling	ri-1-62302017-11-02T15:54:39Z Specification and Runtime Verification of Java Card Programs Costa, Umberto Souza da Moreira, Anamaria Martins Musicante, Martin A. Souza Neto, Plácido A. Java Card. Compile Runtime Verification COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009. Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications. To this end, we propose JCML (Java Card Modeling Language) a specification language derived from JML (Java Modeling Language) and its implementation: a compiler that generates runtime verification code. We also present some experiments and quality indicators. 2013-05-24T14:07:10Z 2013-05-24T14:07:10Z 2009 article 1571-0661 https://repositorio.ufrn.br/jspui/handle/1/6230 eng Acesso Aberto application/pdf Elsevier
institution	Repositório Institucional
collection	RI - UFRN
language	eng
topic	Java Card. Compile Runtime Verification
spellingShingle	Java Card. Compile Runtime Verification Costa, Umberto Souza da Moreira, Anamaria Martins Musicante, Martin A. Souza Neto, Plácido A. Specification and Runtime Verification of Java Card Programs
description	COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.
format	article
author	Costa, Umberto Souza da Moreira, Anamaria Martins Musicante, Martin A. Souza Neto, Plácido A.
author_facet	Costa, Umberto Souza da Moreira, Anamaria Martins Musicante, Martin A. Souza Neto, Plácido A.
author_sort	Costa, Umberto Souza da
title	Specification and Runtime Verification of Java Card Programs
title_short	Specification and Runtime Verification of Java Card Programs
title_full	Specification and Runtime Verification of Java Card Programs
title_fullStr	Specification and Runtime Verification of Java Card Programs
title_full_unstemmed	Specification and Runtime Verification of Java Card Programs
title_sort	specification and runtime verification of java card programs
publisher	Elsevier
publishDate	2013
url	https://repositorio.ufrn.br/jspui/handle/1/6230
work_keys_str_mv	AT costaumbertosouzada specificationandruntimeverificationofjavacardprograms AT moreiraanamariamartins specificationandruntimeverificationofjavacardprograms AT musicantemartina specificationandruntimeverificationofjavacardprograms AT souzanetoplacidoa specificationandruntimeverificationofjavacardprograms
_version_	1773960621802389504

Specification and Runtime Verification of Java Card Programs

Registros relacionados