Segurança de Software
O curso aborda técnicas fundamentais de análise de programas baseadas em tipos e lógicas, permitindo identificar comportamentos ilícitos, verificar a ausência desses comportamentos e explorar ferramentas que implementam essas técnicas.
Curso oferecido por
Formador
Cyrille Valentin Artho
Associate professor
Idioma
English
Objetivos de aprendizagem
- Explicar aspetos de safety e security dos sistemas.
- Construir modelos de sistemas.
- Especificar e analisar propriedades de safety e security.
- Aplicar ferramentas de análise a sistemas de software.
- Avaliar e comparar diferentes abordagens para a verificação e validação de sistemas de software.
Pré-requisitos
- Bons conhecimentos e competências em programação, linguagens de programação e semântica de programas. Conhecimentos de lógica de primeira ordem e autómatos finitos.
Temas abordados
FundamentalsOffensive SecuritySecure Development
Módulos
Não sabe por onde começar?
Descubra como funciona o portal Cycerone, como estão organizados os cursos e os percursos de aprendizagem, e como encontrar as oportunidades de formação que melhor se adequam às suas necessidades.