Segurança de Aplicações Aula 14

Transcrição

1 Segurança de Aplicações Aula 14 Prof. Msc. Anderson da Cruz

2 Análise de Vulnerabilidades X Teste de Software Análise de Vulnerabilidade Uso de ferramentas para automatizar a análise Melhor resultado com aplicações off the shelf Não existem garantia que todas as vulnerabilidades serão identificadas Gera falsos-positivos Teste de Software Necessidade de maior conhecimento técnico e tempo Identifica vulnerabilidades mais complexas As vulnerabilidades são comprovadas 2

3 Algumas Ferramentas Análise de Vulnerabilidades W3AF Nikto2 Nessus Httpprint Pen-Testing Burp Suite WebScarab JAD Paros Proxy 3

4 Teste de Software É um método que avalia a segurança de um sistema e ou rede de computadores Basicamente simula um ataque de uma fonte maliciosa Verifica as condições de exploração de vulnerabilidades conhecidas para mensurar o seu impacto 4

5 Teste de Software Algumas técnicas de testes que são utilizadas: O teste de caixa branca O teste de caixa preta 5

6 Caixa Branca O teste de caixa-branca parte do pré suposto que o testador possui total conhecimento do que será testado Diagrama de rede Endereçamento ID Funcionalidades Especificação do Sistema Acesso ao código fonte para auditoria Considera o escopo do projeto 6

7 Caixa Branca 7

8 Caixa Preta O Teste de caixa-preta parte do pré suposto que não existe conhecimento prévio do que será testado Neste caso, o testador deve primeiro descobrir o cenário que será testado para depois iniciar o teste 8

9 Caixa Preta 9

10 Caixa Preta -Exemplos Validação de entradas - Sockets Servidor $ echo abcde nc <ip> <porta> $cat <arquivo> nc <ip> <porta> $cat /dev/random nc <ip> <porta> $while true; do echo abcde nc <ip> <porta> $find <diretorio> --exec cat { } \; nc <ip> <porta> 10

11 Caixa Preta -Exemplos Validação de entradas Sockets Cliente $ echo abcde nc -l -p <porta> $nc -l -p <porta> < /dev/random $nc -l -p <porta> -e <comando> $while true; do echo abcde nc -l -p <porta> 11

12 Caixa Preta -Exemplos Validação de entradas Parâmetros $ <programa> `echo abcde ` $<programa> `cat arquivo` $<programa> `perl e print A x1024 ` $find <diretorio> -exec cat { } \; xargs <programa> $ perl e for($i=0; $i<1024;$i++) { \ $args= A x$i. \n ; system( <programa> $args ); } 12

13 Caixa Preta -Exemplos Validação de entradas Leitura de arquivos $ strace <programa> 2 > &1 egrep (open.*rd) $echo nome= >> /etc/arquivo; <programa> $sed i s/ano=.*/9999/g /etc/arquivo; <programa> $<programa> -c /dev/random $ln s /dev/random /etc/arquivo; <programa> 13

14 Caixa Preta - Técnicas Particionamento por equivalência Análise de valor limite Tabelas de Decisão Transição de Estados Pairwise 14

15 Particionamento por Equivalência Reduz o conjunto de possíveis entradas Infinito para finito Mesmo com a redução, o teste continua sendo eficiente Divide o domínio de possíveis entradas do software em classes de dados a partir dos quais os casos de teste podem ser derivados 15

16 Particionamento por Equivalência Classe de equivalência representa um conjunto de estados válidos ou inválidos para condições de entrada Duas ou mais classes são equivalentes, se elas produzem o mesmo resultado Se uma situação funciona como o esperado, então podemos assumir que a outra também funciona Devem conter entradas válidas e invalidas 16

17 Particionamento por Equivalência Condições de entrada podem ser: Um valor numérico Um intervalo de valor numérico Um valor alfanumérico 17

18 Particionamento por Equivalência Considerando o funcionalidade Validar Senha que define as classes de equivalência A senha deve ter de 6 a 10 caracteres O primeiro caractere deve ser alfabético, numérico ou? Os outros caracteres podem ser quaisquer, desde que não sejam caracteres de controle A senha não pode existir num dicionário 18

19 Particionamento por Equivalência 19

20 Particionamento por Equivalência 20

21 Análise por Valor Limite Complementa o teste por particionamento de e equivalência Ao invés de selecionar um elemento de uma classe por equivalência, a análise por valor limite considera as extremidades da classe 21

22 Análise por Valor Limite Se um intervalo é delimitado por a e b, os casos de testes devem ser projetados com valores a e b logo acima e logo abaixo respectivamente Se a faixa de valor de entrada é 1 a 99 Se a faixa de valor de entrada e R$ 1 a R$ 99 Se o programa espera Maiúscula de A a Z Se o programa desenha linhas com um tamanho definido Se os valores de entrada devem somar 180 Se o programa necessita especificar o numero de entradas. 22

23 Análise por Valor Limite A senha deve ter entre 6 e 10 caracteres. if (senha > 6 and senha < 10) erro >= 6 e <= 10 loga else exibe mensagem: senha incorreta 23

24 Tabela de Decisão É uma maneira de expressar em forma de tabela o conjunto de condições necessárias para ocorrer um determinado conjunto de ações Define o conjunto de ações a serem tomadas a partir de um conjunto de condições 24

25 Tabela de Decisão É composta por Condições Ações Regras de decisão 25

26 Tabela de Decisão 26

27 Transição de Estados Semelhando a técnica da Tabela de Decisão Tem foco na mudança de estado Transições são mudanças que podem gerar saídas e/ou mudanças de estado 27

28 Transição de Estados Um relógio de escalar tem 2 modos: Tempo e Altímetro. No modo Tempo, se pressionar modo, o relógio muda para o modo Altímetro e, se pressionado novamente, retorna para o modo Tempo. Enquanto o relógio estiver no modo Altímetro, se o botão SET for pressionado, nenhum efeito é gerado. 28

29 Transição de Estados Quando o relógio estiver no modo Tempo, se pressionar o botão SET, o relógio muda para SET HRS, e o display de tempo pode ser incrementado se o botão SET for pressionado. Se o botão Modo for pressionado enquanto o relógio estiver em SET HRS, o relógio muda para SET MIN, onde se o botão SET for pressionado, os minutos são incrementados. Se o botão modo for pressionado, o relógio retorna para o modo Tempo 29

30 Transição de Estados 30

31 Pairwise Baseada na observação de que a maioria das falhas é causada apenas pela combinação de dois fatores Se temos cinco condições de entradas para que o fluxo de um determinado workflow prossiga, caso uma falha seja encontrada, existe, aproximadamente, 95% de chance do motivo da falha ter sido causada pelo conflito entre duas condições apenas 31

32 Pairwise Dificilmente alguma falha é resultante do conflito de três condições Com base nesta idéia, o técnica de pairwise tem como objetivo otimizar os testes Reduzir os casos de teste 32

33 Atividade Testar uma das ferramentas apresentadas no projeto exemplo da locadora de vídeos Finalizar Atividade aula passada Execução dos trabalhos do Grau B 33