Segurança em Software
pt
en
Attachments
Lattice-based Access Control Models, R. Sandhu, 1993.
Static Analysis for Security, B. Chess & G. McGraw, 2004.
Language-Based Information-Flow Security, A. Sabelfeld & A. C. Myers, 2001.
Semantics with Applications - A formal introduction, H. Nielson & F. Nielson, 1999.
Página Inicial
Grupos
Avaliação
Bibliografia
Horário
Métodos de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Notas
Resultado dos QUC
Slides
Labs
Project
Papers / artigos
Additional study materials
Exercises/Tests from previous years
Pautas
Office hours / dúvidas