1 files changed, 24 insertions, 3 deletions
diff --git a/memoria.tex b/memoria.tex
index 3490883..f92f403 100755
--- a/memoria.tex
+++ b/memoria.tex
@@ -9,7 +9,7 @@
 \usepackage{graphicx} \usepackage{cite} \usepackage{amsmath}
 \usepackage{mathtools} \usepackage{listings} \usepackage{syntax}
 \usepackage[compact,small]{titlesec}\usepackage[usenames,dvipsnames]{xcolor}
-\usepackage[pagebackref,colorlinks=true,linkcolor=black,citecolor=blue]{hyperref}
+\usepackage[pagebackref,colorlinks=true,linkcolor=black,urlcolor=black,citecolor=blue]{hyperref}
 
 \input{defs}
 
@@ -369,8 +369,29 @@ este trabajo se abordarán e intentarán resolver dos problemas de distinta
 \pagebreak
 \chapter{DESARROLLO: COSTE}
 
-TODO TODO TODO
-
+La principal aportación de EasyCrypt con respecto a otros demostradores de
+teoremas como Coq\footnote{\url{http://coq.inria.fr/}} o
+Isabelle/HOL\footnote{\url{http://isabelle.in.tum.de/}} son todas las
+facilidades que proporciona para trabajar concretamente en el ámbito de la
+criptografía. Algunos ejemplos son el soporte a demostraciones basadas en
+secuencias de juegos, la riqueza de juicios (lógica de Hoare y variantes) o su
+exhaustiva biblioteca estándar, que define tipos de datos habituales (cadenas de
+bits, distribuciones probabilísticas, etc.), funciones para manipularlos,
+axiomas y lemas de uso común, etc.
+
+Un concepto muy significativo en criptografía es el del \textbf{coste}. El coste
+de un algoritmo es una medida de los recursos (tiempo, espacio, ...) que
+requiere su ejecución. Como hemos visto en la introducción, salvo en casos muy
+concretos (OTP \cite{Shannon49}), la criptografía basa su seguridad en la
+capacidad computacional del adversario. Por tanto, existen muchas propiedades
+que se pueden expresar acerca de la seguridad de un criptosistema que de una u
+otra forma dependen del coste de llevar a cabo un ataque contra él.
+
+A lo largo de este capítulo se detallará el proceso que se ha seguido para
+implementar la funcionalidad que permita a la especificación del coste de
+algoritmos en EasyCrypt.
+
+\newpage
 \section{Arquitectura de EasyCrypt}
 
 \section{Ejemplo de uso (del coste)}