A master thesis from Aalborg University
From Formal to Computational Authenticity: An approach for reconciling formal and computational authenticity
Author(s)
Term
4. term
Education
Publication year
2013
Submitted on
2013-06-11
Pages
40 pages
Abstract
This paper is the product of a study in secrecy and authenticity in cryptographic protocols with respect to the formal and computational paradigms. These paradigms have mainly been separate fields of research, until the first attempt at bridging the gap was presented in 2001. This is still an active research field and though many exciting results have been achieved, we focus on an apparently unsolved issue, namely the relation between formal and computational authenticity. We provide a survey into secrecy and authenticity in both settings and suggest an approach for showing that authenticity in the formal paradigm implies authenticity in the computational paradigm.
Keywords
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.