• Michael Garde
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
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.
Udgivelsesdato11 jun. 2013
Antal sider40
ID: 77428841