Desenvolvimento formal de aplicações para Smart Cards /
As aplicações para smart cards representam um mercado que cresce a cada ano. Nor-malmente, essas aplicações manipulam e armazenam informações que requerem garantias de segurança, tais como valores monetários ou informações confidenciais. A qualidade e a segurança do software para cartões...
Na minha lista:
Principais autores: | Gomes, Bruno Emerson Gurgel., Déharbe, David Boris Paul., Universidade Federal do Rio Grande do Norte. |
---|---|
Formato: | Tese |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/bitstream/123456789/17947/1/BrunoEGG_TESE.pdf |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
KitSmart : uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B/
por: Santos, Simone de Oliveira., et al.
Publicado em: (2022) -
Desenvolvimento formal de aplicações para smartcards
por: Gomes, Bruno Emerson Gurgel
Publicado em: (2014) -
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
por: Gomes, Bruno Emerson Gurgel
Publicado em: (2014) -
BSmart : desenvolvimento rigoroso de aplicações Java Card com base no método formal B/
por: Gomes, Bruno Emerson Gurgel., et al.
Publicado em: (2022) -
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
por: Santos, Simone de Oliveira
Publicado em: (2014)