Modelos de evaluación para sistemas de voto electrónico

Abstract

Este trabajo es una continuación de una línea de investigación, que venimos desarrollando en el proyecto en forma sostenida, que hace a la evaluación de sistemas de software y hardware. Más específicamente, en este caso en particular, nos ocupamos de la evaluación de métodos de e-voting, haciendo especial hincapié en los aspectos de seguridad; particularmente enfocando la construcción de modelos de evaluación basados en lógica continua que sirvan para determinar, una vez establecidos los requerimientos deseables que dicha maquinaria debe satisfacer, cuán cerca o lejos se ubica cada una de ellas con respecto a dichos requerimientos.