Browsing by Author "Waquim, Pedro Eduardo"
Now showing items 1-1 of 1
-
CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
Waquim, Pedro Eduardo (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. ...