Search
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. ...