Loading...

Security in Concurrent Execution of an Authentication Protocol

Sobhdel, Yasser | 2011

1233 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 41211 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Jalili, Rasool
  7. Abstract:
  8. 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 execution of security protocols, called universal composability framework. After proposition of a new protocol and proving its correctness, we prove its security in a formal way based on the rules of the framework. In this regard, we prove that the suggested simulator is successful in simulating the whole ideal process in any case except for the time that a denial of service attack occurs, in which case the simulator aborts due to lack of some required messages
  9. Keywords:
  10. Authentication ; Group Key Exchange ; Authenticated Group Key Exchange Protocol ; Universal Composability Framework ; Security in Concurrent Execution

 Digital Object List

 Bookmark

...see more