Loading...
Search for:
sobhdel--yasser
0.43 seconds
A UC-secure authenticated contributory group key exchange protocol based on discrete logarithm
, Article Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Volume 8303 LNCS , December , 2013 , Pages 390-401 ; 03029743 (ISSN); 9783642452031 (ISBN) ; Jalili, R ; Sharif University of Technology
2013
Abstract
Authenticated key exchange protocols allow parties to establish a common session key which in turn is fundamental to building secure channels. Authenticated group key exchange protocols allow parties to interact with each other and establish a common group session key and avoid peer to peer key exchange; in other words they pave the way to build a broadcast channel. We construct an authenticated group key exchange protocol over UC framework which has the contributiveness property; i.e., the output is not biased by inputs of any party. Our protocol uses CRS model and discrete logarithm. Other protocols over UC framework either are defined over RO model [19] or benefit from a non-standard...
Security in Concurrent Execution of an Authentication Protocol
, M.Sc. Thesis Sharif University of Technology ; Jalili, Rasool (Supervisor)
Abstract
Today many communications take place over asynchronous insecure networks which do not provide any guarantee of security (as Internet); hence there is a must in authenticating party or parties with which we are going to interact. In many cases, more than two parties (entities) are going to interact, resulting in need of group authentication. Since authentication is inseparable from key exchange, we are going to introduce a new authenticated group key exchange protocol in this thesis which benefits from all known features for such a protocol in the literature such as contributiveness and deniability. To overcome the problem of concurrency, we use a framework dedicated to security in concurrent...