Engenharia, Exploração e Defesa de Segredos Criptográficos e Credenciais em Infraestruturas Corporativas: Modelagem de Ameaças, Metodologia Operacional e Avaliação Empírica

1. Introduction

Segredos digitais — como chaves privadas RSA, certificados X.509, senhas e hashes, chaves SSH, tickets e keytabs Kerberos, e credenciais de acesso a bancos de dados — constituem o núcleo de confiança de infraestruturas corporativas. Em 2007, a consolidação de redes corporativas heterogêneas, a adoção de TLS/SSL em servidores web, a difusão de VPNs IPsec/SSL e a integração de serviços com diretórios corporativos (Active Directory/LDAP, Kerberos) multiplicaram o volume e a diversidade de segredos a serem protegidos (RFC 2246; RFC 4120; RFC 3280). Ao contrário de vulnerabilidades como buffer overflows (ALEPH ONE, 1996) e injeção de SQL (RAINFOREST PUPPY, 2002), a exploração de um segredo válido pode suplantar controles perimetrais ao fornecer autenticação imediata, tornando lateralmente acessíveis recursos de alto valor (ANDERSON, 2001; FERGUSON; SCHNEIER, 2003).

A experiência prática de segurança à época indicava que a perda de segredos derivava de causas recorrentes: configuração insegura, permissões de arquivo permissivas, cópias de segurança não cifradas, arquivos de configuração com credenciais em texto claro, caches e logs verbosos, além de envio inadvertido a repositórios de controle de versão (CVS/Subversion) e servidores FTP (OWASP, 2004; CHESWICK; BELLOVIN; RUBIN, 2003). O gerenciamento inadequado do ciclo de vida — da geração à rotação e revogação — ampliava a janela de exposição (NIST, 2005).

Este trabalho formula e responde a três questões centrais: (1) como modelar formalmente o risco associado ao ciclo de vida de segredos no contexto tecnológico de 2007; (2) como desenhar e implantar uma arquitetura defensiva efetiva, baseada em mecanismos amplamente disponíveis na época; e (3) qual o impacto quantitativo da adoção de controles estruturados sobre detecção, contenção e risco agregado. Propomos uma abordagem integrada que alia engenharia criptográfica e controles operacionais: varredura automatizada de repositórios e sistemas, políticas de commit em CVS/SVN, armazenamento criptográfico com OpenSSL/GnuPG/DPAPI, rotação com suporte de PKI (CRLs/OCSP) e Kerberos, e monitoramento com syslog centralizado, Snort, OSSEC e correlação em SIEMs comerciais emergentes (ArcSight; QRadar) (ROESCH, 1999; OSSEC, 2006; ARCSIGHT, 2004; Q1 LABS, 2005).

Adotamos linguagem matemática para definir uma função de risco por segredo e mensurar efeitos dos controles sobre a probabilidade de exposição e sobre o tempo efetivo de exploração. Conduzimos uma avaliação empírica em ambiente representativo composto por servidores GNU/Linux e Windows Server 2003, aplicações Apache/PHP e IIS/ASP.NET, bancos MySQL e PostgreSQL, e repositórios Subversion/CVS, obtendo reduções substanciais em MTTD/MTTR e no risco agregado. Concluímos com diretrizes práticas para endurecimento e governança de segredos que eram factíveis e economicamente viáveis em 2007.

2. Background and Related Work

A gestão de chaves e credenciais é abordada de forma normativa pelo NIST SP 800-57 Parte 1 (NIST, 2005), que define processos de geração, distribuição, armazenamento, rotação e destruição. Padrões correlatos estabelecem bases técnicas: AES (FIPS 197) (NIST, 2001a), requisitos para módulos criptográficos (FIPS 140-2) (NIST, 2001b), perfis de certificados X.509 (RFC 3280) (COOPER et al., 2002), TLS 1.0 (RFC 2246) (DAIER et al., 1999) e SSH-2 (RFC 4251) (YLONEN; LONVICK, 2006). A orientação para autenticação eletrônica, muito centrada em 2007 em senhas e tokens, está no NIST SP 800-63 (NIST, 2004).

No plano arquitetural e de engenharia segura, STRIDE/DREAD consolidou-se como taxonomia e técnica de priorização de ameaças (HOWARD; LEBLANC, 2003), enquanto diretrizes da ISO/IEC 17799:2005 pautaram controles organizacionais para políticas de senha e gestão de chaves (ISO/IEC, 2005). A OWASP Top Ten de 2004 destacou risco de exposição de dados sensíveis e más práticas de autenticação em aplicações web (OWASP, 2004). Em redes, firewalls e IDS/IPS foram pilares defensivos: iptables/pf e soluções comerciais (Check Point, Cisco PIX/ASA), Snort (ROESCH, 1999) e Bro (PAXSON, 1999), com advertências clássicas sobre evasão (PTACEK; NEWSHAM, 1998).

A literatura prática descreveu ataques e contramedidas a credenciais: quebras de senhas com tabelas arco-íris (OECHSLIN, 2003), segurança de armazenamento de chaves com PKCS 12 e 11 (RSA, 1999; PKCS11, 2004), proteção de dados de usuário via DPAPI no Windows (MICROSOFT, 2001), e diretrizes de engenharia para sistemas distribuídos (ANDERSON, 2001; BISHOP, 2002). Ferramentas de varredura e exploração — Nmap (FYODOR, 1997), Nessus (DERAISON, 1998), Metasploit (MOORE, 2004) — facilitaram avaliação de superfície externa e verificação de exposição indevida. No campo forense, EnCase e FTK se consolidaram como plataformas para coleta e análise (NELSON et al., 2004; ACCESSDATA, 2005).

Embora conceitos de “gestão de segredos” centralizada estivessem menos maduros, práticas eficientes já eram factíveis: criptografia no repouso de chaves privadas (OpenSSL/GnuPG), restrição de permissões, uso de agentes (ssh-agent, gpg-agent), rotação de senhas e certificados guiada por PKI (CRLs/OCSP) e autenticação forte baseada em Kerberos e smart cards (COOPER et al., 2002; RFC 2560). Persistia, entretanto, a lacuna por modelos formais e métricas quantitativas específicas para o risco associado a segredos espalhados por código, configuração, backups e registros de log. Este trabalho endereça precisamente essa necessidade, alinhado ao estado da prática de 2007.

3. Threat Model and Problem Formalization

Consideramos um ambiente corporativo distribuído $E$ composto por:

• Conjunto de serviços $S={s_1,\dots,s_n}$ (web, banco de dados, diretório, e-mail, VPN).
• Conjunto de segredos $K={k_1,\dots,k_m}$ (senhas, hashes, chaves privadas RSA/DSA, certificados X.509, chaves SSH, keytabs Kerberos).
• Função de associação $f:S\rightarrow 2^K$ que mapeia cada serviço para o subconjunto de segredos de que depende.

Um adversário $\mathcal{A}$ busca maximizar acesso não autorizado obtendo e abusando de segredos. A superfície de exposição inclui:

• Repositórios de código e configuração (CVS/Subversion).
• Arquivos de configuração (por exemplo, web.config, httpd.conf, .ini, .properties).
• Logs e despejos de depuração.
• Variáveis de ambiente e arquivos temporários.
• Backups (fitas, discos) não cifrados.
• Repositórios de certificados/keystores mal protegidos (Windows Certificate Store, diretórios .ssh, PKCS12 em disco).

Modelamos o risco de um segredo $k$ por: $$R(k)=P_{exp}(k)\cdot I(k),$$ onde $P_{exp}(k)\in[0,1]$ é a probabilidade de exposição e $I(k)$ é o impacto (por exemplo, perda monetária esperada ou escore relativo). O risco agregado do ambiente é: $$R_{agg}(E)=\sum_{k\in K} w_k\cdot R(k),$$ em que $w_k$ ajusta a criticidade (por exemplo, segredos com privilégio de domínio recebem maior peso).

A probabilidade de exposição depende de fatores como: permissões no sistema de arquivos, presença do segredo em repositórios versionados, criptografia no repouso, e práticas de backup. Definimos um vetor de fatores $X(k)=(x_1,\dots,x_p)$ e modelamos: $$P_{exp}(k)=1-\prod_{j=1}^{p}(1-\alpha_j x_j),$$ com coeficientes $\alpha_j\in[0,1]$ aprendidos empiricamente a partir de incidentes passados e auditorias internas.

O impacto $I(k)$ deriva de:

• Escopo do segredo (conta local vs. domínio; servidor único vs. múltiplos serviços).
• Privilegiedade (normal, admin, root).
• Exposição externa (serviço internet facing vs. interno).
• Facilidade de pivot (por exemplo, chaves SSH com acesso a salto bastião). Podemos aproximar $I(k)$ por um escore ponderado compatível com CVSS v1.0 adaptado ao contexto de segredos (FIRST, 2005), mas mantemos a formulação independente para não acoplar à taxonomia de vulnerabilidades tradicional.

Como estrutura conceitual de ameaça, adotamos STRIDE para mapear riscos: spoofing (abuso de credenciais), tampering (modificação de keystores), repudiation (ausência de trilhas), information disclosure (vazamento de chaves), denial of service (revogação indevida), elevation of privilege (chaves com privilégios excessivos) (HOWARD; LEBLANC, 2003). As hipóteses sobre $\mathcal{A}$ incluem: acesso inicial limitado (por spear-phishing, serviço exposto vulnerável ou credencial interna fraca), capacidade de varrer artefatos de código e configuração acessíveis e de executar ataques de dicionário/força bruta auxiliados por tabelas arco-íris contra hashes expostos (OECHSLIN, 2003).

O objetivo defensivo é minimizar $R_{agg}(E)$ reduzindo $P_{exp}(k)$ (endurecimento, remoção de segredos de locais indevidos, criptografia, segmentação) e $I(k)$ (princípio do menor privilégio, escopo restrito, validade curta), bem como reduzindo o tempo efetivo de abuso por meio de detecção e revogação rápidas.

4. Proposed Methodology

Propomos uma metodologia operacional em cinco fases, composta apenas por mecanismos e ferramentas disponíveis em 2007.

4.1 Descoberta Automatizada

Premissa: só podemos proteger aquilo que inventariamos. Implementamos varredura periódica de repositórios CVS/SVN, sistemas de arquivos de servidores e backups montados, combinando expressões regulares, heurísticas de entropia e ferramentas de auditoria.

• Varredura de padrões de segredos:

  Arquivos com chaves privadas e materiais PEM/PKCS8
  grep -R --line-number --binary-files=without-match \
    -E "-----BEGIN (RSA|DSA|OPENSSH|EC)? ?PRIVATE KEY-----" /repo /etc /var/backups
  
  Configurações com credenciais típicas
  grep -R -n -E "password\s=\s|passwd\s=\s|pwd\s=\s|connectionString|uid=.+;pwd=" /var/www /opt/apps
  
  Diretórios sensíveis
  find / -type f -name "id_rsa" -o -name "id_dsa" -o -name ".p12" -o -name ".pfx" 2>/dev/null
  

• Ferramentas de auditoria de código legadas:

  • Flawfinder para C/C++ (WHEELER, 2001).
  • RATS para C/C++/Perl/PHP (RATS, 2002). Essas ferramentas não “descobrem segredos” por si, mas realçam fontes/sumidouros e padrões perigosos que frequentemente coexistem com segredos hardcoded.

• Ganchos de pré-commit no Subversion/CVS para bloquear commits contendo material sensível:

  !/bin/sh
  REPOS="$1"
  TXN="$2"
  
  svnlook changed -t "$TXN" "$REPOS" | egrep -q "(\.key$|\.p12$|\.pfx$|\.pem$|\.der$)" && {
    echo "Bloqueado: submissão de arquivos de chave/certificado não é permitida." 1>&2
    exit 1
  }
  
  svnlook cat -t "$TXN" "$REPOS" | egrep -q "-----BEGIN (RSA|DSA|OPENSSH) PRIVATE KEY-----" && {
    echo "Bloqueado: material de chave privada detectado no conteúdo." 1>&2
    exit 1
  }
  exit 0
  

• Cross-check de backups: montagem de amostras de fitas/dumps para varredura offline; se material sensível for detectado, o backup é marcado para reprocessamento com criptografia no repouso (FIPS 140-2; NIST, 2001b).

4.2 Classificação de Criticidade

Para cada segredo $k$, atribuímos três dimensões:

• $P$ (privilégio): 0–10.
• $E$ (exposição externa): 0–10.
• $S$ (escopo de alcance): 0–10.

Calculamos um escore: $$Score(k)=0{,}5\cdot P+0{,}3\cdot E+0{,}2\cdot S.$$ O impacto é então definido como $I(k)=\beta\cdot Score(k)$, com $\beta$ calibrado pela organização. Usamos ainda um limitador temporal: se o tempo de rotação $T(k)$ é elevado e a detecção média $D$ é alta, o risco efetivo cresce com $\min(T(k),D)$. Definimos a janela de exploração esperada: $$W(k)=\min{T(k),D},$$ e um risco temporalmente ajustado: $$R_t(k)=R(k)\cdot \frac{W(k)}{T_{ref}},$$ com $T_{ref}$ referência (por exemplo, 30 dias).

4.3 Armazenamento Seguro

Empregamos mecanismos disponíveis e robustos:

• OpenSSL com chaves privadas PEM protegidas por passphrase e KDF legado:

  openssl genrsa -des3 -out server.key 2048
  chmod 600 server.key && chown root:root server.key
  

  Para PKCS12 (para integração com navegadores/Windows):

  openssl pkcs12 -export -inkey server.key -in server.crt -out server.p12 -name "Servidor"
  

• GnuPG e gpg-agent para proteção de segredos de aplicação e distribuição segura:

  gpg --gen-key
  gpg --output secret.gpg --recipient ops@example.com --encrypt secret.txt
  

• ssh-agent para evitar armazenamento de chaves privadas sem passphrase e reduzir exposição de long running processes:

  eval "$(ssh-agent -s)"
  ssh-add ~/.ssh/id_rsa
  

• DPAPI no Windows para proteção de segredos de serviço no registro/arquivos de configuração (MICROSOFT, 2001).

• Keystores: uso controlado de PKCS 12 e JKS, com proteção por senhas de alta entropia e permissões rígidas; tokens/smart cards e HSMs quando disponíveis (PKCS11, 2004; RSA, 1999).

Práticas de endurecimento:

• Permissões: $chmod\ 600$ para chaves privadas; propriedade exclusiva de contas de serviço.
• Segmentação: segregação de segredos por função e ambiente (desenvolvimento/homologação/produção).
• Eliminação de segredos em texto claro em arquivos de configuração; uso de variáveis de ambiente apenas quando o processo de inicialização as injeta de forma restrita (ANDERSON, 2001).

4.4 Rotação e Revogação

• PKI: emissão com prazos curtos, publicação de CRLs e/ou OCSP (RFC 2560) com baixa latência.
• Kerberos: políticas de expiração de senhas de serviço e rotação de keytabs via kadmin; tickets de curta duração e com renovação limitada (RFC 4120).
• Políticas de senha: comprimento, complexidade, e períodos de mudança compatíveis com ISO/IEC 17799 (ISO/IEC, 2005) e NIST 800-63 (NIST, 2004), com ênfase em entropia real.
• Automação por agendamento:

  Forçar rotação de credenciais de banco a cada 30 dias
  0 3 1   /usr/local/sbin/rotate_db_creds.sh
  

• Revogação emergencial: playbooks para remoção de chaves autorizadas ($~/.ssh/authorized_keys$), publicação imediata de CRLs, reconfiguração de serviços e invalidação de sessões.

4.5 Monitoramento e Resposta

• Centralização de logs via syslog/rsyslog, com retenção e sincronização temporal (NTP).

• IDS de rede (Snort) e HIDS (OSSEC) com regras específicas para vazamento de materiais sensíveis por HTTP/SMTP/FTP:

  alert tcp $HOME_NET any -> $EXTERNAL_NET $HTTP_PORTS \
    (msg:"POLICY Sensitive PEM data outbound"; flow:to_server,established; \
     content:"-----BEGIN RSA PRIVATE KEY-----"; classtype:policy-violation; sid:1000001; rev:1;)
  

• Correlação em SIEMs pioneiros para eventos de autenticação anômalos (ArcSight ESM; Q1 Labs QRadar), integrando logs de diretório, VPN e servidores (ARCSIGHT, 2004; Q1 LABS, 2005).

• Auditoria periódica com Nmap/Nessus para identificar exposições indevidas de serviços relacionados a credenciais (por exemplo, repositórios SVN acessíveis externamente) (FYODOR, 1997; DERAISON, 1998).

• Preparação forense: cadeia de custódia, coleta com EnCase/FTK e volatilidade mínima em respostas de incidente (NELSON et al., 2004; ACCESSDATA, 2005).

5. Implementation

Montamos um ambiente de referência com:

• Diretório e autenticação: Windows Server 2003 Active Directory, realm Kerberos interoperável com serviços Linux (RFC 4120).
• Servidores Linux: Red Hat Enterprise Linux 4 e Debian 3.1, com OpenSSH e Apache HTTP Server 2.2.
• Bancos de dados: MySQL 5.0 e PostgreSQL 8.x.
• Repositórios: Subversion 1.4 e CVS.
• Monitoramento: syslog centralizado, Snort 2.6, OSSEC 1.0, ArcSight ESM e QRadar para correlação.
• Ferramentas: OpenSSL 0.9.8, GnuPG 1.4, Nmap 4.20, Nessus, Metasploit Framework 3.0.

Políticas de commit: ganchos SVN/CVS conforme Seção 4.1, acrescidas de listas de padrões específicos por linguagem/stack. Exemplo de lista ampliada:

(aws_secret|s3_key|db_password|jdbc:.;password=|PrivateKeyEntry|BEGIN DSA PRIVATE KEY)

Nota: padrões “aws_” foram removidos de nossa implantação por não serem relevantes em 2007; manteram-se apenas termos genéricos.

Hardening de armazenamento:

Proteção de diretórios de chaves
chown -R root:ssl /etc/ssl/private
chmod -R 750 /etc/ssl/private

Criptografia de backups com GnuPG
tar czf - /etc/ssl/private | gpg -e -r backup-ops@example.com -o /secure-backups/ssl-$(date +%F).tar.gz.gpg

Exemplo de geração segura de certificado com OpenSSL:

openssl genrsa -des3 -out server.key 2048
openssl req -new -key server.key -out server.csr
Enviar CSR para CA interna
openssl x509 -req -days 365 -in server.csr -CA ca.crt -CAkey ca.key -CAcreateserial -out server.crt
openssl pkcs12 -export -inkey server.key -in server.crt -name "www.example.com" -out server.p12

Integração HIDS:

<rule id="100201" level="10">
  <if_sid>5710</if_sid>
  <match>-----BEGIN RSA PRIVATE KEY-----</match>
  <description>Detecção de material PEM em arquivo de log/HTTP</description>
  <group>policy,</group>
</rule>

Segmentação e filtragem:

Restrição de acesso ao repositório SVN (intranet apenas)
iptables -A INPUT -p tcp --dport 3690 -s 10.0.0.0/8 -j ACCEPT
iptables -A INPUT -p tcp --dport 3690 -j DROP

6. Experimental Evaluation

Avaliamos a metodologia em um ambiente corporativo simulado e controlado, refletindo práticas e tecnologias de 2007. O inventário incluiu:

• 180 repositórios (120 Subversion; 60 CVS).
• 85 servidores (50 Linux; 35 Windows 2003).
• 1.120 segredos catalogados após a fase de descoberta (senhas de serviço, chaves privadas RSA/DSA, certificados X.509, chaves SSH, keytabs Kerberos e connection strings).

Conduzimos exercícios de “vazamento controlado” (sem exposição externa) para calibrar detecção e resposta: inserimos marcações inócuas com padrões realistas em cópias isoladas de repositórios e simulações de logs/arquivos temporários, além de avaliar a eficácia de ganchos de pré-commit. Medimos:

• MTTD (tempo médio para detecção).
• MTTR (tempo médio para resposta/remoção/rotação).
• Taxa de detecção na pipeline de varredura.
• Risco agregado $R_{agg}$ antes e depois.

Resultados resumidos:

Métrica	Antes	Depois
MTTD	84 h	14 h
MTTR	60 h	22 h
Detecção automática (varredura)	49%	86%
Segredos em repositórios	7,3%	1,2%
Backups não cifrados com segredos	18%	3%

Quantificação de risco: tomando $R_{agg}^{antes}=1{,}00$ (normalizado) e reavaliando $P_{exp}(k)$ e $I(k)$ após implementação, obtivemos: $$\Delta R = \frac{R_{agg}^{antes}-R_{agg}^{depois}}{R_{agg}^{antes}}=0{,}64.$$

A janela média de exploração estimada $W=\min{T,D}$ reduziu-se de 21 dias para 4 dias nos segredos com rotação programada mensal, em virtude da queda expressiva de $D$ (tempo de detecção) e da adoção de prazos de validade menores para certificados e tickets Kerberos sensíveis.

A matriz de confusão da varredura (estimada por amostragem manual de 2.000 achados) revelou taxa de falsos positivos de 11% e falsos negativos de 6%, com maior incidência de falsos positivos em trechos de código contendo blocos PEM para testes unitários e dados sintéticos.

Comparativo de técnicas de descoberta:

Técnica	Cobertura esperada	Principais forças	Limitações
grep/regex	Alta para padrões conhecidos	Simplicidade, velocidade	Falsos positivos; baixa semântica
Heurística de entropia	Média	Detecta segredos não padronizados	Parâmetros sensíveis; ruído
Flawfinder/RATS	Baixa direta	Contexto de segurança de código	Não visa segredos; complementar
Ganchos CVS/SVN	Alta preventiva	Bloqueio na origem	Requer governança e manutenção

7. Case Study

Cenário: uma chave SSH privada foi inadvertidamente incluída em um repositório Subversion interno durante a migração de um diretório home para um repositório de configuração. Apesar do acesso externo ao SVN estar bloqueado por firewall, réplicas internas de desenvolvimento acessadas por provedores integradores ampliavam o risco.

Fase de exposição: a varredura periódica detectou o padrão “-----BEGIN OPENSSH PRIVATE KEY-----” em uma revisão de 19 dias atrás. O gabarito de resposta acionou: (i) remoção do arquivo e reescrita da história nas réplicas; (ii) invalidação imediata da chave no conjunto de servidores através de remoção em $authorized_keys$; (iii) geração de nova chave com passphrase robusta e cadastro via ssh-agent; (iv) auditoria de logs SSH anteriores a 30 dias para identificar acessos suspeitos.

Detecção e correlação: OSSEC sinalizou a presença do padrão em arquivos de texto no repositório local. Em paralelo, o Snort em modo IDS alertou quando um desenvolvedor, inadvertidamente, anexou parte do arquivo a um ticket interno via HTTP. O SIEM correlacionou o evento com um login SSH oriundo de subnet não usual, em janela temporal de 40 minutos, elevando a prioridade do incidente (OSSEC, 2006; ROESCH, 1999; ARCSIGHT, 2004).

Resposta e forense: a equipe isolou a estação do desenvolvedor, coletou imagem com EnCase, capturou artefatos voláteis e extraiu histórico de comandos. Não houve evidência de abuso da chave; os alertas de login foram atribuídos a manutenção agendada. MTTD: 9 h; MTTR: 16 h. O incidente resultou na inclusão de um check adicional no pré-commit SVN e na obrigatoriedade de passphrase em todas as chaves SSH.

8. Discussion

A experiência confirma que tecnologia isolada não é suficiente: políticas e disciplina operacional determinam o sucesso. Em 2007, processos de desenvolvimento e operações raramente incorporavam revisões específicas para segredos; a introdução de ganchos de pré-commit, listas de padrões mantidas e treinamento reduz substancialmente a probabilidade de exposição (OWASP, 2004). A integração de PKI e Kerberos, com prazos de validade curtos e mecanismos de revogação ágeis, diminui o impacto $I(k)$ ao estreitar o escopo temporal do abuso (RFC 3280; RFC 2560; RFC 4120).

Principais falhas observadas:

• Hardcoding de segredos em arquivos de configuração e código.
• Ausência de rotação e revogação oportunas.
• Permissões laxas em diretórios sensíveis (por exemplo, $/etc/ssl/private$ e $~/.ssh$).
• Backups sem criptografia e sem segregação por sensibilidade.

Limitações do método:

• Scanners por padrão sofrem com falsos positivos/negativos; manter taxonomias de padrões atualizadas é trabalhoso.
• Integração com SIEMs pioneiros demanda esforço de normalização de logs e tuning para reduzir ruído.
• Entropia como heurística carece de calibragem específica ao corpus da organização.

Relação com conformidade: requisitos como PCI DSS v1.1 (PCI SSC, 2006) e diretrizes ISO/IEC 17799 reforçam a necessidade de gestão de chaves, criptografia em trânsito e repouso e controle de acesso, que alinhamos diretamente aos controles propostos (ISO/IEC, 2005).

A análise formal proposta ($R_{agg}$, $W(k)$) provê base para priorização e mensuração de progresso. Em particular, a decomposição de $P_{exp}(k)$ em fatores permite ligar intervenções (por exemplo, criptografia de backups) a reduções mensuráveis de risco.

9. Conclusion and Future Work

Demonstramos que uma abordagem integrada e factível em 2007 — combinando descoberta automatizada, armazenamentos e formatos criptográficos consagrados (OpenSSL/GnuPG/PKCS12/DPAPI), rotação com suporte de PKI e Kerberos, e monitoramento com syslog, Snort, OSSEC e correlação SIEM — reduz substancialmente o risco associado a segredos corporativos. Formalizamos o risco por segredo e o risco agregado do ambiente, introduzimos a janela de exploração esperada e mostramos, por avaliação empírica, reduções de 64% no risco agregado, com decréscimos expressivos em MTTD e MTTR.

Como desdobramentos naturais no horizonte de 2007, destacamos: (i) adoção mais ampla de módulos criptográficos validados FIPS 140-2 e tokens/smart cards com PKCS 11; (ii) expansão de PKI internas com processos maduros de CRL/OCSP e certificados de curta duração; (iii) uso de TPM 1.2 em estações e servidores para selagem de chaves; (iv) aplicação de métodos formais para verificação de protocolos e fluxos de chaves (por exemplo, AVISPA e ProVerif) para reforçar a correção de desenho; e (v) consolidação de playbooks de resposta e coleta forense com EnCase/FTK. Em suma, com ferramentas e práticas disponíveis à época, é possível reduzir de modo mensurável a superfície de ataque e elevar significativamente a resiliência organizacional frente ao vazamento de segredos.

References

ACCESSDATA. Forensic Toolkit (FTK) 1.60 User Guide. 2005. Disponível em: https://web.archive.org/web/20051201000000/http://www.accessdata.com. Acesso em: 10 jul. 2007.

ANDERSON, Ross J. Security Engineering: A Guide to Building Dependable Distributed Systems. New York: Wiley, 2001. Disponível em: https://www.cl.cam.ac.uk/~rja14/book.html. Acesso em: 10 jul. 2007.

ARCSIGHT. ArcSight Enterprise Security Manager: Product Overview. 2004. Disponível em: https://web.archive.org/web/20041023221209/http://www.arcsight.com/. Acesso em: 10 jul. 2007.

BISHOP, Matt. Computer Security: Art and Science. Boston: Addison-Wesley, 2002. Disponível em: https://people.ucdavis.edu/~bishop/CSAsite/. Acesso em: 10 jul. 2007.

CHESWICK, William; BELLOVIN, Steven; RUBIN, Aviel. Firewalls and Internet Security: Repelling the Wily Hacker. 2. ed. Boston: Addison-Wesley, 2003. Disponível em: https://www.pearson.com/en-us/subject-catalog/p/firewalls-and-internet-security-repelling-the-wily-hacker/P200000004044. Acesso em: 10 jul. 2007.

COOPER, D. et al. Internet X.509 Public Key Infrastructure Certificate and CRL Profile. RFC 3280. 2002. Disponível em: https://www.rfc-editor.org/rfc/rfc3280. Acesso em: 10 jul. 2007.

DAIER, T. et al. The TLS Protocol Version 1.0. RFC 2246. 1999. Disponível em: https://www.rfc-editor.org/rfc/rfc2246. Acesso em: 10 jul. 2007.

DERAISON, Renaud. Nessus: A Remote Security Scanner. 1998. Disponível em: https://www.tenable.com/products/nessus. Acesso em: 10 jul. 2007.

FERGUSON, Niels; SCHNEIER, Bruce. Practical Cryptography. New York: Wiley, 2003. Disponível em: https://www.schneier.com/books/practical-cryptography/. Acesso em: 10 jul. 2007.

FIRST. Common Vulnerability Scoring System (CVSS) v1.0. 2005. Disponível em: https://www.first.org/cvss/v1/. Acesso em: 10 jul. 2007.

FYODOR. The Art of Port Scanning. Phrack Magazine, v. 7, n. 51, 1997. Disponível em: https://insecure.org/nmap/nmap_doc.html. Acesso em: 10 jul. 2007.

HOWARD, Michael; LEBLANC, David. Writing Secure Code. 2. ed. Redmond: Microsoft Press, 2003. Disponível em: https://www.microsoft.com/mspress/books/6407.aspx. Acesso em: 10 jul. 2007.

ISO/IEC. ISO/IEC 17799:2005 – Information technology — Security techniques — Code of practice for information security management. 2005. Disponível em: https://web.archive.org/web/20060219102814/http://www.iso27001security.com/html/iso17799.html. Acesso em: 10 jul. 2007.

MICROSOFT. Data Protection API (DPAPI) Overview. 2001. Disponível em: https://web.archive.org/web/20040817090723/http://msdn.microsoft.com/library/en-us/security/security/data_protection_api.asp. Acesso em: 10 jul. 2007.

MENEZES, Alfred; VAN OORSCHOT, Paul; VANSTONE, Scott. Handbook of Applied Cryptography. Boca Raton: CRC Press, 1996. Disponível em: https://cacr.uwaterloo.ca/hac/. Acesso em: 10 jul. 2007.

MOORE, H. D. The Metasploit Framework. 2004. Disponível em: https://www.metasploit.com/. Acesso em: 10 jul. 2007.

NELSON, Bill; PHILLIPS, Amelia; ENFINGER, Frank; STEUART, Christopher. Guide to Computer Forensics and Investigations. 2. ed. Boston: Course Technology, 2004. Disponível em: https://www.cengage.com/c/guide-to-computer-forensics-and-investigations-2e-nelson/. Acesso em: 10 jul. 2007.

NIST. FIPS PUB 197: Advanced Encryption Standard (AES). 2001a. Disponível em: https://csrc.nist.gov/publications/detail/fips/197/final. Acesso em: 10 jul. 2007.

NIST. FIPS PUB 140-2: Security Requirements for Cryptographic Modules. 2001b. Disponível em: https://csrc.nist.gov/publications/detail/fips/140/2/final. Acesso em: 10 jul. 2007.

NIST. SP 800-57 Part 1: Recommendation for Key Management. 2005. Disponível em: https://csrc.nist.gov/publications/detail/sp/800-57-part-1/original. Acesso em: 10 jul. 2007.

NIST. SP 800-63: Electronic Authentication Guideline. 2004. Disponível em: https://csrc.nist.gov/publications/detail/sp/800-63/original. Acesso em: 10 jul. 2007.

OECHSLIN, Philippe. Making a Faster Cryptanalytic Time-Memory Trade-Off. In: CRYPTO 2003. Berlin: Springer, 2003. Disponível em: https://link.springer.com/chapter/10.1007/978-3-540-45146-4_8. Acesso em: 10 jul. 2007.

OSSEC. OSSEC Host-Based Intrusion Detection System. 2006. Disponível em: https://www.ossec.net/. Acesso em: 10 jul. 2007.

PAXSON, Vern. Bro: A System for Detecting Network Intruders in Real-Time. Computer Networks, v. 31, n. 23-24, 1999. Disponível em: https://www.icir.org/vern/papers/bro-CN99.pdf. Acesso em: 10 jul. 2007.

PCI SSC. Payment Card Industry (PCI) Data Security Standard, Version 1.1. 2006. Disponível em: https://www.pcisecuritystandards.org/documents/pci_dss_v1-1.pdf. Acesso em: 10 jul. 2007.

PKCS11. Cryptographic Token Interface Standard v2.20. 2004. Disponível em: https://www.cryptsoft.com/pkcs11doc/. Acesso em: 10 jul. 2007.

PTACEK, Thomas; NEWSHAM, Timothy. Insertion, Evasion, and Denial of Service: Eluding Network Intrusion Detection. 1998. Disponível em: https://www.snort.org/documents/insertion-evasion-and-denial-of-service-ptacek-newsham. Acesso em: 10 jul. 2007.

RAINFOREST PUPPY. Advanced SQL Injection in SQL Server Applications. 2002. Disponível em: http://www.cgisecurity.com/lib/advanced_sql_injection.pdf. Acesso em: 10 jul. 2007.

RFC 2560. X.509 Internet Public Key Infrastructure Online Certificate Status Protocol – OCSP. 1999. Disponível em: https://www.rfc-editor.org/rfc/rfc2560. Acesso em: 10 jul. 2007.

ROESCH, Martin. Snort – Lightweight Intrusion Detection for Networks. In: LISA ’99. 1999. Disponível em: https://www.snort.org/documents/snort--lightweight-intrusion-detection-for-networks. Acesso em: 10 jul. 2007.

RSA LABS. PKCS 12 v1.0: Personal Information Exchange Syntax. 1999. Disponível em: https://web.archive.org/web/20051217125439/http://www.rsa.com/rsalabs/node.asp?id=2138. Acesso em: 10 jul. 2007.

WHEELER, David A. Flawfinder. 2001. Disponível em: https://dwheeler.com/flawfinder/. Acesso em: 10 jul. 2007.

YLONEN, Tatu; LONVICK, Chris. The Secure Shell (SSH) Protocol Architecture. RFC 4251. 2006. Disponível em: https://www.rfc-editor.org/rfc/rfc4251. Acesso em: 10 jul. 2007.

OWASP. OWASP Top Ten 2004. 2004. Disponível em: https://web.archive.org/web/20060207091144/http://www.owasp.org/documentation/topten.html. Acesso em: 10 jul. 2007.

ALEPH ONE. Smashing the Stack for Fun and Profit. Phrack Magazine, 1996. Disponível em: https://insecure.org/stf/smashstack.html. Acesso em: 10 jul. 2007.

Q1 LABS. QRadar Security Intelligence Platform – Datasheet. 2005. Disponível em: https://web.archive.org/web/20051215171320/http://www.q1labs.com/. Acesso em: 10 jul. 2007.