IV Workshop em Segurança de Sistemas Computacionais
[Prefácio] [Comitê de Programa] [Revisores]

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 [p.3-14]
Eduardo Piva, Paulo de Geus (UNICAMP)

Implementação do Protocolo de Time-Stamp da Intra-Estrutura de Chaves Públicas X.509 [p.15-24]
Eduardo Oliveira, Luiz Antônio da Frota Mattos (UnB)

Integrando o Modelo de Segurança SPKI/SDSI ao Ambiente de Gerência WBEM [p.25-36]
Darlan Carrião, Altair Santin, Carlos Maziero (PUCPR)

Reflecting on X.509 and LDAP, or How Separating Identity and Attributes Could Simplify a PKI [p.37-48]
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 [p.51-62]
Diogo Kropiwiec, Paulo de Geus (UNICAMP)

Proteção de Detectores de Intrusão através de Máquinas Virtuais [p.63-74]
Marcos Aurelio Laureano, Carlos Maziero, Edgard Jamhour (PUCPR)

O Uso de Ontologia em Alertas de Vulnerabilidades [p.75-86]
Antonio Brandão, Luciana Martimiano, Edson Moreira (USP)

Um Mecanismo para Coleta Automatizada de Evidências Digitais em Honeypots de Alta Interatividade [p.87-98]
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 [p.101-112]
Vinicius Ribeiro, Raul Weber (UFRGS, UNILASALLE)

Módulo Cifrador de Documentos Eletrônicos [p.113-124]
Ricardo Custódio, Júlio Dias, Fernando Pereira, Adriana Notoya (UDESC, UFSC)

Linguagem Lógica Formal para Expressar Segurança em Ambientes Pervasivos [p.125-136]
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 [p.139-150]
Marcello Milanez, Carlos Maziero, Edgard Jamhour (PUCPR)

Especificação Formal de um Protocolo de Roteamento Anônimo para Redes Ad-Hoc [p.151-162]
Andrea Araujo, Aloysio de Castro Pinto Pedroza (UFRJ)

Detecção de Nós Maliciosos em Redes de Sensores sem Fio [p.163-174]
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 [p.177-186]
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 [p.187-198]
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 [p.199-210]
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 [p.213-224]
Edmar Rezende, Paulo de Geus (UNICAMP)

Uma Arquitetura para Rastreamento de Pacotes na Internet [p.225-236]
Egon Hilgenstieler, Elias Procópio Duarte Jr. (UFPR)

MV6 - Um Mecanismo de Transicão Baseado em Máquinas Virtuais [p.237-248]
Cleymone Santos, Arthur Castro, Paulo de Geus (UNICAMP)

Repositórios Seguros de Dados para Proteção de Agentes Móveis contra Plataformas Maliciosas [p.249-260]
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 [p.263-272]
Adriano Petry, Sidcley da Silva Soares, Dante Augusto Couto Barone (ULBRA, UERGS, UFRGS)

KHAP: Using Keyed Hard AI Problems to Secure Human Interfaces [p.273-284]
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 [p.285-296]
Rafael Righi, Carla Westphall, Felipe Rolim Pellissari (UFSC)

Autenticação Utilizando Senhas Descartáveis Baseadas em Caos [p.297-309]
Fabiano dos Santos, Júlio Dias, Ricardo Custódio, Carlos Roberto De Rolt (UDESC, UFSC)