Descripción
|
|
---|---|
La sociedad depende hoy más que nunca de la tecnología, pero la inversión en seguri-dad es escasa y los sistemas informáticos siguen estando muy lejos de ser seguros. La criptografía es una de las piedras angulares de la seguridad en este ámbito, por lo que recientemente se ha dedicado una cantidad considerable de recursos al de-sarrollo de herramientas que ayuden en la evaluación y mejora de los algoritmos criptográ?cos. EasyCrypt es uno de estos sistemas, desarrollado recientemente en el Instituto IMDEA Software en respuesta a la creciente necesidad de disponer de herramientas ?ables de veri?cación formal de criptografía. En este trabajo se abordará la implementación de una mejora en el reductor de tér-minos de EasyCrypt, sustituyéndolo por una máquina abstracta simbólica. Para ello se estudiarán e implementarán previamente dos máquinas abstractas muy conocidas, la Máquina de Krivine y la ZAM, introduciendo variaciones sobre ellas y estudiando sus diferencias desde un punto de vista práctico. | |
Internacional
|
No |
ISBN
|
|
Tipo de Tesis
|
Master |
Calificación
|
Sobresaliente cum laude |
Fecha
|
28/07/2015 |