Segurança Computacional - 2010.2

Local e horário:
  Sala D-220
  2^a Feira, de 10h às 12h
  4^a Feira, de 08h às 10h

Descrição:
O curso terá como roteiro uma combinação da ementa dos cursos

Computer and Network Security (CS155), ministrado por Dan Boneh e John Mitchell, Stanford Univ.
Web Programming and Security (CS142), ministrado por Dan Boneh e John Mitchell, Stanford Univ.

Comunicação
Todas as informações sobre a disciplina serão veiculadas na rede social http://seguranca20102.grou.ps

Avaliação:
Baseada em:
(L) leituras semanais da literatura recomendada
(E) listas de exercícios
(P) 2 provas escritas
(I) 2 projetos de implementação

Fórmula de cálculo da média final: 0,2*L + 0,2*E + 0,3*P+ 0,3*I.

Programação

11 Ago
Introdução ao curso
Exibição do filme Can you hack it? (2007)

Leitura:
Reflections on Trusting Trust, Ken Thompson
Botnets, Cybercrime, and Cyberterrorism: Vulnerabilities and Policy Issues for Congress (Congressional Research Services report)

16 Ago
Ataques de seqüestro de controle

Leitura:
Buffer Overflows: Attacks and Defenses for the Vulnerability of the Decade, Crispin Cowan, et al.
Smashing The Stack For Fun And Profit, Aleph One
Basic Integer Overflows, blexim
Bypassing Browser Memory Protections, A. Sotirov (a detailed analysis of Windows memory protection)

18 Ago
Ténicas de exploração e fuzzying

Leitura:
How hackers look for bugs by Dave Aitel
Real world fuzzing, by Charlie Miller
Effective Bug Discovery, vf.

23 Ago
Controle de acesso

Leitura:
SetUID Demystified, Chen, Dean, and Wagner, 2002.
Understanding Android Security, Enck, Ongtang, and McDaniel, 2009

25 Ago
Ferramentas para escrever código robusto

Leitura:
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, by C. Cadar, D. Dunbar, D. Engler
Finding Security Vulnerabilities in Java Applications with Static Analysis, by B. Livshits and M. Lam

01 Set
Uso de criptografia em segurança

Leitura:
Five-minute university
Why cryptosystems fail, Ross Anderson

08 Set
Lidando com código herdado: sandboxing e isolamento

Leitura:
Traps and Pitfalls: Practical Problems in System Call Interposition Based Security Tools, T. Garfinkel
Efficient Software-Based Fault Isolation, Robert Wahbe, et al.
A note on the confinement problem, Butler Lampson

13 Set
Modelo básico de segurança na web

Leitura:
Securing Browser Frame Communication. Adam Barth, Collin Jackson, and John C. Mitchell
The Security Architecture of the Chromium Browser. Adam Barth, Collin Jackson, Charles Reis, and the Google Chrome Team

15 Set
Autenticação do usuário e gerenciamento de sessão

Leitura:
Secure Session Management With Cookies for Web Applications. Chris Palmer
Designing and Conducting Phishing Experiments, Finn and Jakobsson, 2007
Threat Metrix, Device Fingerprinting and Fraud Protection Whitepaper

20 Set
Segurança em aplicação na web

Leitura:
Cross site scripting explained, Amit Klein
SQL Injection attacks, Chris Anley
Robust Defenses for Cross-Site Request Forgery. Adam Barth, Collin Jackson, and John C. Mitchell

22 Set
O protocolo HTTPS: objetivos e limitações

Leitura:
ForceHTTPS: protecting high-security web sites from network attacks, by A. Barth and C. Jackson
Certified lies: detecting and defeating interception attacks against SSL, by C. Soghoian and S. Stamm

27 Set
Problemas de segurança em protocolos de rede

Leitura:
A look back at Security Problems in the TCP/IP Protocol Suite, S. Bellovin, ACSAC 2004.
A survey of BGP security, 2005.
DNS cache poisoning, Steve Friedl

29 Set
Ferramentas de defesa de rede

Leitura:
A Security Evaluation of DNSSEC with NSEC3, J. Bau and J.C. Mitchell
Network Firewalls, S.M. Bellovin and W.R. Cheswick
Bro: A System for Detecting Network Intruders in Real-Time, V. Paxon

04 Out
Tráfego indesejado: ataques de negação de serviço

Leitura:
Practical network support for IP Traceback, S. Savage, et al.
A DoS-Limiting Network Architecture, Yang, Wetherall, and Anderson
A detailed DDoS extortion story

06 Out
Teste de segurança de rede

Leitura:
The Art of Port Scanning, Fyodor
pOf 2: Dr. Jekyll had something to Hyde, Zalewski

13 Out
Primeira Prova

18 Out
Malware: vírus, spyware

Leitura:
Hunting for metamorphic, Szor, P. Ferrie

20 Out
Botnet: ataques e defesas

Leitura:
Inside the slammer worm, S. Savage
An Analysis of Conficker's Logic and Rendezvous Points
Know Your Enemy: Fast-Flux Service Networks, Honeynet

25 Out
Proteção ao acesso a artefatos digitais: DRM

Leitura:
Hardware-assisted circumvention of self-hashing software tamper resistance, Oorschot et al.

27 Out
Anonimidade e Privacidade na internet

Leitura:
(a confirmar)

03 Nov
Votação eletrônica

Leitura:
(a confirmar)

08 Nov
Segurança de API's

Leitura:
API Attacks, Cap. 18 do livro Security Engineering, por Ross Anderson

10 Nov
SQL Injection (por Márcio Almeida)

Leitura:
(a confirmar)

17 Nov
RFID

Leitura:
Radio-frequency identification

22 Nov
Web Application, Discovering and Exploiting Security Flaws (por Armando Gonçalves)

Leitura:
(a confirmar)

24 Nov
Forense Computacional

Leitura:
(a confirmar)

29 Nov
Direito da Informática (por Ivanildo Figueiredo, Professor da Fac. de Direito da UFPE)

Leitura:
(a confirmar)

01 Dez
O nó górdio (por Evandro Curvelo Hora, Tempest Security Intelligence) [slides]

Resumo:
Criptografia é a mais conhecida ferramenta utilizada para promover confidencialidade para os dados/informações, estejam estes em trânsito ou armazenados. No entanto sabe-se que a informação não nasce originalmente cifrada, nem se apresenta semanticamente útil enquanto assim permanecer. Tais características dos dados/informações impõem aos construtores de sistemas e usuários certos requisitos nos procedimentos no seu manuseio, de forma a minimizar protegê-la contra a quebra do sigilo, caso requerido. Serão apresentados casos históricos e recentes de erros de projeto ou procedimentos nos sistemas que redundaram por comprometer a confidencialidade dos mesmos.

Leitura:
Understanding trusted computing: will its benefits outweigh its drawbacks? by E. Felten
Terra: A Virtual Machine-Based Platform for Trusted Computing by T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, and D. Boneh

13 Dez
Segunda Prova

Cursos anteriores:

• 2009.2
• 2008.2
• 2007.2
• 2006.2
• 2005.2

Última atualização: 02 de Dezembro de 2010, 02:25pm GMT-3