Universidade Federal de Pernambuco (UFPE)

Centro de Informática (CIn)

Graduação e Pós-Graduação em Ciência da Computação

Segurança Computacional - 2012.2

Instrutor: Ruy de Queiroz

Monitores: (A CONFIRMAR)

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 2012.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 auxiliares 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

06 Dez
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

10 Dez
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)

13 Dez
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)

17 Dez
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

14 Jan
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. 

17 Jan
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

21 Jan
Uso de criptografia em segurança

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

24 Jan
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)

28 Jan
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

31 Jan
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

04 Fev
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

07 Fev
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

14 Fev
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

18 Fev
Teste de segurança de rede

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

21 Fev
Malware: vírus, spyware

• Leitura:
• Hunting for metamorphic, Szor, P. Ferrie

25 Fev
Primeira Prova

28 Fev
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

04 Mar
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

07 Mar

Proteção ao acesso a artefatos digitais: DRM

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

11 Mar
Anonimidade e Privacidade na internet

• Leitura:
• (a confirmar)

14 Mar
Votação eletrônica

• Leitura:
• (a confirmar)

18 Mar
Segurança de API's

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

21 Mar
SQL Injection

• Leitura:
• (a confirmar)

25 Mar
RFID

• Leitura:
• Radio-frequency identification

28 Mar
Web Application, Discovering and Exploiting Security Flaws

• Leitura:
• (a confirmar)

01 Abr
Forense Computacional

• Leitura:
• (a confirmar)

04 Abr
Cookies

• Leitura:
• (a confirmar)

08 Abr
(A CONFIRMAR)

• Leitura:
• (a confirmar)

11 Abr
Segurança no Android (A CONFIRMAR)

• Leitura:
• (a confirmar)

15 Abr
(A CONFIRMAR)

• Leitura:
• (a confirmar)

18 Abr
(A CONFIRMAR)

• Leitura:
• (a confirmar)

22 Abr
(A CONFIRMAR)

• Leitura:
• (a confirmar)

25 Abr
Arquitetura de trusted computing

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

29 Abr
Segunda Prova

Cursos anteriores:

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

Última atualização: 17 de Janeiro de 2013, 12:04pm GMT-3