KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplica??es Java Card com o m?todo B

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplica??es Java Card com o m?todo B

Made available in DSpace on 2014-12-17T15:48:00Z (GMT). No. of bitstreams: 1 SimoneOS_DISSERT_capa_ate_pag44.pdf: 4276014 bytes, checksum: c178262769ab9981c0bbfc10faf1c633 (MD5) Previous issue date: 2012-02-10 === Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior === The development of...

Full description

Bibliographic Details
Main Author:	Santos, Simone de Oliveira
Other Authors:	CPF:82573611787
Format:	Others
Language:	Portuguese
Published:	Universidade Federal do Rio Grande do Norte 2014
Subjects:	engenharia de Software especifica??o formal m?todo B java card software engineering formal specification B method CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Online Access:	http://repositorio.ufrn.br:8080/jspui/handle/123456789/18043

Similar Items

BSmart: desenvolvimento rigoroso de aplica??es Java Card com base no m?todo formal B
by: Gomes, Bruno Emerson Gurgel
Published: (2014)

Desenvolvimento formal de aplica??es para smartcards
by: Gomes, Bruno Emerson Gurgel
Published: (2014)

JCML - Java Card Modeling Language: Defini??o e Implementa??o
by: Souza Neto, Pl?cido Ant?nio de
Published: (2014)

A Generic Approach for Protecting Java Card™ Smart Card Against Software Attacks
by: Bouffard, Guillaume
Published: (2014)

Joker: um realizador de desenhos animados para linguagens formais
by: Souza, Diego Henrique Oliveira de
Published: (2014)

UTILIZAÇÃO DE JAVA CARD COMO PLATAFORMA PARA O DESENVOLVIMENTO DE APLICAÇÕES EM SMART CARD.
by: Lucas Plis Dolce, et al.
Published: (2011-12-01)

Detection of Non-declared Capabilities of JavaCard Applications
by: Sergey Sergeevich Agafyin, et al.
Published: (2013-09-01)

De la sécurité des platesformes JavaCardTM face aux attaques matérielles
by: Barbu, Guillaume
Published: (2012)

Verification System of Removable Key Carriers Software
by: Sergey Sergeevich Agafyin, et al.
Published: (2013-02-01)

Sistem Pencatatan Kehadiran Berbasis Java Card
by: Lidya Octarina
Published: (2010-12-01)

UTILIZAÇÃO DE JAVA CARD COMO PLATAFORMA PARA O DESENVOLVIMENTO DE APLICAÇÕES EM SMART CARD
by: Lucas Plis Dolce, et al.
Published: (2013-04-01)

UTILIZAÇÃO DE JAVA CARD COMO PLATAFORMA PARA O DESENVOLVIMENTO DE APLICAÇÕES EM SMART CARD
by: Lucas Plis Dolce, et al.
Published: (2013-04-01)

Especifica??o do micron?cleo FreeRTOS utilizando o m?todo B
by: Galv?o, Stephenson de Sousa Lima
Published: (2014)

Validation des spécifications formelles de la mise à jour dynamique des applications Java Card
by: Lounas, Razika
Published: (2018)

An asynchronous java processor for smart card.
Published: (2003)

Java Card Approach to Emulate The Indonesian National Electronic ID Smart Cards
by: Dwidharma Priyasta, et al.
Published: (2018-11-01)

Έξυπνες κάρτες
by: Αντωνόπουλος, Νικόλαος
Published: (2009)

Avalia??o de reusabilidade de aplica??es web baseadas em frameworks orientados a a??es e a componentes: estudo de Caso sobre os Frameworks Apache Struts e JavaServer Faces
by: Dantas, Andr? Medeiros
Published: (2014)

Applicable to Key Carrier Attacks
by: Sergey Sergeevich Agafyin, et al.
Published: (2014-02-01)

Exécution d'applications stockées dans la mémoire non-adressable d'une carte à puce
by: Cogniaux, Geoffroy
Published: (2012)

PERANCANGAN EMULATOR KTP ELEKTRONIK BERBASIS JAVA CARD UNTUK MENDUKUNG PENGUJIAN FUNGSIONALITAS PEMBACA KTP ELEKTRONIK INDUSTRI NASIONAL
by: Wahyu Cesar, et al.
Published: (2016-12-01)

Contribui??es para verifica??o autom?tica de applets javacard
by: Silva, Antonio Augusto Viana da
Published: (2014)

Side-Channel Monitoring of Contactless Java Cards
by: Berkes, Jem
Published: (2008)

Side-Channel Monitoring of Contactless Java Cards
by: Berkes, Jem
Published: (2008)

La mesure de performance dans les cartes à puce
by: Cordry, Julien
Published: (2009)

La mesure de performance dans les cartes à puce
by: Cordry, Julien
Published: (2009)

Security Functions of Removable Key Carriers
by: Sergey Sergeevich Agafyin
Published: (2014-09-01)

Religious Aesthetics of Wedding Invitation Cards in East Java Community
by: Sumanto
Published: (2017-06-01)

Model for the extension of the processing and memory capabilities of Java Card smartcards
by: Susana María Ramírez Brey, et al.
Published: (2014-01-01)

Three Factor Authentication Using Java Ring and Biometrics
by: Chitiprolu, Jyothi
Published: (2004)

Prova autom?tica de satisfatibilidade m?dulo teoria aplicada ao m?todo B
by: Tavares, Cl?udia Fernanda Oliveira Kiermes
Published: (2014)

Um estudo sobre a rela??o da ado??o do m?todo ?gil SCRUM com a produtividade em equipes de desenvolvimento de software
by: Bellenzier, Marina
Published: (2017)

Um estudo sobre arquitetura de componentes de software para o desenvolvimento de sistemas distribuídos para aplicações multicamadas para web
by: Freitas, Romualdo Rubens de
Published: (2012)

Beta: a B based testing approach
by: Matos, Ernesto Cid Brasil de
Published: (2016)

Fusion: abstraÃÃes linguÃsticas sobre Java para programaÃÃo paralela heterogÃnea sobre GPGPUs
by: Anderson Boettge Pinheiro
Published: (2013)

The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10
by: Daniel De Almeida Braga, et al.
Published: (2020-06-01)

Uma abordagem arquitetural para o desenvolvimento rigoroso de sistemas confiáveis baseados em componentes
by: Brito, Patrick Henrique da Silva
Published: (2009)

Fusion: abstrações linguísticas sobre Java para programação paralela heterogênea sobre GPGPUs
by: Pinheiro, Anderson Boettge
Published: (2016)

Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card
by: Lassale, Mathieu
Published: (2016)

Um m?todo evolutivo para aplica??o de programas de m?tricas em processos de desenvolvimento de software
by: Bogoni, Leandro Paulo
Published: (2015)