Carteira Eletronica
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC / O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
O ponto inicial deste trabalho é um caso de estudo de um protocolo de carteira eletrônica modelado por uma teoria equacional de um fragmento da aritmética, que inclui exponenciação. Foi estudado um procedimento de decisão para o problema da dedução do intruso, proposto recentemente por Bursuc, Comon-Lundh e Delaune. O intruso tem as mesmas capacidade
Publicado em: 2009
-
2. Perfil do cidadão usuário de serviços públicos eletrônicos : um estudo de caso na administração municipal de serviços públicos em uma secretaria municipal de Curitiba
Este trabalho de pesquisa de caráter exploratório descritivo tem como problema de pesquisa: A oferta de serviços públicos eletrônicos pelos governos não é, usualmente, feita a partir da observação dos usuários do canal de comunicação. Há oferta dos serviços, mas sem adequação ao perfil do cidadão que os utiliza, ou à demanda desse cidadão.
Publicado em: 2007