|
|
Atividade
| 111970 - Princípio da independência do software |
| Período da turma: | 11/11/2024 a 30/05/2025
|
||||
|
|
|||||
| Descrição: | Breve descrição: Apresentar a terminologia e propriedades de sistemas de votação independentes de software "e dependentes de software". Dificuldades de avaliar erros de software complexos; abordagens independentes de software; Como se testa a independência de software.
Competências cobertas: Entender a necessidade da aplicação do princípio da independência de software em sistemas eleitorais. Aspectos de Segurança Cobertos: Compreender os impactos da aplicação do princípio da independência de software, ou não, em sistemas eleitorais, considerando a integridade, confidencialidade, disponibilidade e transparência do processo de votação, ou seja, segurança do voto. Bibliografia preliminar Real-World Electronic Voting: Design, Analysis and Deployment, Feng Hao and Peter Y. A. Ryan; On the notion of software-independence in voting systems By Ronald L. Rivest MIT and John P. Wack NIST; The Essentials of Modern Software Engineering: Free the Practices from the Method Prisons! Ivar Jacobson and Harold Bud; Software Architecture for Developers, Simon Brown; Software Technologies, 8th International Joint Conference, ICSOFT, José Cordeiro and Marten van Sinderen; Fundamentals of Software Architecture, Mark Richards and Neal Ford. Adida, B. 2006. Verifying Secret-Ballot Elections With Cryptography. PhD thesis, MIT, Department of EECS. |
||||
| Carga Horária: |
18 horas |
||||
| Tipo: | Obrigatória | ||||
| Vagas oferecidas: | 120 | ||||
| Ministrantes: |
Wilson Vicente Ruggiero |
 voltar |
|
Créditos © 1999 - 2025 - Superintendência de Tecnologia da Informação/USP |