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...
| Autor principal: | |
|---|---|
| Formato: | masterThesis |
| Idioma: | por |
| Publicado em: |
2014
|
| Assuntos: | |
| Texto completo: | https://repositorio.ufrn.br/jspui/handle/123456789/18084 |
| País: | Brasil |
| Oai: | oai:https://repositorio.ufrn.br:123456789/18084 |