Technical Session - WTF

TS 1: Injection Flaws and Attack Assessment
Chair: Regina Moraes (UNICAMP)
08:30-10:00
Aplicando Modelos de Markov para Injeção de Perdas de Pacotes no Sistema Android
  • Alexandre Gindri (UFRGS)
  • Taisy Weber (UFRGS)
  • Sérgio Luis Cechin (UFRGS)
Emulação de Ataques do Tipo XPath Injection para Testes de Web Services usando Injeção de Falhas
  • Marcelo Palma (UNICAMP)
  • Eliane Martins (UNICAMP)
Análise do Impacto de Ataques de Poluição Combinado com Whitewashing em Sistemas P2P de Live Streaming
  • Ana Paula Couto Silva (UFJF)
  • Alex Borges Vieira (UFJF)
TS 2: Distributed Protocols and Assessment Models
Chair: Luciana Arantes (UPMC Sorbonne Universités)
10:30-12:00
Exclusão Mútua Distribuída e Robusta para k Recursos Compartilhados
  • Luiz Antonio Rodrigues (UNIOESTE/UFPR)
  • Elias P. Duarte Jr. (UFPR)
  • Luciana Arantes (Université de Paris VI)
Memória Compartilhada em Sistemas Bizantinos Dinâmicos
  • Eduardo Alchieri (UFSC)
  • Alysson Bessani (Universidade de Lisboa)
  • Fabíola Greve (UFBA)
  • Joni da Silva Fraga (UFSC)
Caracterização de uma Jornada Máxima em MANETs
  • Alex Santana (UFBA)
  • Fabíola Greve (UFBA)
  • José Garcia (UFBA)
TS 3: Testing, Verification and Formal Specification
Chair: Taisy Weber (UFRGS)
14:00-15:30
Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos
  • Leandro Teodoro Costa (PUCRS)
  • Flávio Oliveira (PUCRS)
  • Elder Rodrigues (PUCRS)
  • Maicon da Silveira (PUCRS)
  • Avelino Zorzo (PUCRS)
Modeling Communication Semantics for Distributed Systems in Event-B
  • Fernando Dotti (PUCRS)
  • Leila Ribeiro (UFRGS)
Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
  • Claiton Correa (PUCRS)
  • Fernando Dotti (PUCRS)
  • Paulo Fernandes (PUCRS)
  • Eli Maruani (PUCRS)
  • Lucas Giaretta Oleksinski (PUCRS)
  • Afonso Sales (PUCRS)
TS 4: Replication and Fault Coverage in Clouds
Chair: Eliane Martins (UNICAMP)
16:00-17:30
Detecção de Falhas em Autômatos Grid
  • Gilson Junior (Universidade Estadual de Londrina)
  • Adilson Bonifácio (Universidade Estadual de Londrina)
Palestra Convidada: "Replicação na Cloud (of Clouds)"

Alysson Bessani, Universidade de Lisboa

Resumo: Nesta palestra serão discutidos alguns aspectos de confiabilidade e segurança no uso da computação em nuvem, com especial atenção ao papel da replicação de dados e serviços usando multiplos provedores de serviço na nuvem. Serão discutidos as experiências do autor no projeto e implementação de serviços replicados em multiplas nuvens juntamente com algumas oportunidades e desafios para a comunidade de sistemas distribuídos relacionadas a nesse novo cenário.

Bio: Alysson Bessani é Professor do Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa, Portugal, membro do laboratório de pesquisa LASIGE e do grupo Navigators. Ele terminou seu Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá em 2001, seu Mestrado em Engenharia Elétrica pela Universidade Federal de Santa Catarina em 2002 e seu Doutorado pela mesma universidade em 2006. Ele foi professor visitante na Carnegie Mellow University em 2010, participou de mais de 15 projetos nacionais e internacionais e tem mais de 60 publicações. Seus principais interesses são algoritmos distribuídos, tolerância a falhas Bizantinas, segurança, confiança no funcionamento de sistemas, middleware e arquitetura de sistemas. Mais informações estão disponíveis em http://www.di.fc.ul.pt/~bessani
Closure
Chair: Fabíola Greve (UFBA)
17:30-18:30
  • Premiação do Melhor Artigo
  • Reunião da CE-TF (Comissão Especial de Tolerância a Falhas da SBC)

Promotion

Organization

Sbc
Larc
Dcc
Ufmg

Support

Ufop
Inweb
CNPq

Sponsors

cgi.br
nic.br
Capes
Ministerio da Educacao
Google
Engetron
Hp
Globo.com
Ativas
Petrobras
CPqD
NET
Intel
Fapemig
Technicolor