From Formal to Computational Authenticity: An approach for reconciling formal and computational authenticity
Translated title
Author
Term
4. term
Education
Publication year
2013
Submitted on
2013-06-11
Pages
40
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