Segurança Computacional - 2011.2

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

Forum: Segurança Computacional 2011.2

Descrição:
O curso terá como roteiro uma versão expandida (com tópicos a serem anunciados) da ementa do seguinte curso:

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

Literatura:
Não há livro-texto. Apenas artigos para leitura relacionados a cada aula.
Textos recomendados:

1. Secure Programming for Linux and Unix HOWTO, por David Wheeler.
2. Security Engineering, por Ross Anderson.

Comunicação
Todas as informações sobre a disciplina serão veiculadas na rede social (a ser anunciada).

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
The Legitimate Vulnerability Market. Inside the Secretive World of 0-day Exploit Sales, by Charlie Miller

15 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
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

22 Ago
Desenho de sistema seguro, Controle de acesso, segurança de sistema operacional

Leitura:
Operating System Security, Trent Jaeger (long article for reference)
The Security Architecture of the Chromium Browser, Barth, Jackson, Reis, et al. (Sections 3 and 4)
The Chromium Sandbox (how Windows security is used for Chromium security)
Understanding Android Security , Enck, Ongtang, and McDaniel, 2009 (Security Enforcement section)

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

29 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.

01 Set
Uso de criptografia em segurança

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

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

Leitura:
Securing Browser Frame Communication Adam Barth, Collin Jackson, and John C. Mitchell (sections 1-3 and section 4.2)
Busting frame busting: a study of clickjacking vulnerabilities at popular sites   Gustav Rydstedt, Elie Bursztein, Dan Boneh, and Collin Jackson (sections 1,2,and 3.1-3.3)

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

Leitura:
Secure Session Management With Cookies for Web Applications. Chris Palmer
Device Fingerprinting and Fraud Protection Whitepaper

12 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

15 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

19 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

22 Set
Ferramentas de defesa de rede

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

26 Set
Teste de segurança de rede

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

29 Set
Malware: vírus, spyware

Leitura:
Hunting for metamorphic, Szor, P. Ferrie

03 Out
Primeira Prova

06 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

10 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

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

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

17 Out
Anonimidade e Privacidade na internet

Leitura:
(a confirmar)

20 Out
Votação eletrônica

Leitura:
(a confirmar)

24 Out
Segurança de API's

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

27 Out
SQL Injection

Leitura:
(a confirmar)

31 Out
RFID

Leitura:
Radio-frequency identification

03 Nov
Web Application, Discovering and Exploiting Security Flaws

Leitura:
(a confirmar)

07 Nov
Forense Computacional

Leitura:
(a confirmar)

10 Nov
Cookies

Leitura:
(a confirmar)

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

Leitura:
(a confirmar)

17 Nov
Segurança no Android (A CONFIRMAR)

Leitura:
(a confirmar)

21 Nov
(A CONFIRMAR)

Leitura:
(a confirmar)

24 Nov
(A CONFIRMAR)

Leitura:
(a confirmar)

28 Nov
(A CONFIRMAR)

Leitura:
(a confirmar)

01 Dez
(A CONFIRMAR)

Leitura:
(a confirmar)

05 Dez
(A CONFIRMAR)

Leitura:
(a confirmar)

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

12 Dez
(Aula convidada)

(titulo e resumo a confirmar)

15 Dez
Segunda Prova

Cursos anteriores:

• 2010.2
• 2009.2
• 2008.2
• 2007.2
• 2006.2
• 2005.2

Última atualização: 18 de Agosto de 2011, 02:36pm GMT-3