BDBComp
Parceria:
SBC
Calculo de Ambientes Tipado para Aplicacoes Pervasivas Seguras

Douglas Pereira PasqualinJuliana Kaizer VizzottoGiovani Rubert LibrelottoAndré R Du Bois

A computac¸ ~ao pervasiva preocupa-se em mudar a forma como interagimos com oscomputadores. Nesse novo paradigma, chamado de "computac¸ ~ao para o s´eculo21"[Weiser 1991], uma das principais caracter´?sticas ´e a sensibilidade ao contexto, ouseja, as aplicac¸ ~oes perceberem o ambiente e ao mesmo tempo se adaptarem automaticamenteas necessidades do usu´ario.Segundo [Campbell et al. 2003], a maioria das pesquisas em computac¸ ~ao pervasivafoca na construc¸ ~ao de infra-estruturas que ir~ao permitir a interac¸ ~ao entre dispositivose redes sem fio ou no desenvolvimento de novas aplicac¸ ~oes. Por´em, seguranc¸a e privacidaden~ao est~ao sendo devidamente exploradas.Nesse sentido, o presente resumo prop~oe a definic¸ ~ao de um sistema de tipos,que garanta seguranc¸a dos dados em aplicac¸ ~oes, para o C´alculo de Ambientes[Cardelli and Gordon 1998]. O C´alculo de Ambientes pode ser visto como uma linguagemde programac¸ ~ao b´asica para aplicac¸ ~oes sens´?veis ao contexto.

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2011/0043.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD