Search
Now showing items 1-1 of 1
Formal methods for the analysis of security protocols.
(Universidad de Castilla-La Mancha, 2009)
Los sistemas informáticos que aparecen en la actualidad se encuentran orientados al desarrollo de entornos colaborativos y distribuidos. Estas tendencias han convertido a las redes, y especialmente a Internet, en elementos ...