Catálogo 2009 - Pós-Graduação - ITA

Requisito recomendado: CT-234. Requisito exigido: não há. Horas semanais: 3-
0-0-6. Conceituação de Segurança Lógica de Software. Modelos de Políticas de
Segurança. Identificação e análise de requisitos de segurança lógica para software.
Técnicas de proteção contra ataques e disponibilidade, confidencialidade, integridade e
autenticidade de sistemas. Verificação, validação e auditoria de segurança lógica de
software. Padrões para segurança lógica de software. Bibliografia: BISHOP M.,
Computer security: Art and science, Addison-Wesley, 2002; ROSS, A., Security
engineering: A guide to building distributed dependable systems, john Wiley & Sons,
2001; STALLINGS, W., Network and internetworking security Principles and practice.
Prentice-Hall. 1995.
CE-283/2009 - Governança de Tecnologia de Informação
Requisito recomendado: Não há. Requisito exigido: Não há. Horas semanais: 3-
0-0-6. Princípios de governança de sistemas. Técnicas para definição de metas para
governança. Modelos de governança para TI: COBIT, ITIL e CMMI. Introdução à
Arquitetura Oriemtada a Serviços . Estudos de casos para implantação de governança.
Bibliografia: Weill, P.: Ross, J.W. Governança de TI, Tecnologia de Informação.
M.Books, São Paulo, 2006. Ross, J.W.Weill, P.: Robertson, D.C. Enterprise
Architecture as Strategy, Harvard Business School Press, Boston, 2006. Marks, E.A.;
Bell, M. Service Oriented Architecture: a planning and implementation guide, Willey,
New Jersey, 2006.
CE-288/2009 - Programação Distribuída
Requisito recomendado: não há. Requisito exigido: consentimento do professor.
Horas semanais: 3-0-0-6. Linguagens de programação distribuída. Anéis lógicos.
Rotulação de tempo e relógios lógicos. Transações em bancos de dados distribuídos.
Computações difusas. Detecção de deadlock em sistemas distribuídos. Problemas dos
generais bizantinos (algoritmos de consenso). Problema dos filósofos que jantam
(algoritmos para evitar inanição). Algoritmos paralelos para redes de estações de
trabalho. Algoritmos de multicast confiável. Bibliografia: MULLENDER, S., (ed.)
Distributed systems. [S.l.]: Addison-Wesley e ACM Press, 1993; RAYNAL, M.,
Distributed algorithms and protocols. New York: John Wiley & Sons, 1988; MISRA, J.,
CHANDY, K., Parallel program design: a foundation. [S.l.]: Addison Wesley, 1988.