Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Security and protection"
Now showing items 1-1 of 1
-
CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
(2014-03-20)Presentamos una herramienta para analizar propiedades de seguridad en protocolos distribuidos. La herramienta está construida sobre los schedulers llamados fuertemente distribuidos, donde el secreto también es considerado. ...