Capítulo 49 — Tese de engenharia
Mapa da aula
Aula 49 publicada. Mapa, exemplo, EX145.
flowchart TD
N0["49.1 A afirmação"]
N1["49.2 Capítulos de evidências"]
N2["49.4 Generalização"]
N3["Síntese"]
N0 --> N1 --> N2 --> N3
N3 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX145"]
Desenho lógico
flowchart LR
N0["49.1 A afirmação"]
N1["49.2 Capítulos de evidências"]
N2["49.4 Generalização"]
N3["Síntese"]
N0 --> N1 --> N2 --> N3 --> Q["EX145"]
[49.1 A afirmação]
|
v
[49.2 Capítulos de evidências]
|
v
[49.4 Generalização]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX145]
Objetivos de aprendizagem
Você vai (1) escrever uma tese de engenharia em torno de uma afirmação de projeto; (2) apresentar evidências e limites; (3) generalizar as lições com cuidado.
49.1 A afirmação
A tese de Zara afirma que um serviço de dados de pesquisa que preserva a privacidade, construído com modelos de consulta, verificação de saídas e orçamentos de privacidade diferencial, pode sustentar análises úteis de desfechos para um prestador de telemedicina sem acesso no nível do registro, com proteção verificada contra os ataques de reconstrução testados. A afirmação é delimitada: uma organização, um tipo de análise, dados de verificação sintéticos e uma pequena avaliação com pesquisadores. Ela declara esses limites no resumo e na introdução, para que nenhum leitor confunda a afirmação com uma solução geral. Afirmações delimitadas são mais fáceis de defender diante da banca.
49.2 Capítulos de evidências
A tese apresenta os requisitos rastreados até a lei, o projeto e sua revisão, a implementação, os resultados da verificação, incluindo falhas e correções, o ataque de reconstrução, a avaliação com os pesquisadores e o dossiê de evidências. Cada capítulo responde a uma parte da afirmação. Zara inclui o bug de expiração e o armazenamento com falha na eliminação vindos do dossiê, explicando como cada um foi encontrado e corrigido. Os examinadores, argumenta ela, devem ver que o processo de verificação funciona porque encontrou problemas reais, e não porque tudo passou na primeira vez. Cada falha cita sua correção e o novo teste.
49.3 Limites
Zara escreve os limites com clareza. Os sistemas de modelos restringem a pesquisa exploratória. A agregação nacional reduz a atualidade dos dados das condições raras. Os orçamentos de privacidade diferencial exigem gestão cuidadosa e implementação especializada. A análise jurídica se apoia nos textos do GDPR e da LGPD e nas orientações do EDPB, e não na jurisprudência. O serviço depende do serviço de consentimento e da plataforma de privacidade, que precisam continuar confiáveis. Ela também observa que dados reais de pacientes podem se comportar de forma diferente dos dados sintéticos de teste, e que uma implantação real precisaria de sua própria DPIA. Também lista abertamente as ameaças não testadas.
49.4 Generalização
Zara discute o que outras organizações poderiam aprender. O padrão de modelos aprovados, verificação de saídas e orçamentos por estudo poderia ser transferido para outros prestadores de saúde, mas os parâmetros dependem do tamanho da população, dos tipos de consulta e do apetite a risco. Ela cita a NIST SP 800-188 e Dwork e Roth (2014) para os métodos gerais e os resultados da Pellmore para uma configuração. Evita recomendar valores específicos de épsilon para os outros. O Prof. Holm elogia a contenção, observando que a generalização excessiva é uma fraqueza comum nas teses de engenharia. Em vez de recomendar valores, ela descreve um método para escolher o épsilon.
Exemplo resolvido
Zara escreve uma afirmação de tese delimitada, apresenta evidências que incluem falhas, lista limites que vão da rigidez dos modelos aos dados sintéticos e generaliza o padrão sem prescrever parâmetros.
Caso sintético. A tese é sintética; a NIST SP 800-188 e Dwork e Roth (2014) são reais.
Erros e limites
Uma afirmação delimitada ainda pode ser citada de forma errada; repita os limites nos resumos.
Exercícios
- EX145 — Limites da tese. Liste os limites da afirmação de Zara. Rubrica: 3 = uma organização, um tipo de análise, verificação sintética, avaliação pequena;; 2 = três;; 1 = um;; 0 = nenhuma.
- EX146 — Falhas na tese. Por que incluir o bug de expiração e o armazenamento com falha? Rubrica: 3 = mostram que a verificação encontrou e corrigiu problemas reais;; 2 = menciona honestidade;; 1 = escondê-los;; 0 = nenhuma.
- EX147 — Sem recomendação de épsilon. Por que Zara evita recomendar valores de épsilon aos outros? Rubrica: 3 = os parâmetros dependem da população, das consultas e do apetite a risco de cada organização;; 2 = menciona contexto;; 1 = dá valores;; 0 = nenhuma.
Síntese
O capítulo 49 redige a tese. O capítulo 50 é a defesa final.
Continue estudando — aula 49 (capítulo 49 de 50)
← Capítulo 48 · Índice das aulas · Capítulo 50 →
Continue para a próxima aula já escrita.