WSeg 2004 - IV Workshop em Seguran�a de Sistemas Computacionais
Artigos Selecionados
Chamada de Trabalhos

Sess�o T�cnica 1: Infra-estruturas de Chaves P�blicas

Uma Proposta para Automa��o da Administra��o de Redes IPSec juntamente com PKIs, utilizando uma API Pr�pria
Eduardo Piva, Paulo de Geus (UNICAMP)

Implementa��o do Protocolo de Time-Stamp da Intra-Estrutura de Chaves P�blicas X.509
Eduardo Oliveira, Luiz Ant�nio da Frota Mattos (UnB)

Integrando o Modelo de Seguran�a SPKI/SDSI ao Ambiente de Ger�ncia WBEM
Darlan Carri�o, Altair Santin, Carlos Maziero (PUCPR)

Reflecting on X.509 and LDAP, or How Separating Identity and Attributes Could Simplify a PKI
Jeroen van de Graaf, Osvaldo Carvalho (UFMG)

Sess�o T�cnica 2: Sistemas Operacionais e Detec��o de Intrus�o

Paradigmas de Seguran�a em Sistemas Operacionais
Diogo Kropiwiec, Paulo de Geus (UNICAMP)

Prote��o de Detectores de Intrus�o atrav�s de M�quinas Virtuais
Marcos Aurelio Laureano, Carlos Maziero, Edgard Jamhour (PUCPR)

O Uso de Ontologia em Alertas de Vulnerabilidades
Antonio Brand�o, Luciana Martimiano, Edson Moreira (USP)

Um Mecanismo para Coleta Automatizada de Evid�ncias Digitais em Honeypots de Alta Interatividade
Martim Carbone, Paulo de Geus (UNICAMP)

Sess�o T�cnica 3: Criptografia e M�todos Formais

Problemas Computacionais para Esquemas de Criptografia de Chave P�blica
Vinicius Ribeiro, Raul Weber (UFRGS, UNILASALLE)

M�dulo Cifrador de Documentos Eletr�nicos
Ricardo Cust�dio, J�lio Dias, Fernando Pereira, Adriana Notoya (UDESC, UFSC)

Linguagem L�gica Formal para Expressar Seguran�a em Ambientes Pervasivos
Leonardo Mattes, Luis G. Kiatake, Joao Antonio Zuffo, Eder Antonio Rangel Marques (USP)

Sess�o T�cnica 4: Redes sem Fio

Seguran�a em Redes IEEE 802.11 utilizando Cadeias SPKI
Marcello Milanez, Carlos Maziero, Edgard Jamhour (PUCPR)

Especifica��o Formal de um Protocolo de Roteamento An�nimo para Redes Ad-Hoc
Andrea Araujo, Aloysio de Castro Pinto Pedroza (UFRJ)

Detec��o de N�s Maliciosos em Redes de Sensores sem Fio
Waldir Ribeiro Pires J�nior, Thiago H. de Paula Figueiredo, Wong Chi, Antonio Alfredo Ferreira Loureiro (UFMG)

Sess�o T�cnica 5: Sistemas de Vota��o Digital e Pol�ticas de Seguran�a

Vota��o An�nima Segura Utilizando Lista de Discuss�o
Fabiano Pereira, J�lio Dias, Ricardo Cust�dio, Carlos Roberto De Rolt (UDESC, UFSC)

Adapting Chaum's Voter-Verifiable Election Scheme to the Brazilian System
Jeroen van de Graaf (UFMG)

Sec-SLA: Especifica��o e Valida��o de M�tricas para Acordos de N�veis de Servi�o orientados � Seguran�a
Rafael Righi, Felipe Rolim Pellissari, Carlos Becker Westphall (UFSC)

Sess�o T�cnica 6: Redes de Computadores e Sistemas Distribu�dos

Uma Solu��o Segura e Escal�vel para Acesso Remoto VPN
Edmar Rezende, Paulo de Geus (UNICAMP)

Uma Arquitetura para Rastreamento de Pacotes na Internet
Egon Hilgenstieler, Elias Proc�pio Duarte Jr. (UFPR)

MV6 - Um Mecanismo de Transic�o Baseado em M�quinas Virtuais
Cleymone Santos, Arthur Castro, Paulo de Geus (UNICAMP)

Reposit�rios Seguros de Dados para Prote��o de Agentes M�veis contra Plataformas Maliciosas
Michelle Wangham, Joni da Silva Fraga, Rafael Deitos, Galeno Jung (UFSC)

Sess�o T�cnica 7: Autentica��o e Autoriza��o de Usu�rios, Sistemas e Aplica��es

Sistema para Autentica��o de Usu�rios por Voz em Redes de Computadores
Adriano Petry, Sidcley da Silva Soares, Dante Augusto Couto Barone (ULBRA, UERGS, UFRGS)

KHAP: Using Keyed Hard AI Problems to Secure Human Interfaces
Jeffrey King, Andr� dos Santos, Chaoting Xuan (Georgia Institute of Technology)

P2P-Role: Uma Arquitetura de Controle de Acesso Baseada em Pap�is para Sistemas Colaborativos Peer-to-Peer
Rafael Righi, Carla Westphall, Felipe Rolim Pellissari (UFSC)

Autentica��o Utilizando Senhas Descart�veis Baseadas em Caos
Fabiano dos Santos, J�lio Dias, Ricardo Cust�dio, Carlos Roberto De Rolt (UDESC, UFSC)