Uma Proposta de Integração da Biblioteca Criptográfica do Sistema Helios ao Sistema Civis
Resumo
Sistemas de votação via Internet têm mostrado-se uma alternativa às eleições eletrônicas tradicionais. De forma a garantir segurança, soluções como o Helios e o Civis utilizam-se de avançados mecanismos definidos por meio de suas bibliotecas criptográficas. Tais bibliotecas compartilham algumas primitivas criptográficas, mas quando comparadas, a biblioteca empregada no Helios possui uma vantagem inerente. Graças ao emprego do Helios na realização de eleições, sua biblioteca tem sido constantemente testada e validada. De forma a aprimorar o Civis com os benefícios da biblioteca do Helios, este trabalho introduz uma proposta de integração da biblioteca do Helios ao Civis. Em particular, o criptosistema ElGamal.Referências
Adida, B. (2008). Helios: Web-based open-audit voting. In van Oorschot, P. C., editor, Proceedings of the 17th USENIX Security Symposium, July 28-August 1, 2008, San Jose, CA, USA, pages 335–348. USENIX Association.
Araújo, R., Ben Rajeb, N., Robbana, R., Traoré, J., and Youssfi, S. (2010). Towards practical and secure coercion-resistant electronic elections. In Cryptology and Network Security: 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings 9, pages 278–297. Springer.
Araujo, R., Neto, A., and Traoré, J. (2018). Civis - a coercion-resistant election system. In Anais do XVIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, pages 29–42, Porto Alegre, RS, Brasil. SBC.
Bulens, P., Giry, D., and Pereira, O. (2011). Running Mixnet-Based elections with helios. In 2011 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 11), San Francisco, CA. USENIX Association.
Cominetti, E. L., Junior, M. A. S., Matias, P., and Araújo, R. (2023). Sistemas de votação fim-a-fim: Teoria e prática. In Minicursos do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2023), pages 51–102, Porto Alegre, RS, Brasil. SBC.
Cortier, V., Galindo, D., Glondu, S., and Izabachène, M. (2013). Distributed elgamal à la pedersen: Application to helios. In Sadeghi, A. and Foresti, S., editors, Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society, WPES 2013, Berlin, Germany, November 4, 2013, pages 131–142. ACM.
de Sá, M., Araujo, R., Sobrinho, A., Neto, A. S., Maximino, G., and Traoré, J. (2020). How colored passwords can improve the usability of coercion-resistant internet voting systems. In Anais do XIX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais, pages 436–441, Porto Alegre, RS, Brasil. SBC.
Gamal, T. E. (1985). A public key cryptosystem and a signature scheme based on discrete logarithms. IEEE Trans. Inf. Theory, 31(4):10–18.
Laz, M. E., Grégoire, B., and Rezk, T. (2020). Security analysis of elgamal implementations. In Samarati, P., di Vimercati, S. D. C., Obaidat, M. S., and Ben-Othman, J., editors, Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, ICETE, pages 310–321. ScitePress.
Neto, A. S. and Araújo, R. (2017). A integração do criptossistema el gamal limiar ao sistema de votação via internet civis. In Anais do XVII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, pages 697–706, Porto Alegre, RS, Brasil. SBC.
Pereira, O. (2016). Internet voting with helios. In Real-World Electronic Voting, pages 293–324. Auerbach Publications.
Sobrinho, A. and Araújo, R. (2019). Aprimorando a segurança do sistema de votação civis através da geração distribuída de credenciais. In Anais Estendidos do XIX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, pages 101–104, Porto Alegre, RS, Brasil. SBC.
Sá, M., Araújo, R., Sobrinho, A., and Traoré, J. (2020). Registro prático aplicado a um sistema de votação resistente à coerção. In Anais do XX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, pages 408–421, Porto Alegre, RS, Brasil. SBC.
UFSCar (2023). Eleições - ufscar. [link]. Acessado em: Junho/2024.
Wu, T. (2013). Rsa and ecc in javascript. [link]. Acessado em: Junho/2024.
Araújo, R., Ben Rajeb, N., Robbana, R., Traoré, J., and Youssfi, S. (2010). Towards practical and secure coercion-resistant electronic elections. In Cryptology and Network Security: 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings 9, pages 278–297. Springer.
Araujo, R., Neto, A., and Traoré, J. (2018). Civis - a coercion-resistant election system. In Anais do XVIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, pages 29–42, Porto Alegre, RS, Brasil. SBC.
Bulens, P., Giry, D., and Pereira, O. (2011). Running Mixnet-Based elections with helios. In 2011 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 11), San Francisco, CA. USENIX Association.
Cominetti, E. L., Junior, M. A. S., Matias, P., and Araújo, R. (2023). Sistemas de votação fim-a-fim: Teoria e prática. In Minicursos do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg 2023), pages 51–102, Porto Alegre, RS, Brasil. SBC.
Cortier, V., Galindo, D., Glondu, S., and Izabachène, M. (2013). Distributed elgamal à la pedersen: Application to helios. In Sadeghi, A. and Foresti, S., editors, Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society, WPES 2013, Berlin, Germany, November 4, 2013, pages 131–142. ACM.
de Sá, M., Araujo, R., Sobrinho, A., Neto, A. S., Maximino, G., and Traoré, J. (2020). How colored passwords can improve the usability of coercion-resistant internet voting systems. In Anais do XIX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais, pages 436–441, Porto Alegre, RS, Brasil. SBC.
Gamal, T. E. (1985). A public key cryptosystem and a signature scheme based on discrete logarithms. IEEE Trans. Inf. Theory, 31(4):10–18.
Laz, M. E., Grégoire, B., and Rezk, T. (2020). Security analysis of elgamal implementations. In Samarati, P., di Vimercati, S. D. C., Obaidat, M. S., and Ben-Othman, J., editors, Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, ICETE, pages 310–321. ScitePress.
Neto, A. S. and Araújo, R. (2017). A integração do criptossistema el gamal limiar ao sistema de votação via internet civis. In Anais do XVII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, pages 697–706, Porto Alegre, RS, Brasil. SBC.
Pereira, O. (2016). Internet voting with helios. In Real-World Electronic Voting, pages 293–324. Auerbach Publications.
Sobrinho, A. and Araújo, R. (2019). Aprimorando a segurança do sistema de votação civis através da geração distribuída de credenciais. In Anais Estendidos do XIX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, pages 101–104, Porto Alegre, RS, Brasil. SBC.
Sá, M., Araújo, R., Sobrinho, A., and Traoré, J. (2020). Registro prático aplicado a um sistema de votação resistente à coerção. In Anais do XX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, pages 408–421, Porto Alegre, RS, Brasil. SBC.
UFSCar (2023). Eleições - ufscar. [link]. Acessado em: Junho/2024.
Wu, T. (2013). Rsa and ecc in javascript. [link]. Acessado em: Junho/2024.
Publicado
16/09/2024
Como Citar
SANTOS, Paula Rosene dos; ARAUJO, Roberto Samarone.
Uma Proposta de Integração da Biblioteca Criptográfica do Sistema Helios ao Sistema Civis. In: WORKSHOP DE TRABALHOS DE INICIAÇÃO CIENTÍFICA E DE GRADUAÇÃO - SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 24. , 2024, São José dos Campos/SP.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2024
.
p. 303-314.
DOI: https://doi.org/10.5753/sbseg_estendido.2024.242291.
