Smart Cards
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. Proposta de um sistema eletrônico embarcado para fiscalização de veículos rodoviários de carga / Proposal of a embedded electronic system to automatic monitoring of the road cargo vehicles
The excessive hours of service is a harsh reality for drivers of goods vehicles in Brazil. Required by a system of unfair labor these drivers still face the bad conditions of roads and bottleneck proved by the increasing number of passenger cars in circulation. This mix of factors has caused an alarming rate of traffic accidents, with a death toll comparable
Publicado em: 2010
-
2. Um estudo sobre a implementação de criptossistemas baseados em emparelhamentos bilineares sobre curvas elípticas em cartões inteligentes de oito bits / A study about implementation of elliptic curve pairing based cryptosystems in 8-bit smart cards
Emparelhamentos bilineares sobre curvas elípticas são funções matemáticas que viabilizam o desenvolvimento de uma série de novos protocolos criptográficos, entre eles, os criptossistemas baseados em identidades. Esses criptossistemas representam uma nova forma de se implementar criptografia de chaves públicas na qual são atenuadas ou completamente r
Publicado em: 2010
-
3. Algoritmos de autenticação de mensagens para redes de sensores. / Message authentication algorithms for wireless sensor networks.
Security is an important concern in any modern network. However, networks that are highly dependent on constrained devices (such as sensors, tokens and smart cards) impose a difficult challenge: their reduced availability of memory, processing power and (specially) energy hinders the deployment of many modern cryptographic algorithms known to be secure. This
Publicado em: 2010
-
4. Aplicação de segurança eletrônica com java cards : o caso de um protocolo para registro online e sem anonimato em cartões criptograficamente inteligentes
Esta dissertação propõe e implementa um novo protocolo de registro para pagamento eletrônico online e sem anonimato o qual é uma variante do protocolo cSET. Diferentemente do cSET, este novo protocolo proposto não exige nenhum tipo de confiança na leitora de cartões inteligentes em uso, possibilitando uma maior abrangência de aplicações.
Publicado em: 2009
-
5. Técnicas para o projeto de hardware criptográfico tolerante a falhas
Este trabalho tem como foco principal o estudo de um tipo específico de ataque a sistemas criptográficos. A implementação em hardware, de algoritmos criptográficos, apresenta uma série de vulnerabilidades, as quais, não foram previstas no projeto original de tais algoritmos. Os principais alvos destes tipos de ataque são dispositivos portáteis que i
Publicado em: 2008
-
6. Cryptographic algorithms for sensor networks. / Algoritmos criptográficos para redes de sensores.
The need for security is a great concern in any modern network. However, networks that are highly dependent of constrained devices (such as sensors, tokens and smart cards) impose a difficult challenge: their reduced availability of memory, processing power and (more importantly) energy hinders the deployment of many important cryptographic algorithms known
Publicado em: 2008
-
7. BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
A tecnologia Java Card permite o desenvolvimento e execução de pequenas aplicações embutidas em smart cards. Uma aplicação Java Card é composta por um cliente, externo ao cartão, e por uma aplicação contida no cartão que implementa os serviços disponíveis ao cliente por meio de uma Application Programming Interface (API). Usualmente, essas aplic
Publicado em: 2007
-
8. JCML - Java Card Modeling Language: Definição e Implementação
Métodos formais poderiam ser usados para especificar e verificar software on-card em aplicações Java Card. O estilo de programação para smart cards requer verificação em tempo de execução para condições de entrada em todos os métodos Java Card, onde o objetivo principal é preservar os dados do cartão. Projeto por Contrato, em particular, a ling
Publicado em: 2007
-
9. Contribuições para verificação automática de applets javacard
O grande crescimento do uso de smart cards (por bancos, companhias de transporte, celulares, etc) trouxe um fato importante, que deve ser considerado: a necessidade de ferramentas que possam ser usadas para verificar os cartões, para que se possa garantir a corretude de seu software. Como a grande maioria dos cartões desenvolvidos hoje em dia usa a t
Publicado em: 2004
-
10. O protocolo SET para seguranÃa de compras eletrÃnicas; Protocolo SET - estudo crÃtico
Em 1997 foi apresentado pelas empresas de crÃdito VISA e MasterCard, em conjunto com outras empresas de crÃdito e de computaÃÃo, o protocolo SET (Secure Electronic Transactions), um conjunto de especificaÃÃes de um padrÃo para permitir transaÃÃes do comÃrcio eletrÃnico com cartÃes de pagamento atravÃs da Internet, permitindo confidencialidade, a
Publicado em: 2003
-
11. Uma implantação de criptografia de curvas elipticas no Java Card
Os smart cards são dispositivos com tamanho e formato semelhantes ao de um cartão de crédito comum, com o diferencial de serem equipados com um chip com poder de processamento e uma quantidade de memória muito superior a dos cartões de tarja magnética, cerca de 8K bytes. Estas características permitem o armazenamento de informações sigilosas, além
Publicado em: 2002
-
12. Criptossistemas baseados em curvas elipticas
Sistemas de chave pública tem sua segurança depositada sobre um problema matemático unanimemente considerado difícil pela comunidade científica. De modo geral, a dificuldade do problema cresce exponencialmente no número de bits das chaves utilizada por tal sistema. Sistemas criptográficos baseados em curvas elípticas, propostos em 1985 a partir de id
Publicado em: 2002