Contribuições para verificação automática de applets javacard
The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that ar...
Na minha lista:
Autor principal: | Silva, Antonio Augusto Viana da |
---|---|
Outros Autores: | Déharbe, David Boris Paul |
Formato: | Dissertação |
Idioma: | por |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/18084 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Contribuições para verificação automática de applets javacard/
por: Silva, Antonio Augusto Oliveira Viana da., et al.
Publicado em: (2022) -
JCML - Java Card Modeling Language: Definição e
Implementação
por: Souza Neto, Plácido Antônio de
Publicado em: (2014) -
Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões
por: Abreu, Marjory Cristiany da Costa
Publicado em: (2014) -
Sistema de detecção e isolamento de falhas em sistemas dinâmicos baseado em identificação paramétrica
por: Silva, Diego Rodrigo Cabral
Publicado em: (2014) -
Joker: um realizador de desenhos animados para linguagens formais
por: Souza, Diego Henrique Oliveira de
Publicado em: (2014)