BDBComp
Parceria:
SBC
Linguagem Lógica Formal para Expressar Segurança em Ambientes Pervasivos

Leonardo MattesLuis G. KiatakeJoao Antonio ZuffoEder Antonio Rangel Marques

http://www.ppgia.pucpr.br/~maziero/pesquisa/wseg/2004/2904.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