BSmart: desenvolvimento rigoroso de aplica??es Java Card com base no m?todo formal B

BSmart: desenvolvimento rigoroso de aplica??es Java Card com base no m?todo formal B

Made available in DSpace on 2014-12-17T15:47:44Z (GMT). No. of bitstreams: 1 BrunoEGG.pdf: 1320681 bytes, checksum: 897ca75ef7f0e564e8588d949fcc67d5 (MD5) Previous issue date: 2007-11-19 === Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior === Java Card technology allows the development...

Full description

Bibliographic Details
Main Author:	Gomes, Bruno Emerson Gurgel
Other Authors:	CPF:82573611787
Format:	Others
Language:	Portuguese
Published:	Universidade Federal do Rio Grande do Norte 2014
Subjects:	Java Card M?todos formais M?todo B Gera??o de c?digo. Formal methods, B method Code generation CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Online Access:	http://repositorio.ufrn.br:8080/jspui/handle/123456789/17964

Similar Items

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplica??es Java Card com o m?todo B
by: Santos, Simone de Oliveira
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)

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

Gera??o autom?tica de hardware a partir de especifica??es formais: estendendo uma abordagem de tradu??o
by: Medeiros Junior, Ivan Soares de
Published: (2014)

M?todo B e a s?ntese verificada para c?digo de montagem
by: Medeiros J?nior, Val?rio Gutemberg de
Published: (2016)

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

Joker: um realizador de desenhos animados para linguagens formais
by: Souza, Diego Henrique Oliveira de
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)

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

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)

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

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

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)

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

Estendendo CRefine para o suporte de t?ticas de refinamento
by: Conserva Filho, Madiel de Souza
Published: (2014)

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

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

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

Local livelock analysis of component-based models
by: Conserva Filho, Madiel de Souza
Published: (2017)

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

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

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)

Génération de tests de vulnérabilité pour vérifieur de byte code Java Card
by: Savary, Aymerick
Published: (2015)

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)

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

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)

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

Modelo de rastreabilidade de requisitos aplicada a gest?o de projetos em m?todos ?geis
by: Silva, Robson Paulo da
Published: (2017)

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)

Aplica??o do m?todo AHP na redu??o de multas em empresas de telecomunica??es
by: Pereira, Rodrigo de Ara?jo
Published: (2016)

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

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_tj8hl9mqo0eu76k8941f5626db